Twierdzenia o izomorfizmie

Szablon:Spis treści Twierdzenie o izomorfizmie – twierdzenie matematyczne, szeroko stosowane w algebrze uniwersalnej, mówiące o istnieniu pewnych naturalnych izomorfizmów.

Twierdzenia o izomorfizmie zostały sformułowane w pewnej ogólności dla homomorfizmów modułów przez Emmy Noether w jej dziele Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern („Abstrakcyjne konstrukcje teorii ideałów w algebraicznych ciałach liczbowych i funkcyjnych”) opublikowanej w 1927 roku w Mathematische Annalen. Mniej ogólne wersje tych twierdzeń można znaleźć w pracach Richarda Dedekinda i wcześniejszych pracach Noether.

Trzy lata później Bartel Leendert van der Waerden wydał swoją doniosłą Algebrę, pierwszy podręcznik algebry abstrakcyjnej, który wykorzystywał (teraz tradycyjne) podejście do przedmiotu: grupy-pierścienie-ciała. Van der Waerden wskazał jako swoje główne źródła wykłady z teorii grup u Noether i algebry u Emila Artina oraz seminarium prowadzone przez Artina, Wilhelma Blaschke, Ottona Shreiera i samego van der Waerdena dotyczące ideałów. Pojawiają się w nim trzy twierdzenia o izomorfizmie nazywane twierdzeniem o homomorfizmie oraz, w odniesieniu do grup, dwoma prawami izomorfizmów.

Grupy

Poniższe twierdzenia o izomorfizmie dla grup przyjmują prostszą postać niż ich ogólne odpowiedniki i wyrażają ważne własności grup ilorazowych; we wszystkich trzech „dzielnikiem” jest podgrupa normalna („dzielnik normalny”).

Pierwsze twierdzenie

Jeżeli $G,H$ są grupami, a

$f:G\to H$

jest homomorfizmem, to

• jądro $K$ homomorfizmu $f$ jest podgrupą normalną $G,$
• obraz $f$ jest podgrupą $H,$ a
• grupa ilorazowa $G/K,$ nazywana czasem koobrazem, jest izomorficzna z obrazem $f.$

Jeżeli ciąg rozszczepia się, to $G$ jest w rzeczywistości iloczynem półprostym. W kategorii abelowej lemat o rozszczepianiu uściśla ten fakt do rozkładu $G$ na sumę prostą.

Drugie twierdzenie (znane też jako trzecie)

Niech

$H,K$ będą podgrupami $G,$

$H$ będzie podgrupą normalną $G.$

Wówczas

Iloczyn $HK$ grup $H$ oraz $K$ jest podgrupą w $G,$

$H\cap K$ jest podgrupą normalną w $K,$ a

$HK/H$ jest izomorficzna z $K/(H\cap K).$

Trzecie twierdzenie (znane też jako drugie)

Jeżeli

$M,N$ są podgrupami normalnymi w $G$ takimi, że $M$ zawiera się w $N,$

to

$M$ jest podgrupą normalną w $N,$

$N/M$ jest podgrupą normalną w $G/M,$

$(G/M)/(N/M)$ jest izomorficzna z $G/N.$

Wynik ten uogólnia się przez lemat dziewiątkowy na kategorie abelowe i bardziej ogólne odwzorowania między obiektami.

Pierścienie i moduły

Twierdzenia o izomorfizmie są prawdziwe także dla pierścieni, homomorfizmów pierścieni i ideałów. W tym przypadku należy zamienić pojęcia „grupa” na „pierścień”, „podgrupa” na „podpierścień” i „podgrupa normalna” na „ideał”, a „grupa ilorazowa” na „pierścień ilorazowy”.

Twierdzenia o izomorfizmie obowiązują również dla modułów nad ustalonym pierścieniem $R.$ W sformułowania należy jedynie zamienić pojęcia „grupa” na „$R$-moduł”, „podgrupa” i „podgrupa normalna” na „podmoduł”, a „grupa ilorazowa” na „moduł ilorazowy”.

