Kurs algebry abstrakcyjnej

Lekcja 1 • Działania dwuargumentowe i ich własności

Definiuje działania dwuargumentowe i bada zamkniętość, łączność, przemienność oraz element neutralny. Łączy własności działań z aksjomatami grup i pierścieni.

Lekcja 2 • Wprowadzenie do dowodu matematycznego

Obejmuje dowód wprost, dowód przez kontrapozycję, dowód nie wprost oraz indukcję. Przygotowuje studentów do konstruowania i oceny rygorystycznych argumentów algebraicznych w trakcie kursu.

Lekcja 3 • Zbiory, relacje i funkcje

Przegląd notacji teoriomnogościowej, relacji równoważności i typów funkcji. Zapewnia logiczne rusztowanie dla precyzyjnego definiowania struktur algebraicznych.

Lekcja 1 • Warstwy i twierdzenie Lagrange'a

Rozwija pojęcie warstw lewostronnych i prawostronnych, dowodzi twierdzenia Lagrange'a i wyprowadza pojęcie indeksu. Ustanawia podstawowe ograniczenie na rzędy podgrup w grupach skończonych.

Lekcja 2 • Homomorfizmy grup

Definiuje homomorfizmy, jądra i obrazy oraz dowodzi podstawowych własności. Wprowadza pojęcie morfizmu, które jednoczy wszystkie struktury algebraiczne badane później.

Lekcja 3 • Definicja grup i przykłady

Podaje aksjomaty grupy i omawia kanoniczne przykłady, w tym liczby całkowite, symetrie i grupy macierzowe. Osadza abstrakcyjne definicje w konkretnych, znanych kontekstach.

Lekcja 4 • Grupy cykliczne i ich struktura

Klasyfikuje grupy cykliczne z dokładnością do izomorfizmu i analizuje ich kratę podgrup. Zapewnia pierwszy kompletny wynik klasyfikacji strukturalnej w kursie.

Lekcja 1 • Twierdzenia o izomorfizmie

Formułuje i dowodzi pierwszego, drugiego i trzeciego twierdzenia o izomorfizmie. Zapewnia główne narzędzia do porównywania struktur grup i upraszczania analizy homomorfizmów.

Lekcja 2 • Konstrukcja grupy ilorazowej

Konstruuje grupę ilorazową G/N i weryfikuje aksjomaty grupy. Pokazuje, jak faktoryzacja przez podgrupę normalną tworzy nową, prostszą grupę.

Lekcja 3 • Grupy proste i szeregi kompozycyjne

Definiuje grupy proste i szeregi kompozycyjne oraz podaje twierdzenie Jordana-Höldera. Wprowadza pojęcie nieredukowalnych cegiełek, z których zbudowane są grupy skończone.

Lekcja 1 • Działania grup na zbiorach

Definiuje działania grup, orbity i stabilizatory oraz dowodzi twierdzenia orbita-stabilizator. Jednoczy sprzęganie, mnożenie warstw i symetrię jako przypadki jednej ramy pojęciowej.

Lekcja 2 • Lemat Burnside'a i zliczanie

Stosuje lemat Burnside'a do zliczania orbit w kontekstach kombinatorycznych. Pokazuje siłę działań grup w rozwiązywaniu problemów zliczania.

Lekcja 3 • Działanie przez sprzęganie i równanie klas

Analizuje sprzęganie jako działanie grupy i wyprowadza równanie klas. Używa równania klas do dowodzenia własności p-grup.

Lekcja 4 • Klasyfikacja grup małych rzędów

Stosuje teorię Sylowa do klasyfikacji grup rzędów do 30. Syntetyzuje wszystkie narzędzia teorii grup w systematyczną metodologię klasyfikacji.

Lekcja 1 • Dziedziny całkowitości i ciała

Charakteryzuje dziedziny całkowitości, ciała i konstrukcję ciała ułamków. Przygotowuje studentów do pierścieni wielomianów i rozszerzeń ciał w późniejszych rozdziałach.

Lekcja 2 • Pierścienie: aksjomaty i podstawowe przykłady

