BSc Matematika Alapszak
Tantárgyleírás
2013.
Tantárgyleírás
2013.
Algebra3
Óraszám ea/gy |
Kredit ea/gy |
Számonkérés | Szakirány | Tárgykód ea/gy |
Ajánlott félév |
Státusz |
---|---|---|---|---|---|---|
2 + 2 | 2 + 3 | kollokvium + gyak. jegy |
matematikus | mm1c1al3m mm1c2al3m |
3 | kötelező |
Tantárgyfelelős
Erős | Gyenge | előfeltételek | |
---|---|---|---|
Gyakorlat | |||
Erős:
Algebra2E
(mm1c1al2)
| |||
Erős:
Számelmélet1E
(mm1c1se1)
| |||
Előadás | |||
Gyenge:
a gyakorlat
|
Megjegyzések
- Pótlási lehetőség: A félév végén, indokolt esetben, a gyakorlatvezető döntése alapján egy javító zárthelyi dolgozat írására van lehetőség.
A tematikát kidolgozta:
Szükséges előismeretek
Klasszikus és lineáris algebra, elemi számelmélet.
A tantárgy célkitűzése
A tárgy célja az absztrakt algebrai alapfogalmak és szemléletmód bemutatása.
Irodalom
- Kiss Emil: Bevezetés az algebrába (TypoTeX Kiadó, 2007). Információk, kiegészítések.
Ajánlott:
- Fried Ervin: Algebra I-II. Nemzeti Tankönyvkiadó, 2000.
- Fuchs László: Algebra. ELTE egyetemi jegyzet.
- B. Szendrei Mária, Czédli Gábor, Szendrei Ágnes: Absztrakt algebrai feladatok. Polygon kiadó, Szeged, 2005.
Tematika
- Csoportok. Gyűrű additív és multiplikatív csoportja, mátrixcsoportok. A szimmetrikus és az alternáló csoport, ciklusfelbontás. A Klein-csoport, a diédercsoport és a kvaterniócsoport.
- Részcsoport, jellemzése zártsággal és komplexusszorzással. Lagrange tétele, mellékosztály, index, a baloldali és a jobboldali mellékosztályok száma megegyezik. Egy elemmel generált részcsoport, ciklikus csoport. Elem rendje osztója a csoport rendjének, következmény: Euler-Fermat-tétel. Egy csoportnak akkor és csak akkor van pontosan két részcsoportja, ha prímrendű. Prímrendű csoport ciklikus. A ciklikus csoportok részcsoportjainak leírása. A generált részstruktúra (részcsoport, altér, részgyűrű, ideál stb.) általános fogalma és létezése. A generált részcsoport elemeinek leírása az általános, illetve a kommutatív esetben. Minden véges szimmetrikus csoport két elemmel generálható.
- Permutációcsoport, fok, orbit, stabilizátor, összefüggésük, tranzitivitás. A szabályos testek szimmetriáinak a száma. Csoport hatása halmazon. Cayley tétele.
- Izomorfizmus, módszerek az izomorfia eldöntésére. A ciklikus csoportok izomorfia-típusai. A kis elemszámú csoportok leírása. Homomorfizmus képe és magja, normálosztó. Faktorcsoport, természetes homomorfizmus, homomorfizmus-tétel. A faktorcsoport részcsoportjai és normálosztói, az izomorfizmus-tételek. Elem rendje a faktorcsoportban. Kettő indexű részcsoport normálosztó. A konjugálás, mint automorfizmus. Csoport hatása önmagán konjugálással, konjugáltosztályok. Egy részcsoport akkor és csak akkor normálosztó, ha konjugáltosztályok egyesítése. Egyszerű csoportok, példák.
- A direkt szorzat fogalma és belső jellemzése véges sok tényező esetén. Diszkrét direkt szorzat (direkt összeg). Elem rendje a direkt szorzatban, a direkt szorzat mikor ciklikus. A véges Abel-csoportok alaptétele, egyértelműség (bizonyítás nélkül).
- Szabad csoport. Minden csoport előáll egy szabad csoport faktorcsoportjaként. Dyck tétele. Csoport megadása generátorokkal és definiáló relációkkal.
- Normállánc, kompozíciólánc. Jordan-Hölder-tétel. Feloldható csoportok. A szimmetrikus csoportok kompozícióláncai. Féldirekt szorzat.
- Elem, illetve részcsoport centralizátora, normalizátora. Minden p-csoport feloldható, és centruma nemtriviális, minden p2 rendű csoport kommutatív. Sylow részcsoportok, Sylow tételei.
- Gyűrűk. Részgyűrű, homomorfizmus, ideál, faktorgyűrű, homomorfizmus-tétel. A komplex számok mint faktorgyűrű. Beágyazás egységelemes gyűrűbe. Bal- és jobbideál, a generált ideál képlete kommutatív, egységelemes gyűrűben. A maximum-feltétel ekvivalens alakjai, kapcsolat a véges generáltsággal. Véges nullosztómentes gyűrű test. Egyszerű gyűrűk, minden ferdetest feletti teljes mátrixgyűrű egyszerű. Jobb és baloldali annullátor. A balideálmentes gyűrűk szerkezete. Következmény: egységelemes kommutatív gyűrű maximális ideálja szerinti faktor test.
- Euklideszi gyűrű, ebben minden ideál főideál. Egy egységelemes integritási tartomány akkor és csak akkor alaptételes, ha a főideálokra érvényes a maximum-feltétel, és minden irreducibilis elem prím. Következmény: főideálgyűrű, euklideszi gyűrű alaptételes.
- A hányadostest konstrukciója. Nullosztómentes gyűrű elemeinek additív rendje, karakterisztika. Prímtest, szerkezete. Rendezett integritási tartomány, pozitivitástartomány és jellemzése, az elrendezhetőség feltétele. A kvaterniótest.
- Hálók. Részben rendezett halmaz. Legkisebb felső korlát, legnagyobb alsó korlát, háló. A hálók megadása a műveletekre vonatkozó axiómarendszerrel. A két definíció ekvivalenciája. Moduláris és disztributív hálók. A normálosztóháló, ill. a részmodulusháló moduláris. Stone-tétel disztributív hálókra. Komplementum. Boole-algebra.
- Univerzális algebra. Általános algebrai struktúrák, típus. Részalgebra, homomorfizmus direkt szorzat. Azonosság, azonosságokkal definiálható osztály, varietás. Szabad algebra. Birkhoff tétele.