Tym samym twierdzenia zachodzą i dla przestrzeni liniowych nad ustalonym ciałem: wystarczy użyć odpowiednio kolejnych pojęć „przestrzeń liniowa”, „podprzestrzeń liniowa” oraz „przestrzeń ilorazowa” w miejsce wymienionych wyżej struktur modularnych. Pierwsze twierdzenie o izomorfizmie jest lepiej znane w tym kontekście jako twierdzenia o rzędzie.

We wspomnianych przypadkach używana jest notacja addytywna supremum to „$H+K$”, nie zaś „$HK$”.

Algebry

Aby uogólnić ten wynik na algebrę uniwersalną, podgrupy normalne muszą być zastąpione kongruencjami.

Krótko, jeżeli $A$ jest algebrą uniwersalną, to kongruencją na $A$ jest relacja równoważności $\mathrm{\Phi }$ określona na $A,$ która jest podalgebrą, gdy jest ona rozpatrywana jako podzbiór $A\times A$ (z działaniami określonymi po współrzędnych). Zbiór klas równoważności $A/\mathrm{\Phi }$ może być przekształcony w algebrę tego samego typu poprzez zdefiniowanie działań na reprezentantach; będą one dobrze określone, ponieważ $\mathrm{\Phi }$ jest podalgebrą $A\times A.$

Pierwsze twierdzenie

Jeżeli $A,B$ są algebrami, a $f$ homomorfizmem z $A$ do $B,$ to relacja równoważności $\mathrm{\Phi }$ określona na $A$ wzorem

$a\sim b⟺f(a)=f(b)$ jest kongruencją na $A,$ zaś algebra $A/\mathrm{\Phi }$ jest izomorficzna z obrazem $f,$ czyli podalgebrą w $B.$

Drugie twierdzenie

Dla danej algebry $A$ i jej podalgebry $B$ oraz kongruencji określonej na $A,$ niech $[B]\mathrm{\Phi }$ będzie podzbiorem $A/\mathrm{\Phi }$ wyznaczanym przez wszystkie klasy kongruencji zawierające element z $B.$ Symbol ${\mathrm{\Phi }}_B$ będzie oznaczał przecięcie $\mathrm{\Phi }$ (rozpatrywane jako podzbiór $A\times A$) z $B\times B.$ Wówczas $[B]\mathrm{\Phi }$ jest podalgebrą $A/\mathrm{\Phi },$ a ${\mathrm{\Phi }}_B$ jest kongruencją na $B$ i wreszcie algebra $[B]\mathrm{\Phi }$ jest izomorficzna z algebrą $B/{\mathrm{\Phi }}_B.$

Trzecie twierdzenie

Niech $A$ będzie algebrą, a $\mathrm{\Phi }$ oraz $\mathrm{\Psi }$ będą dwoma relacjami kongruencji określonymi na $A,$ gdzie $\mathrm{\Psi }$ zawiera się w $\mathrm{\Phi }.$ Wówczas $\mathrm{\Phi }$ wyznacza kongruencję $\mathrm{\Theta }$ na $A/\mathrm{\Psi }$ określoną wzorem

$[a{]}_{\mathrm{\Psi }}\sim [b{]}_{\mathrm{\Psi }}⟺a{\sim }_{\mathrm{\Phi }}b,$ a $A/\mathrm{\Phi }$ jest izomorficzna z $(A/\mathrm{\Psi })/\mathrm{\Theta }.$

Zobacz też

• lemat Zassenhausa (czasami nazywany czwartym twierdzeniem o izomorfizmie)

Bibliografia

• Emmy Noether, Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern, Mathematische Annalen 96 (1927), s. 26-61.
• Colin McLarty (pod redakcją Jeremy’ego Graya i José Ferreirósa), The Architecture of Modern Mathematics: Essays in history and philosophy – Emmy Noether’s ‘Set Theoretic’ Topology: From Dedekind to the rise of functors, Oxford University Press (2006), s. 211–35.

Linki zewnętrzne

• Szablon:Odsyłacz planetmath. Szablon:Odsyłacz planetmath.
• Szablon:Odsyłacz planetmath. Szablon:Odsyłacz planetmath.
• Szablon:Odsyłacz planetmath. Szablon:Odsyłacz planetmath.