Definiuje pierścienie, pierścienie przemienne i pierścienie z jedynką, omawiając liczby całkowite, wielomiany i macierze. Ustanawia ramy dwóch działań rozszerzające teorię grup.

Lekcja 3 • Ideały pierwsze i maksymalne

Definiuje ideały pierwsze i maksymalne oraz charakteryzuje je poprzez własności pierścienia ilorazowego. Łączy typy ideałów z dziedzinami całkowitości i ciałami.

Lekcja 4 • Pierścienie ilorazowe i homomorfizmy

Konstruuje pierścienie ilorazowe R/I i dowodzi twierdzeń o izomorfizmie dla pierścieni. Tworzy paralelę do konstrukcji grupy ilorazowej i rozszerza ramy twierdzeń o izomorfizmie.

Lekcja 1 • Dziedziny jednoznacznego rozkładu (UFD)

Dowodzi, że każdy PID jest UFD, i analizuje relację między elementami nierozkładalnymi a pierwszymi. Ustanawia algebraiczny odpowiednik zasadniczego twierdzenia arytmetyki.

Lekcja 2 • Dziedziny euklidesowe i PID

Definiuje dziedziny euklidesowe i dziedziny ideałów głównych oraz dowodzi łańcucha zawierań ED⊂PID⊂UFD. Zapewnia hierarchię strukturalną dla teorii faktoryzacji.

Lekcja 3 • Kryteria nierozkładalności

Opracowuje testy nierozkładalności, w tym twierdzenie o pierwiastkach wymiernych, kryterium Eisensteina i redukcję mod p. Wyposaża studentów w umiejętność określania, czy wielomian rozkłada się na czynniki nad danym ciałem.

Lekcja 4 • Lemat Gaussa i zastosowania

Dowodzi lematu Gaussa o wielomianach pierwotnych i stosuje go do faktoryzacji nad Z w porównaniu z Q. Łączy faktoryzację wielomianów nad liczbami całkowitymi i wymiernymi.

Lekcja 1 • Rozszerzenia ciał: podstawy

Definiuje rozszerzenia ciał, elementy algebraiczne i przestępne oraz stopień [E:F]. Wprowadza prawo wieży jako kluczowe narzędzie multiplikatywne dla stopni rozszerzeń.

Lekcja 2 • Rozwiązywalność za pomocą pierwiastników

Definiuje rozszerzenia pierwiastnikowe i grupy rozwiązalne, a następnie dowodzi twierdzenia Abela-Ruffiniego. Pokazuje, dlaczego wielomiany stopnia 5 są na ogół nierozwiązywalne przez pierwiastniki.

Lekcja 3 • Ciała rozkładu i domknięcie algebraiczne

Konstruuje ciała rozkładu dla wielomianów i stwierdza istnienie domknięć algebraicznych. Zapewnia kontekst, w którym istnieją wszystkie pierwiastki wielomianu.

Lekcja 4 • Grupa Galois i korespondencja Galois

Definiuje grupę Galois Gal(E/F) i dowodzi zasadniczego twierdzenia teorii Galois. Ustanawia bijekcję między ciałami pośrednimi a podgrupami grupy Galois.

Lekcja 1 • Zastosowania do grup abelowych

Stosuje twierdzenie strukturalne do klasyfikacji wszystkich skończenie generowanych grup abelowych. Pokazuje siłę twierdzenia jako kompletnego narzędzia klasyfikacyjnego.

Lekcja 2 • Moduły nad pierścieniami

Definiuje lewe R-moduły, podmoduły i homomorfizmy modułów. Umieszcza moduły jako wspólne uogólnienie grup abelowych i przestrzeni wektorowych.

Lekcja 3 • Twierdzenie strukturalne dla modułów nad PID

Dowodzi twierdzenia strukturalnego dla modułów skończenie generowanych nad PID w postaci niezmienników i dzielników elementarnych. Jednoczy klasyfikację grup abelowych i form kanonicznych.

Lekcja 4 • Ciągi dokładne i moduły projektywne

Wprowadza krótkie ciągi dokładne, ciągi rozszczepialne i moduły projektywne. Zapewnia język do opisu rozszerzeń modułów i rozkładów na sumy proste.