Algebra I (potok 2) 1000-113bAG1b
1. Pierścień liczb całkowitych Z i pierścień reszt z dzielenia przez m, Z_m. Definicja pierścienia przemiennego z 1. Podpierścień. Elementy odwracalne, dzielniki zera, dziedzina całkowitości. Podzielność, elementy nierozkładalne. Algorytm Euklidesa w Z, największy wspólny dzielnik. [1 wykład]
2. Pierścień wielomianów jednej zmiennej o współczynnikach w ciele, pierścień wielomianów wielu zmiennych. Podzielność i algorytm Euklidesa w k[x]. Definicja pierścienia z jednoznacznością rozkładu (DJR). Twierdzenie: Z i k[x] są DJR. Wielomiany jednej zmiennej: funkcje wielomianowe, pierwiastki wielomianu, pierwiastki
a podzielność przez czynniki liniowe (tw. Bezout). Nierozkładalność wielomianów, kryterium Eisensteina i redukcja współczynników. [2 wykłady]
3. Homomorfizmy pierscieni z 1, izomorfizm, homomorfizm Z w Z_m oraz ewaluacja wielomianów: A[x] --> A, f --> f(a). Jądro homomorfizmu, ideał, ideał generowany przez skończony podzbiór, ideały główne. Dziedziny ideałów głównych (DIG), twierdzenia: dziedzina z algorytmem Euklidesa (Z, k[x]) jest DIG, DIG jest DJR. Pierścień ilorazowy R/I, konstrukcja i własność uniwersalna. Ideały pierwsze i ideały maksymalne. Twierdzenie: każdy ideał właściwy jest zawarty w pewnym ideale maksymalnym. Twierdzenie: ideał I w A jest pierwszy (odp. maksymalny) <=> A/I jest dziedziną (ciałem). [2-3 wykłady]
4. Ciała mają wyłącznie trywialne ideały, każdy homomorfizm ciał jest włożeniem. Ciała proste, charakterystyka ciała. Twierdz enie: f w k[x] jest nierozkładalny <=> k[x]/(f) jest ciałem. Wniosek: pierścień ilorazowy k[x]/(f) jest ciałem zawierającym k, w którym f ma pierwiastek. Definicja algebraicznego domknięcia ciala (bez dowodu istnienia i jednoznaczności). Ciało ułamków dziedziny całkowitości: ogólna konstrukcja, przykłady: z Z do Q, z k[x] do k(x). [2 wykłady]
5. Grupa, grupa abelowa, podgrupa. Przykłady: grupy permutacji, grupy liniowe, grupy przekształceń. Grupa cykliczna, rząd elementu, rząd grupy. Warstwy grupy względem podgrupy, indeks podgrupy, twierdzenie Lagrange'a i zastosowania: każda grupa rzędu pierwszego jest cykliczna, małe tw Fermata. Homomorfizm grup, jądro homomorfizmu, dzielnik normalny, grupa ilorazowa. [2 wykłady]
6. Produkt dwóch grup, charakteryzacja wewnętrzna produktu. Rozkład skończonej grupy cyklicznej na produkt grup cyklicznych o rzędach względnie pierwszych. Grupy abelowe: podgrupa elementów torsyjnych grupy, kraty (skończenie generowane grupy abelowe bez elementów torsyjnych), twierdzenie strukturalne dla skończenie generowanych grup abelowych (bez dowodu). [1 wykład]
7. Działanie grupy na zbiorze, działanie grupy na sobie (z lewej, z prawej), twierdzenie Cayleya. Orbita działania, stabilizator elementu, punkty stałe działania, działanie wolne, działanie efektywne. Moc orbity = indeks stabilizatora. Przyklady: działanie grupy permutacji i grup liniowych, działanie grupy permutacji S_n
przez zero-jedynkowe macierze z GL_n, zastosowanie: znak permutacji jako wyznacznik. Rozkład zbioru na orbity, zastosowanie: rozkład permutacji z S_n na cykle rozłączne jako rozkład zbioru {1..n} na rozłaczne orbity działania podgrupy cyklicznej generowanej przez te permutacje. Automorfizmy grupy. Działanie grupy na sobie przez automorfizmy wewnętrzne, orbity = klasy sprzężoności elementów, centrum grupy jako jądro odwzorowania G -> Aut(G). Zastosowania: (1) twierdzenie Cauchy'ego o istnieniu elementu rzędu p, (2) twierdzenie o nietrywialności centrum p-grupy [3 wykłady]
Rodzaj przedmiotu
Literatura
1. Cz. Bagiński, Wstęp do teorii grup, Script, Warszawa 2002.
2. A. Białynicki-Birula, Zarys algebry, Bibl.Mat. 63, PWN, Warszawa 1987
3. J. Browkin, Teoria ciał, Bibl.Mat.49, PWN, Warszawa 1977
4. M. Kargapolov, J. Merzljakov, Podstawy teorii grup, PWN, Warszawa 1976.
5. M. Bryński, J. Jurkiewicz, Zbiór zadań z algebry, PWN, Warszawa 1981.
6. K. Szymiczek, Zbiór zadań z teorii grup, PWN, Warszawa 1989.
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: