Algebra I. A. Bojanowska P. Traczyk

Podobne dokumenty
4. Dzia lanie grupy na zbiorze

5. Podgrupy normalne i grupy ilorazowe

Dzia lanie grupy na zbiorze. Twierdzenie Sylowa

1 Znaleźć wszystkie możliwe tabelki dzia lań grupowych na zbiorze 4-elementowym.

1. Zadania z Algebry I

13. Cia la. Rozszerzenia cia l.

Algebra konspekt wykladu 2009/10 1. du na dzialanie na zbioze G, jeśli dla dowolnych elementów x, y S, x y S. S jest zamkniety ze wzgle

Wyk lad 5 Grupa ilorazowa, iloczyn prosty, homomorfizm

Wyk lad 2 Podgrupa grupy

Prostota grup A n. Pokażemy, że grupy A n sa. proste dla n 5. Dowód jest indukcyjny i poprzedzimy go lematem.

Zadania o grupach Zadania zawieraja

Wyk lad 4 Warstwy, dzielniki normalne

FUNKCJE LICZBOWE. x 1

Algebra I B ALGEBRA I B. W ladys law Narkiewicz

Uwaga 1.2. Niech (G, ) będzie grupą, H 1, H 2 < G. Następujące warunki są równoważne:

Wyk lad 14 Cia la i ich w lasności

Ćwiczenia 1 - Pojęcie grupy i rzędu elementu

Matematyka A, klasówka, 24 maja zania zadań z kolokwium z matematyki A w nadziei, że pope lni lem wielu b le. rozwia

1 Grupy. 1.1 Grupy. 1.2 Podgrupy. 1.3 Dzielniki normalne. 1.4 Homomorfizmy

Algebra i jej zastosowania ćwiczenia

Dziedziny Euklidesowe

5. Algebra działania, grupy, grupy permutacji, pierścienie, ciała, pierścień wielomianów.

Wyk lad 9 Podpierścienie, elementy odwracalne, dzielniki zera

1 Określenie pierścienia

Algebra liniowa z geometria. - zadania Rok akademicki 2010/2011

Wyk lad 1 Podstawowe struktury algebraiczne

P (x, y) + Q(x, y)y = 0. g lym w obszrze G R n+1. Funkcje. zania uk ladu (1) o wykresie przebiegaja

Wyk lad 12. (ii) najstarszy wspó lczynnik wielomianu f jest elementem odwracalnym w P. Dowód. Niech st(f) = n i niech a bedzie

Wzory Viete a i ich zastosowanie do uk ladów równań wielomianów symetrycznych dwóch i trzech zmiennych

Pierścienie grupowe wyk lad 2. Przypomnijmy, że K-algebra A jest pó lprosta, gdy jej lewe A-modu ly przypominaja

Działanie grupy na zbiorze

Wyk lad 7 Baza i wymiar przestrzeni liniowej

PODSTAWOWE W LASNOŚCI W ZBIORZE LICZB RZECZYWISTYCH

Podstawowe struktury algebraiczne

Teoria ciała stałego Cz. I

WYK LAD 2: PODSTAWOWE STRUKTURY ALGEBRAICZNE, PIERWIASTKI WIELOMIANÓW, ROZK LAD FUNKCJI WYMIERNEJ NA U LAMKI PROSTE

2 Kongruencje 5. 4 Grupy 9. 5 Grupy permutacji Homomorfizmy grup Pierścienie 16

Algebra i jej zastosowania ćwiczenia

Zasada indukcji matematycznej

Pisemny egzamin dyplomowy. na Uniwersytecie Wroc lawskim. na kierunku matematyka. zadania testowe. 22czerwca2009r. 60 HS-8-8

Działanie grupy na zbiorze

Wyk lad 6 Przyk lady homomorfizmów

Grupy. Permutacje 1. (G2) istnieje element jednostkowy (lub neutralny), tzn. taki element e G, że dla dowolnego a G zachodzi.

Zestaw 2. Definicje i oznaczenia. inne grupy V 4 grupa czwórkowa Kleina D n grupa dihedralna S n grupa symetryczna A n grupa alternująca.

1 Grupy. 1.1 Grupy. (2) dla działania istnieje element neutralny, tzn. istnieje e G taki, że ae = a = ea dla dowolnego a G;

Wyk lad 3 Wielomiany i u lamki proste

1. Określenie pierścienia

Matematyka dyskretna

Algebra i jej zastosowania konspekt wyk ladu, czȩść druga

Grupy i cia la, liczby zespolone

Chcąc wyróżnić jedno z działań, piszemy np. (, ) i mówimy, że działanie wprowadza w STRUKTURĘ ALGEBRAICZNĄ lub, że (, ) jest SYSTEMEM ALGEBRAICZNYM.

Algebra i jej zastosowania ćwiczenia

Zadania z algebry liniowej - sem. I Struktury algebraiczne

Wyk lad 9 Przekszta lcenia liniowe i ich zastosowania

Algebra i jej zastosowania konspekt wyk ladu, cz

Algebra. Jakub Maksymiuk. lato 2018/19

DZYSZKOLNE ZAWODY MATEMATYCZNE. Eliminacje rejonowe. Czas trwania zawodów: 150 minut

Matematyka dyskretna

Zadania z GAL-u. 1 Rozwia. Listopad x + 3y = 1 3x + y = x + y = 1 x + 2y 3z = 3 2x + 4y + z = 1 1.2

1. Elementy (abstrakcyjnej) teorii grup

sa dzie metryka z euklidesowa, to znaczy wyznaczaja ca cki, Wojciech Suwiński)

(α + β) a = α a + β a α (a + b) = α a + α b (α β) a = α (β a). Definicja 4.1 Zbiór X z dzia laniami o wyżej wymienionych w lasnościach

g liczb rzeczywistych (a n ) spe lnia warunek

Przykładowe zadania z teorii liczb

KOMBINATORYKA 1 WYK LAD 9 Zasada szufladkowa i jej uogólnienia

7. Klasyfikacja skończenie generowanych grup przemiennych

Algorytm Euklidesa. ZADANIE 1. Oblicz korzystając z algorytmu Euklidesa: (a) NWD(120, 195), (b) NWD(80, 208), (c) NWD(36, 60, 90),

1. Wykład NWD, NWW i algorytm Euklidesa.

5. Obliczanie pochodnych funkcji jednej zmiennej

Zbiory, relacje i funkcje

Rozdzia l 3. Elementy algebry uniwersalnej

2. PRZELICZANIE OBIEKTÓW KOMBINATORYCZNYCH

Pierścienie grupowe wyk lad 3. lewych podmodu lów prostych. Ogólniej, aby roz lożyć dany pierścień na sume. prosta

Wyk lad 14 Formy kwadratowe I

Rozdzia l 11. Przestrzenie Euklidesowe Definicja, iloczyn skalarny i norma. iloczynem skalarnym.

Działania Definicja: Działaniem wewnętrznym w niepustym zbiorze G nazywamy funkcję działającą ze zbioru GxG w zbiór G.

Udowodnimy najpierw, że,,dla dostatecznie dużych x liczby a k x k i a 0 + a 1 x + + a k x k maja ten sam znak. a k

Ciała skończone. 1. Ciała: podstawy

Ciała i wielomiany 1. przez 1, i nazywamy jedynką, zaś element odwrotny do a 0 względem działania oznaczamy przez a 1, i nazywamy odwrotnością a);

14. Wykład 14: Grupa Galois wielomianu. Zasadnicze twierdzenia teorii Galois. Rozszerzenia rozwiązalne, cykliczne i abelowe

Wyk lad 3 Grupy cykliczne

Relacje. opracował Maciej Grzesiak. 17 października 2011

Indeks odwzorowania zmiennej zespolonej wzgl. krzywej zamknietej

GAL, konspekt wyk ladów: Przestrzenie afiniczne

Wyk lad 9 Baza i wymiar przestrzeni liniowej

Relacje binarne. Def. Relację ϱ w zbiorze X nazywamy. antysymetryczną, gdy x, y X (xϱy yϱx x = y) spójną, gdy x, y X (xϱy yϱx x = y)

Zadania o pierścieniach

ALGEBRA LINIOWA Z ELEMENTAMI GEOMETRII ANALITYCZNEJ

1. R jest grupą abelową względem działania + (tzn. działanie jest łączne, przemienne, istnieje element neutralny oraz element odwrotny)

Wykład 4. Określimy teraz pewną ważną klasę pierścieni.

Niech X bȩdzie dowolnym zbiorem. Dobry porz adek to relacja P X X (bȩdziemy pisać x y zamiast x, y P ) o w lasnościach:

ROZDZIA l 13. Zbiór Cantora

Wyk lad 11 1 Wektory i wartości w lasne

opracował Maciej Grzesiak Grupy

Literatura: Oznaczenia:

Funkcje. Oznaczenia i pojęcia wstępne. Elementy Logiki i Teorii Mnogości 2015/2016

Definicja1.2.Niech Abędzieniepustymzbiorem,a i działaniamiwa. (1)Mówimy,że jestłączne,jeżeli. x,y,z A[x (y z) = (x y) z].

Algebra liniowa z geometrią. wykład I

Matematyka dyskretna

Cia la i wielomiany Javier de Lucas

Transkrypt:

Algebra I A Bojanowska P Traczyk

2 Istnieje bardzo dużo podre czników algebry o różnym stopniu zaawansowania Poniższy tekst powsta l dla bardzo prostej przyczyny: chcieliśmy dostarczyć studentom WMIM opracowanie dok ladnie dopasowane do obecnego programu przedmiotu ALGEBRA I Sta d znaczna przewaga teorii grup nad teoria pierścieni Sta d też silne zaakcentowanie teorii dzia lań grup w teorii grup (i jeszcze sta d, że takie akurat uje cie podoba sie autorom skryptu) Skrypt ten zawiera też dużo zadań i pytań testowych Cze ść z nich oznaczyliśmy symbolem Te zadania maja szczególne znaczenie, czasem odwo lujemy sie do nich w dalszym tekście; cze sto przydaja sie przy rozwia zywaniu innych zadań Wśród zadań testowych (w których problem polega na ocenie prawdziwości podanego stwierdzenia) jest sporo zdań fa lszywych, ilustruja cych typowe b le dne wyobrażenia

3 0 Wste p Wiele teorii matematycznych dostarcza naturalnych przyk ladów zbiorów wyposażonych w różne dzia lania Najciekawsze sa zwykle dzia lania dwuargumentowe W wielu typowych sytuacjach dzia lania te sa la czne (tzn x(yz) = (xy)z) Wyróżnijmy jeden przyk lad, a w laściwie typ przyk ladów Przyk lad Sk ladanie przekszta lceń (dowolnych przekszta lceń, dowolnych zbiorów) jest la czne Szczególnie interesuja ca jest sytuacja, gdy rozpatrywane odwzorowania sa bijekcjami pewnego zbioru Na przyk lad zbiór izometrii p laszczyzny, zbiór przesunie ć p laszczyzny, zbiór obrotów p laszczyzny o ustalonym środku obrotu, zbiór obrotów przestrzeni R 3 wokó l prostych przechodza cych przez pocza tek uk ladu wspó lrze dnych, zbiór izomorfizmów liniowych przestrzeni R n, zbiór izomorfizmów afinicznych przestrzeni R n, zbiór podobieństw p laszczyzny, zbiór premutacji zbioru skończonego, sa zbiorami w których sk ladanie przekszta lceń jest nie tylko la czne, ale ponadto ma element neutralny (odwzorowanie identycznościowe) i dla każdego elementu element odwrotny Wszystkie wyliczone powyżej przyk lady, to tak zwane grupy przekszta lceń Wymienione trzy w lasności ( la czność, istnienie elementu neutralnego i istnienie elementu odwrotnego) sa podstawa teorii grup Jest to bardzo obszerna i ważna dziedzina algebry Jej podstawom poświe camy pierwszych siedem rozdzia lów skryptu Dwa pozosta le zawieraja elementarz teorii pierścieni (przemiennych z jedynka )

4 1 Grupa, podgrupa grupy, homomorfizm grup 11 Definicja Grupa nazywamy zbiór G, wyposażony w trzy dzia lania: dwuargumentowe mnożenie ( (x, y) x y ), jednoargumentowe branie elementu odwrotnego ( x x 1) i zeroargumentowe element wyróżniony 1, takie że spe lnione sa naste ce aksjomaty: 1 x,y,z G (x y) z = x (y z), 2 g G g 1 = 1 g = g, 3 g G g g 1 = g 1 g = 1 Dzia lanie dwuargumentowe grupy nazywamy zwykle mnożeniem, a element odwrotny odwrotnościa Aksjomaty grupy gwarantuja trzy rzeczy: 1 la czność mnożenia, 2 istnienie elementu neutralnego dla mnożenia, 3 istnienie elementu odwrotnego dla mnożenia 12 Definicja Jeżeli x,y G x y = y x, to grupe nazywamy przemienna lub abelowa 13 Definicja Moc zbioru G nazywamy rze dem grupy G i oznaczamy symbolem G Z definicji latwo wynika, że jest tylko jeden element neutralny mnożenia i że dla dowolnego elementu istnieje dok ladnie jeden element odwrotny Zamiast x y piszemy cze sto xy Zwykle mówimy grupa G, pomijaja c wyszczególnianie pozosta lych elementów struktury W przypadku grup abelowych cze sto dzia lanie dwuargumentowe oznacza sie znakiem + (x + y zamiast x y), element odwrotny przez ( x zamiast x 1 ), a element neutralny przez 0 Zapis (G,, 1, 1) nazywamy zapisem multiplikatywnym, a zapis (G, +,, 0) zapisem addytywnym W zapisie multiplikatywnym przyje te jest odczytywać symbol g 1 jako odwrotność elementu g; w zapisie addytywnym symbol g odczytujemy jako element przeciwny do elementu g 14 Definicja Podgrupa grupy G nazywamy podzbiór H G, taki że x,y H x y H x H x 1 H 1 H Zapis H G be dzie oznaczać, że H jest podgrupa grupy G Jest jasne, że 1 = {1} G jest podgrupa Taka podgrupe be dziemy nazywać podgrupa trywialna Oczywiście ca la grupa G też jest swoja podgrupa : G G Przyk lady, od których rozpocze liśmy, to oczywiście przyk lady grup, w których operacja grupowa jest sk ladanie przekszta lceń, jedynka przekszta lcenie identycznościowe, a elementem odwrotnym przekszta lcenie odwrotne Rozpatrzmy dalsze przyk lady 15 Przyk lady z formalnego punktu widzenia należa loby napisać: czwórke uporza dkowana (G,, 1, 1)

0) Grupa cykliczna Z liczb ca lkowitych z dodawaniem 1) Niech K be dzie cia lem Symbolem K + oznaczamy grupe addytywna tego cia la, symbolem K grupe multyplikatywna cia la (zbiorem jej elementów jest K \{0}) 2) Niech K be dzie cia lem Symbolem GL(n, K) oznaczamy grupe macierzy odwracalnych n n o wspó lczynnikach z K Macierze o wyznaczniku 1 stanowia podgrupe, oznaczana symbolem SL(n, K) GL(n, K) 3) W grupie GL(n, R) zawarte sa dwie szczególnie interesuja ce grupy: O(n) GL(n, R) podgrupa z lożona z macierzy ortogonalnych i SO(n) O(n) GL(n, R) podgrupa z lożona z macierzy ortogonalnych o wyznaczniku 1 4) Grupa dihedralna podgrupa D 2n O(2) przekszta lceń zachowuja cych n ka t foremny o środku symetrii w pocza tku uk ladu wspó lrze dnych D 2n = {1, ρ, ρ 2,, ρ n 1, ε, ρε, ρ 2 ε,, ρ n 1 ε}, gdzie ρ jest obrotem o 1 n ka ta pe lnego, a ε symetria osiowa Odnotujmy ważny fakt, że ε 2 = 1, ρ n = 1 i ερε = ερε 1 = ρ 1 Zauważmy, że powyższe tożsamości wystarczaja do skonstruowania tabeli dzia lania dwuargumentowego dla D 2n Zauważmy, że J n = {1, ρ, ρ 2,, ρ n 1 } D 2n jest podgrupa Nazywamy ja podgrupa obrotów grupy dihedralnej 5) Grupa cykliczna Z n = {1, exp( 2πi 2πi(n 1) n ),, exp( n )} pierwiastków z jedynki stopnia n, z mnożeniem jako dzia laniem dwuargumentowym Jeżeli k n, n = km, to {1, exp( 2πim 2πi(k 1)m n ),, exp( n )} Z n jest podgrupa cykliczna rze du k 6) Niech X be dzie zbiorem Symbolem Σ X oznaczamy grupe bijekcji zbioru X z dzia laniem sk ladania jako mnożeniem i identycznościa jako elementem neutralnym Nazywamy ja grupa permutacji zbioru X Jeżeli X jest zbiorem n elementowym, to grupe taka oznaczamy symbolem Σ n 16 Definicja Przekszta lcenie ϕ : G H nazywamy homomorfizmem grup wtedy i tylko wtedy, gdy g1,g 2 G ϕ(g 1 g 2 ) = ϕ(g 1 ) ϕ(g 2 ) Latwo sprawdzić, że homomorfizm ϕ przeprowadza element neutralny na element neutralny, a element odwrotny do g na element odwrotny do ϕ(g) Istnieja różne szczególne typy homomorfizmów Poniżej wymieniamy ich nazwy, stosowane bardzo szeroko w matematyce, również poza teoria grup, czy nawet algebra : Izomorfizm: taki homomorfizm ϕ : G H, dla którego istnieje homomorfizm ψ : H G, taki że ϕψ = id H i ψϕ = id G 17 Uwaga Homomorfizm grup jest izomorfizmem wtedy i tylko wtedy, gdy jest homomorfizmem i bijekcja zbiorów Grupy izomorficzne be dziemy uważać za takie same Jest jasne, że dla każdego n N istnieje co najmniej jedna grupa rze du n (np grupa Z n ) i tylko skończenie wiele klas izomorfizmu grup rze du n Automorfizm: Izomorfizm z grupy G w te sama grupe G Zauważmy, że zbiór wszystkich automorfizmów grupy G tworzy grupe ze sk ladaniem przekszta lceń jako dzia laniem dwuargumentowym Grupe te oznaczamy symbolem Aut(G) 5

6 Monomorfizm: homomorfizm różnowartościowy Epimorfizm: homomorfizm, który jest na Endomorfizm: homomorfizm, którego dziedzina i przeciwdziedzina sa identyczne (ale nie ża damy, żeby by l na) Produkt grup Jeżeli G i H sa grupami, to iloczyn kartezjański G H z dzia laniami (g, h) (g, h ) = (g g, h h ), (g, h) 1 = (g 1, h 1 ) oraz elementem neutralnym (1 G, 1 H ) jest grupa Zbiory G 1 H = {(g, 1 H ) : g G} G H i 1 G H = {(1 G, h) : h H} G H sa podgrupami oczywiście pierwsza podgrupa jest izomorficzna z G, a druga z H 18 Uwaga Jeżeli ϕ : G H jest homomorfizmem, to ϕ(g) H jest podgrupa grupy H Także dla każdej podgrupy H H, ϕ 1 (H ) G jest podgrupa grupy G Szczególnie ważna jest podgrupa ϕ 1 (1) = {g G: ϕ(g) = 1} G Oznaczamy ja symbolem ker ϕ i nazywamy ja drem homomorfizmu ϕ 19 Uwaga Homomorfizm ϕ jest monomorfizmem wtedy i tylko wtedy, gdy ker ϕ = 1 Jeżeli homomorfizm ϕ : G H jest monomorfizmem, to ϕ : G im (ϕ) jest izomorfizmem (im (ϕ) = ϕ(g)) 110 Przyk lady homomorfizmów 1) ϕ : Z Z n, ϕ(k) = exp( 2πik n ) 2) det : GL(n, K) K 3) i G : G G H, i G (g) = (g, 1 H ) oraz π G : G H G, π G (g, h) = g sa homomorfizmami; i G jest monomorfizmem, π G jest epimorfizmem Analogicznie określamy homomorfizmy i H i π H 4) Każdy element g G wyznacza pewien automorfizm φ g : G G, zadany wzorem φ g (x) = gxg 1 Nazywamy go automorfizmem wewne trznym grupy G wyznaczonym przez element g Otrzymujemy homomorfizm φ : G Aut(G), φ(g) = φ g Jest to ważny przyk lad homomorfizmu W przysz lości, po wprowadzeniu pewnych dodatkowych poje ć, homomorfizm ten be dziemy nazywać dzia laniem grupy G na zbiorze jej elementów, poprzez automorfizmy wewne trzne Zauważmy, że ker φ = {g G : x G gx = xg} Tak określona podgrupa ma swoja nazwe : 111 Definicja Podgrupe Z(G) = {g G : x G gx = xg} G nazywamy centrum grupy 5) Dla dowolnej grupy G, niech ψ g : G G be dzie zadane wzorem ψ g (x) = gx (poza przypadkiem g = 1, ψ g nie jest automorfizmem G lecz tylko bijekcja zbioru elementów) Przekszta lcenie ψ : G Σ G, ψ(g) = ψ g jest oczywiście monomorfizmem grup Wobec tego prawdziwe jest naste ce twierdzenie 112 Twierdzenie Cayleya Każda grupa G jest izomorficzna z pewna podgrupa grupy bijekcji zbioru G W szczególności każda grupa rze du n jest izomorficzna z pewna podgrupa grupy Σ n

113 Stwierdzenie Jeżeli {H i } i I jest rodzina podgrup grupy G, to zbiór i I H i G jest podgrupa grupy G Wobec tego, dla dowolnego podzbioru X G istnieje najmniejsza podgrupa grupy G zawieraja ca X Nazywamy ja podgrupa generowana przez X i oznaczamy symbolem X Oczywiście = 1 114 Stwierdzenie Jeżeli X, to X = {g ε1 1 gε2 2 gε k k : k N, ε i = ±1, g i X} Dowód Jest jasne, że zbiór elementów tej postaci tworzy podgrupe grupy G i jest zawarty w każdej podgrupie grupy G zawieraja cej X Jeżeli X = G, to X nazywamy zbiorem generatorów G Mówimy, że grupa jest skończenie generowana jeżeli posiada skończony zbiór generatorów 7

8 ZADANIA Z 11 Znaleźć wszystkie możliwe tabelki dzia lań grupowych na zbiorze czteroelementowym Z 12 Udowodnić, że jeżeli dwa spośród elementów x, y, xy grupy G należa do podgrupy H G, to również trzeci należy do H Z 13 Udowodnić, że jeżeli g G g 2 = 1, to G jest grupa abelowa Udowodnić, że jeżeli ponadto grupa G jest skończona, to G = 2 m Z 14 Udowodnić, że jeżeli G jest grupa, w której x, y G (xy) 2 = x 2 y 2, to G jest grupa abelowa Z 15 Na zbiorze {0, 1,, n 1} określamy dzia lanie dwuargumentowe k + n l = k + l (mod n) Pokazać, że dzia lanie to zadaje strukture grupy, izomorficznej z Z n (w przysz lości be dziemy również te grupe oznaczać symbolem Z n ) Z 16 Udowodnić, że wśród grup: Z, R +, Q + żadne dwie nie sa izomorficzne Z 17 Udowodnić, że jeżeli G = H to Aut (G) = Aut (H) Z 18 Udowodnić, że SO(2) = {z C : z = 1}, gdzie C oznacza cia lo liczb zespolonych Z 19 Niech φ : G G be dzie dane wzorem φ(g) = g 1 Udowodnić, że φ jest automorfizmem wtedy i tylko wtedy, gdy G jest abelowa Z 110 Znaleźć GL(n, Z p ) i SL(n, Z p ) Z 111 Skonstruować monomorfizm Σ n GL(n, K) Z 112 Skonstruować monomorfizm D 2n Σ n (dla n 3) Z 113 Niech Q 8 := j, k GL(2, C), gdzie j, k sa macierzami: j = ( ) i 0 0 i k = ( 0 ) 1 1 0 Udowodnić, że Q 8 = 8 i sporza dzić tabelke dzia lania dwuargumentowego (grupe Q 8 nazywamy grupa kwaternionowa ) Z 114 Niech G = X Niech f : G H, j : G H be da homomorfizmami, takimi że dla każdego x X, f(x) = j(x) Udowodnić, że f = j Z 115 Niech K be dzie cia lem Znaleźć centrum grupy GL(n, K) Z 116 Niech GL(n, Z) oznacza grupe odwracalnych macierzy n n o wyrazach ca lkowitych Znaleźć jej centrum TEST T 11 (xy) 1 = y 1 x 1 T 12 Elementy x i y grupy G sa przemienne wtedy i tylko wtedy, gdy x 1 y 1 xy = 1 T 13 Elementy x i y grupy G sa przemienne wtedy i tylko wtedy, gdy xyx 1 y 1 = 1 T 14 Jeżeli elementy x i y grupy G sa przemienne, to dowolne ich pote gi też sa przemienne T 15 Jeżeli g G, to g jest grupa przemienna T 16 Z(D 20 ) = 1 T 17 D 4 = Z2 Z 2 chodzi o grupy addytywne cia l R i Q, a nie o liczby rzeczywiste i wymierne dodatnie

T 18 D 6 = Σ3 T 19 D 12 = Σ6 T 110 W grupie dihedralnej D 2n zachodzi równość ρ i ε = ερ i T 111 W grupie dihedralnej D 10 zachodzi równość ρ 3 ερ = ρ 2 ε T 112 W grupie dihedralnej D 10 zachodzi równość (ρε) 5 = 1 T 113 W grupie dihedralnej D 2m zachodzi równość ρ k ε ρ n ε = ρ k n T 114 Grupa Q + jest skończenie generowana T 115 Grupa Z 125 Z 5 zawiera podgrupe izomorficzna z grupa Z 5 Z 5 T 116 Jeżeli G jest grupa przemienna, to Z(G) = G T 117 Jeżeli G jest grupa nieprzemienna, to Z(G) = 1 T 118 Jeżeli w zbiorze X, X G każde dwa elementy sa ze soba przemienne, to X jest grupa przemienna T 119 Niech f, h : G H be da homomorfizmami Jeżeli ker f = ker h, to f = h T 120 Obraz epimorficzny grupy nieprzemiennej jest grupa nieprzemienna T 121 Obraz epimorficzny grupy przemiennej jest grupa przemienna T 122 Istnieje epimorfizm grupy Z 140 na grupe D 70 9

10 2 Grupa cykliczna, rza d elementu 21 Definicja Grupe G nazywamy cykliczna jeżeli istnieje element g G, taki że g = G 22 Twierdzenie Grupy Z n i Z sa cykliczne Każda grupa cykliczna jest izomorficzna z jedna z nich Dowód Z = 1, Z n = exp( 2πi n ), zatem grupy te sa cykliczne Niech G = g, czyli G = {g i, i Z} Przypuśćmy, że istnieje n N, takie że g n = 1 i za lóżmy, że n jest najmniejsza liczba naturalna o tej w lasności Każda liczba ca lkowita k Z może być przedstawiona w postaci k = ln + r, gdzie r {0, 1,, n 1}, a zatem g k = g r Wynika sta d, że G = {1, g,, g n 1 } Wszystkie te elementy sa różne (z równości g i = g j wynika bowiem g i j = 1) Zatem G = n i przekszta lcenie ϕ : Z n G, ϕ(exp( 2πim n )) = gm jest izomorfizmem Jeżeli nie istnieje n N, takie że g n = 1, to wszystkie elementy {g i, i Z} sa różne, G =, a odwzorowanie ϕ : Z G, zadane wzorem ϕ(m) = g m jest izomorfizmem 23 Twierdzenie Niech G be dzie grupa cykliczna Wówczas: 1) Jeżeli H G, to H jest grupa cykliczna 2) Jeżeli H G i G <, to H G 3) Jeżeli G <, to dla każdego l G istnieje dok ladnie jedna podgrupa H G, taka że H = l Dowód Niech G = g Niech k be dzie najmniejsza liczba ca lkowita i dodatnia, taka że g k H Jest jasne, że g k H Jeżeli g m H, m = ks + r, 0 r < k, to g m = (g k ) s g r, wie c g r H Z minimalności k wynika, że r = 0, wobec czego g m = (g k ) s g k Zatem H = g k, co kończy dowód 1) Zak ladamy teraz, że G < Niech wie c G = n, i n = kl + r, r < k Ponieważ g n = 1 H, zatem, tak jak poprzednio, z minimalności k wynika, że k n Wówczas H = {1, g k, g 2k,, g (l 1)k } i H = n k, co kończy dowód punktu 2) Punkt 3) wynika już z tych rozważań jedyna taka podgrupa jest H = g k, gdzie k = n l 24 Definicja Rze dem elementu g G nazywamy liczbe g, czyli rza d podgrupy generowanej przez element g Rza d elementu g oznaczamy symbolem o(g) Z poprzednich rozważań wynika jasno, że jeżeli o(g) <, to : 1 o(g) jest najmniejsza liczba naturalna n, taka że g n = 1 2 o(g) = n wtedy i tylko wtedy, gdy dla każdej liczby ca lkowitej k, takiej że g k = 1, ma miejsce podzielność: n k 3 Jeżeli ϕ : G H jest homomorfizmem, to dla każdego elementu g G o(ϕ(g)) o(g) 25 Stwierdzenie Jeżeli o(g) = n, to o(g k ) = n (n,k) Dowód Mamy n = (n, k)m i k = (n, k) l, gdzie (m, l) = 1 Wynika sta d, że (g k ) m = g (n,k)lm = g nl = 1, a zatem o(g k ) m Przypuśćmy, że (g k ) r = 1 Wynika sta d, że n kr, a zatem m lr Wobec (m, l) = 1, m r, co dowodzi, że o(g k ) = m Z poprzedniego stwierdzenia wynika, że jeżeli G = g i G = n, to generatorami G, czyli elementami rze du n sa elementy g k, gdzie (k, n) = 1 Liczbe tych

11 generatorów, to jest ilość takich liczb naturalnych nie wie kszych od n, które sa wzgle dnie pierwsze z n, oznaczamy symbolem ϕ(n) Funkcje ϕ nazywamy funkcja Eulera 26 Uwaga Jeżeli k n, to w grupie cyklicznej rze du n jest ϕ(k) elementów rze du k Mamy wie c ϕ(k) = n k n 27 Wniosek Jeżeli p jest liczba pierwsza, to grupa Z p nie posiada nietrywialnych podgrup w laściwych, każdy element różny od neutralnego jest rze du p i ϕ(p) = p 1 28 Stwierdzenie Jeżeli (k, n) = 1, to Z k Z n = Zkn W przeciwnym przypadku ten produkt nie jest grupa cykliczna Dowód Niech g Z k i h Z n be da generatorami Element (g, h) l = (g l, h l ) jest elementem neutralnym wtedy i tylko wtedy, gdy n l oraz k l Jeżeli (k, n) = 1, jest to równoważne kn l, a zatem o((g, h)) = kn = Z k Z n i grupa jest cykliczna Jeżeli (k, n) > 1, to z tych rozważań wynika, że w Z k Z n nie ma elementu rze du kn 29 Wniosek Jeżeli (k, n) = 1, to ϕ(kn) = ϕ(k)ϕ(n) 210 Wniosek Jeżeli p jest liczba pierwsza, to w grupie Z p n jest dok ladnie ϕ(p n ) = p n p n 1 elementów rze du p n Rze dy elementów w grupach permutacji Znamy już grupy permutacji Wiemy, że każda grupa jest, z dok ladnościa do izomorfizmu, podgrupa pewnej grupy permutacji Teraz przyjrzymy sie dok ladniej grupom permutacji zbiorów skończonych Dla ustalenia uwagi, za lóżmy, że n elementowy zbiór sk lada sie z liczb {1, 2,, n} Permutacje σ Σ n możemy zapisać w postaci macierzowej: ( ) 1 2 n 1 n σ(1) σ(2) σ(n 1) σ(n) W górnym wierszu macierzy ( piszemy permutowane ) elementy, a w dolnym ich obrazy Na przyk lad: γ = oznacza permutacje 1 2 3 4 3 1 4 2 γ, taka że γ(1) = 3, γ(2) = 1, γ(3) = 4, γ(4) = 2 211 Definicja Permutacje γ Σ n nazywamy cyklem d lugości k, jeżeli istnieja takie elementy c 1, c 2, c k, że { ci+1 gdy i < k γ(c i ) = c 1 gdy i = k, przy czym dla każdego elementu x spoza tej listy zachodzi γ(x) = x Cykl taki be dziemy oznaczać symbolem γ = (c 1,, c k ) Oczywiście zapis ten ma sens tylko wtedy, gdy dobrze wiemy, na jakim zbiorze jest określona ca la permutacja Na przyk lad pytanie o to, czy permutacja σ = (1, 4, 3, 2) ma punkty sta le

12 jest bez sensu, jeżeli nie mamy zewne trznej informacji o tym, na jakim zbiorze ta permutacja jest określona Warto też zwrócić uwage na fakt, że zapis ten nie jest jednoznaczny równie dobrze można by napisać na przyk lad σ = (2, 1, 4, 3) Cykl d lugości dwa, (a, b), nazywamy transpozycja elementów a i b 212 Definicja Cykle σ = (b 1, b 2,, b r ) Σ n i τ = (c 1, c 2,, c s ) Σ n sa roz la czne jeżeli {b 1, b 2,, b r } {c 1, c 2,, c s } = Jest jasne, że dwa cykle roz la czne sa przemienne 213 Twierdzenie Każda permutacje można przedstawić jako iloczyn roz la cznych cykli Przedstawienie to jest jednoznaczne z dok ladnościa do kolejności cykli Dowód tego faktu przeprowadza sie przez indukcje ze wzgle du na moc permutowanego zbioru jest on bardzo latwy i pomijamy go Idee dowodu można latwo zrozumieć analizuja c przyk lad Rozk lad na cykle roz la czne permutacji: ( ) 1 2 3 4 5 6 7 = (1) (2 5 6) (3 7) (4) = (2 5 6) (3 7) 1 5 7 4 6 2 3 W rozk ladzie permutacji na cykle roz la czne cze sto opuszcza sie cykle d lugości jeden 214 Stwierdzenie Jeżeli permutacja σ jest iloczynem cykli roz la cznych d lugości n 1, n 2,, n k, to o(σ) = NW W (n 1, n 2,, n k ) Dowód Cykle roz la czne sa przemienne, zatem o(σ) NW W (n 1, n 2,, n k ) Z drugiej strony, skoro σ l = id, to l ta pote ga każdego cyklu jest identycznościa (korzystamy tu z roz la czności cykli) Zatem dla każdego 1 i k mamy n i l, wie c NW W (n 1, n 2,, n k ) o(σ) Warstwy grupy wzgle dem podgrupy, twierdzenie Lagrange a Stwierdzenie, że rza d podgrupy jest dzielnikiem rze du grupy, które już udowodniliśmy dla grup cyklicznych, jest prawdziwe dla wszystkich grup skończonych i nosi nazwe twierdzenia Lagrange a Niech G be dzie dowolna (niekoniecznie skończona ) grupa, a H G jej podgrupa Dla dowolnego g G rozpatrzmy podzbiór gh = {gh; h H} G Latwo zauważyć, że: 1) zbiór gh jest klasa abstrakcji zawieraja ca g naste cej relacji równoważności w zbiorze elementów G: x y x 1 y H Zbiór gh nazywamy warstwa lewostronna elementu g wzgle dem podgrupy H 2) 1H = H 3) Dowolne dwie warstwy lewostronne sa równoliczne, w szczególności każda warstwa jest równoliczna ze zbiorem H (przyporza dkowanie h gh ustala bijekcje zbioru H i warstwy gh) Zbiór warstw lewostronnych oznaczamy symbolem G/H, a jego moc nazywamy indeksem podgrupy H w grupie G i oznaczamy [G: H] (Uwaga: analogicznie można zdefiniować warstwy prawostronne grupy G wzgle dem podgrupy H sa to podzbiory postaci Hg = {hg : h H} G) Z faktu, że każda warstwa lewostronna ma tyle samo elementów, co podgrupa H wynika natychmiast naste ce twierdzenie

215 Twierdzenie Lagrange a Jeżeli G jest grupa skończona i H G, to G = H [G: H] To proste twierdzenie ma szereg oczywistych, ale ważnych, konsekwencji: 216 Wniosek Rza d elementu jest dzielnikiem rze du grupy 217 Wniosek Każda grupa rze du p, gdzie p jest liczba pierwsza, jest izomorficzna z Z p Dowód Z twierdzenia Lagrange a wynika, że podgrupa cykliczna generowana przez dowolny element różny od neutralnego musi być rze du p, a wie c musi być równa ca lej rozpatrywanej grupie 218 Uwaga Grupa skończona G rze du n jest cykliczna wtedy i tylko wtedy, gdy dla każdego k n zawiera co najwyżej jedna podgrupe rze du k Dowód Wystarczy pokazać, że w grupie G istnieje element rze du n Niech ν(k) oznacza liczbe elementów rze du k w grupie G Z za lożenia wynika, że ν(k) ϕ(k), 13 gdzie ϕ jest funkcja EuleraZ twierdzenia Lagrange a wnioskujemy że ν(k) ma szanse być niezerowe tylko wtedy, gdy k n Zatem n = k n ν(k) k n ϕ(k) = n, a wie c dla każdego k n zachodzi równość ν(k) = ϕ(k) W szczególności ν(n) = ϕ(n) > 0, co kończy dowód W zwia zku z twierdzeniem Lagrange a nasuwa sie pytanie o możliwość jego odwrócenia Za lóżmy, że k jest dzielnikiem G Czy istnieje podgrupa rze du k grupy G i ile jest takich podgrup? Cze ściowa odpowiedzia na to pytanie be dzie twierdzenie Cauchy ego, które mówi, że jeżeli liczba pierwsza p jest dzielnikiem G, to w G istnieje element rze du p, a wie c i cykliczna podgrupa rze du p Udowodnimy je w naste pnym rozdziale

14 ZADANIA Z 21 Niech Z 12 = {1, g, g 2,, g 10, g 11 } Znaleźć rze dy wszystkich elementów Z 22 Znaleźć rze dy elementów w grupie D 2n Z 23 Pokazać, że w grupie rze du parzystego istnieje element rze du dwa Z 24 Pokazać, że w grupie rze du parzystego liczba elementów rze du dwa jest zawsze nieparzysta Z 25 Ile elementów rze du 6 jest w grupie C? Z 26 Niech x, y G, przy czym x y = 1 Pokazać, że jeżeli x i y sa przemienne, to x, y = x y Z 27 Niech x, y G, przy czym o(x) = n <, a o(y) = m < Pokazać, że jeżeli (n, m) = 1 oraz x i y sa przemienne, to o(xy) = mn Z 28 Niech G be dzie grupa abelowa, która zawiera pewien element rze du m i pewien element rze du n Pokazać, że G zawiera element, którego rza d jest równy NW W (n, m) Z 29 Pokazać, że jeżeli ϕ : G H jest monomorfizmem, to dla każdego elementu x G, o(x) = o(ϕ(x)) Z 210 Udowodnić, że dla dowolnych elementów a i x dowolnej grupy G zachodzi równość o(a) = o(xax 1 ) Wywnioskować, że w dowolnej grupie G, dla dowolnych dwóch elementów x, y G, o(xy) = o(yx) ( ) a b Z 211 Sprawdzić, że macierze postaci, a, b, c R, ac 0, tworza 0 c podgrupe w GL(2, R) i znaleźć w niej elementy rze du 2 Wskazać dwa elementy rze du dwa, których iloczyn ma rza d nieskończony Z 212 Pokazać, że podgrupa dowolnej grupy skończonej generowana przez dwa nieprzemienne elementy rze du dwa jest izomorficzna z grupa dihedralna Z 213 Podać przyk lad grupy nieskończonej, której każdy element jest rze du skończonego Z 214 Niech G < Udowodnić, że liczba elementów rze du p, gdzie p jest liczba pierwsza, jest wielokrotnościa liczby p 1 Z 215 Niech G < Udowodnić, że liczba elementów rze du n jest wielokrotnościa ϕ(n), gdzie ϕ jest funkcja Eulera Z 216 Udowodnić, że w skończonej grupie abelowej iloczyn wszystkich elementów jest równy iloczynowi elementów rze du 2 Zastosować to stwierdzenie do grupy Z p i wykazać Tw Wilsona: (p 1)! 1 (mod p) Z 217 Niech a, b G, b 1 i niech a 5 = 1, aba 1 = b 2 Znaleźć rza d b Z 218 Niech G be dzie taka grupa, że cze ść wspólna wszystkich podgrup nietrywialnych jest podgrupa nietrywialna Pokazać, że każdy element G jest skończonego rze du Z 219 Definicja: Podgrupe w laściwa H grupy G nazywamy maksymalna, jeżeli nie istnieje w laściwa podgrupa K G, K H taka, że H K G Pokazać, że jeżeli grupa skończona G ma dok ladnie jedna podgrupe maksymalna, to G jest grupa cykliczna i G = p m, gdzie p jest liczba pierwsza i m > 0 Z 220 Udowodnić, że Aut(Z n ) = ϕ(n), gdzie ϕ jest funkcja Eulera Z 221 Jeżeli ϕ : G H jest epimorfizmem, a K H dowolna podgrupa, to [G : ϕ 1 (K)] = [H : ( K] ) 1 2 3 4 5 6 7 Z 222 Permutacje roz lożyć na cykle roz la 4 2 6 3 1 7 5 czne

Z 223 W Σ 6 policzyć z lożenie (123)(546)(231)(46) przedstawiaja c je w postaci iloczynu cykli roz la cznych Znaleźć jego rza d Z 224 Udowodnić, że każda permutacja może być przedstawiona w postaci iloczynu transpozycji Z 225 Udowodnić, że każda permutacja może być przedstawiona w postaci iloczynu transpozycji elementów sa siednich (tzn transpozycji postaci (i, i + 1)) Z 226 ( Przedstawić w postaci ) iloczynu transpozycji elementów sa siednich permutacje 1 2 3 4 5 6 3 6 1 4 2 5 Z 227 Przedstawić w postaci iloczynu transpozycji elementów sa siednich permutacje (173)(2456) Z 228 Udowodnić, że zbiór z lożony z transpozycji (12) i cyklu (1, 2,, n) generuje ca la grupe Σ n Z 229 Pokazać, że jeżeli p jest liczba pierwsza, to Σ p jest generowane przez dowolna transpozycje i dowolny cykl d lugości p Pokazać, rozważaja c Σ 4, że za lożenie iż p jest liczba pierwsza jest istotne Z 230 Pokazać, że nie istnieje monomorfizm Q 8 Σ 4 TEST T 21 Niech x, y G be da elementami pewnej grupy G Jeżeli xy = yx, to o(xy) = NW W ((o(x), o(y))) T 22 Niech x, y G be da elementami pewnej grupy G Jeżeli x y = 1, to o(xy) = NW W (o(x), o(y))) T 23 Niech (x, y) be dzie elementem produktu grup G H Jeżeli x i y sa elementami rze dów skończonych, to o(x, y) = NW W (o(x), o(y))) T 24 Niech x, y G Za lóżmy, że o(x) = k, o(y) = n Wówczas istnieje w grupie G pewien element rze du NW W (n, k) T 25 D 8 = Q8 T 26 Jeżeli ( H, G ) = 1, to każdy homomorfizm H G jest trywialny T 27 Niech γ be dzie generatorem grupy cyklicznej rze du 30 Wówczas o(γ 20 ) = T 28 Niech G be dzie grupa rze du 2001 Niech x G Wówczas o(x 29 ) = lub lub T 29 W grupie cyklicznej Z 2001 jest elementów rze du 2001 T 210 W grupie Z 15 elementów rze du 15 jest: T 211 W grupie Z 9 Z 9 jest jeden element rze du 1, elementów rze du 9 T 212 W grupie Z 15 Z 15 jest podgrup izomorficznych z Z 15 elementów rze du 3 i T 213 W grupie Z 7 Z 5 elementów rze du 35 jest dok ladnie T 214 Z 7 Z 5 = Z35 T 215 Liczba elementów rze du 12 w dowolnej grupie G jest podzielna przez 11 T 216 Liczba elementów rze du 12 w dowolnej grupie G jest podzielna przez 4 T 217 Istnieja takie grupy H, K G, że H, K = Z 15 i H K zawiera dok ladnie 3 elementy 15 lub

16 T 218 Istnieja takie grupy H, K G, że H, K = Z 15 i H K zawiera dok ladnie 5 elementów T 219 Istnieja takie grupy H, K G, że H, K = Z 15 i H K zawiera dok ladnie 7 elementów T 220 Grupa przemienna rze du 35 jest izomorficzna z Z 35 T 221 Istnieje grupa skończona, w której elementów rze du 5 jest dok ladnie 24 T 222 Istnieje grupa przemienna, w której elementów rze du 7 jest dok ladnie 18 T 223 Istnieje grupa rze du 70, która zawiera nie mniej niż 24 wzajemnie przemienne elementy rze du 5 T 224 Niech f : G H be dzie homomorfizmem grup Niech g, h G Za lóżmy, że o(g) = o(h) Wówczas o(f(g)) = o(f(h)) T 225 Niech f : G H be dzie homomorfizmem grup Niech g 1, g 2 be da takimi elementami grupy G, że g 1 = g 2 Wówczas o(f(g 1 )) = o(f(g 2 )) T 226 Niech f : G H be dzie homomorfizmem grup Jeżeli dla każdego g G o(g) = o(f(g)), to f jest monomorfizmem T 227 Z 3 Z 5 Z 6 = Z3 Z 3 Z 10 T 228 Niech Z 12 = γ Wówczas zbiór {γ, γ 4, γ 7, γ 10 } jest warstwa wzgle dem pewnej podgrupy T 229 Niech zbiór elementów X = {x 1, x n } w grupie G be dzie warstwa lewostronna tej grupy wzgle dem pewnej podgrupy H Wynika sta d, że H = {1, x 1 (x 2 ) 1,, x 1 (x n ) 1 } T 230 Liczba homomorfizmów ( grupy Z 120 w grupe ) Z wynosi 1 2 3 4 5 6 7 T 231 Niech σ Σ 7, σ = Wówczas podgrupy σ Σ 6 4 2 3 5 1 7 7 i (1 2 3 4 5 6) Σ ( 7 sa izomorficzne ) 1 2 3 4 5 6 7 8 T 232 Niech σ = Wówczas o(σ 3 5 1 8 2 4 7 6 4 ) = T 233 Jeżeli k 1 + +k l n, to Σ n zawiera podgrupe izomorficzna z Z k1 Z kl T 234 Jeżeli k 1 + +k l n, to Σ n zawiera podgrupe izomorficzna z Σ k1 Σ kl T 235 Jeżeli Σ n zawiera podgrupe izomorficzna z Z k, to k n T 236 Rza d permutacji (1 3 4 6 7)(2 3 5) jest równy 15

17 3 Dzia lanie grupy na zbiorze Znaczna cze ść poznanych przez nas przyk ladów grup, to podgrupy grupy bijekcji jakiegoś zbioru Cze sto taka podgrupa sk lada sie z bijekcji, które zachowuja dodatkowa strukture geometryczna, topologicza lub algebraiczna, zdefiniowana na rozpatrywanym zbiorze Poznaliśmy twierdzenie Cayleya, które mówi że, z dok ladnościa do izomorfizmu, każda grupa po prostu jest pewna podgrupa jakiejś grupy bijekcji Dowód polega l na wskazaniu monomorfizmu ψ : G Σ G Zetkne liśmy sie jednak także z naste cym przyk ladem: każdy element grupy G wyznacza automorfizm wewne trzny (a wie c bijekcje ) φ g : G G, określony wzorem φ g (x) = gxg 1, przy czym iloczynowi elementów odpowiada z lożenie automorfizmów Oznacza to, że przekszta lcenie φ : G Aut(G) Σ G zadane wzorem φ(g) = φ g jest homomorfizmem (choć na ogó l nie jest monomorfizmem) Opisana sytuacja jest przyk ladem dzia lania grupy G na zbiorze tutaj na zbiorze jej elementów 31 Definicja Dzia laniem grupy G na zbiorze X nazywamy homomorfizm φ: G Σ X Dzia lanie nazywamy wiernym, jeżeli φ jest monomorfizmem Jeżeli zadane jest dzia lanie grupy G na zbiorze X, to mówimy że X jest G zbiorem Zamiast oznaczenia φ(g)(x) be dziemy na ogó l używać bardziej czytelnego symbolu φ g (x) W tym zapisie φ g jest nazwa pewnej bijekcji zbioru X bijekcji, która homomorfizm φ przypisuje elementowi g z grupy G Natomiast φ g (x) oznacza wartość tej bijekcji dla argumentu x Czasem stosuje sie jeszcze bardziej uproszczony zapis: g(x) zamiast φ g (x) Przyjrzyjmy sie bliżej strukturze dowolnego G zbioru X 32 Definicja Orbita punktu x X nazywamy zbiór G(x) = {g(x): g G} X Punktem sta lym dzia lania grupy G na zbiorze X nazywamy każdy punkt spe lniaja cy warunek G(x) = {x} lub równoważnie g G g(x) = x Zbiór punktów sta lych oznaczamy symbolem X G Grupa izotropii punktu x X nazywamy podgrupe G x = {g G: g(x) = x} G Rozpatrzmy na zbiorze X relacje zadana wzorem x y g G y = g(x) Bez trudu sprawdzimy, że relacja ta jest relacja równoważności, a klasa abstrakcji zawieraja ca punkt x X jest orbita tego punktu G(x) Zatem niepusty G zbiór X jest suma parami roz la cznych orbit

18 33 Definicja Dzia lanie grupy G na zbiorze X nazywamy tranzytywnym (inaczej: przechodnim) wtedy i tylko wtedy, gdy x, y X g G g(x) = y Zauważmy, że dzia lanie na niepustym zbiorze jest tranzytywne wtedy i tylko wtedy, gdy ma dok ladnie jedna orbite Rozpatrzymy teraz podstawowy i w pewnym sensie uniwersalny przyk lad dzia- lania grupy: 34 Przyk lad Niech G be dzie dowolna grupa, a H jej podgrupa Zdefiniujemy dzia lanie φ : G Σ G/H, grupy G na zbiorze warstw lewostronnych G/H, wzorem φ g (xh) = (gx)h Odnotujmy naste ce w lasności powyższego dzia lania: 1 jest ono tranzytywne; 2 G gh = ghg 1 3 jeżeli H = 1, to dzia lanie jest wierne, czyli φ : G Σ G jest monomorfizmem Zauważmy, że ten ostatni fakt, to znane nam już Twierdzenie Cayley a Wyjaśnienie, dlaczego powyższe dzia lanie jest uniwersalnym przyk ladem, poprzedzimy definicja 35 Definicja Mówimy, że dwa G zbiory X i Y sa G izomorficzne, jeżeli istnieje bijekcja f : X Y, taka że x X g G f(g(x)) = g(f(x)) Zauważmy, że zachodzi latwe, ale ważne stwierdzenie: 36 Stwierdzenie Niech X be dzie G zbiorem i niech x X Wówczas przekszta lcenie f x : G/G x G(x), zadane wzorem jest G izomorfizmem G zbiorów f x (gg x ) = g(x), 37 Wniosek Jeżeli X jest G zbiorem, to dla każdego x X G(x) = [G: G x ] Podsumowuja c: każdy G zbiór jest roz la czna suma orbit, a każda orbita jest G izomorficzna z dobrze znanym G zbiorem (postaci G/H) Zauważmy, że wybór punktu x X zadaje przekszta lcenie f : G/G x G(x), f(g G x ) = g (x) Przekszta lcenie to jest dobrze określone i jest bijekcja zbiorów, co wie cej taka, która zachowuje dzia lanie grupy G, to znaczy f(g(g G x )) = g(f(g G x )) dla każdego g G i każdej warstwy w G/G x W szczególności moc orbity jest równa indeksowi [G : G x ] Zbiór X jest roz la czna suma orbit, wie c moc skończonego G zbioru X jest równa sumie d lugości orbit rozpatrywanego dzia lania Uwzgle dniaja c wzór na d lugość orbity podany we Wniosku 37 możemy to stwierdzenie zapisać w postaci naste cego wzoru

19 38 Stwierdzenie Jeżeli X jest skończonym niepustym G zbiorem, to (39) X = [G : G x1 ] + [G : G x2 ] + + [G : G xn ], gdzie G(x 1 ), G(x 2 ),, G(x n ) sa wszystkimi orbitami dzia lania G na X Zanotujmy jeszcze wniosek wyp lywaja cy z powyższego stwierdzenia: 310 Wniosek Jeżeli X jest skończonym G zbiorem i G = p k, gdzie p jest liczba pierwsza, to X G X (mod p) Dowód Suma d lugości orbit jednoelementowych jest oczywiście równa mocy zbioru punktów sta lych Z twierdzenia Lagrange a i Wniosku 37 wynika zatem, że suma mocy pozosta lych orbit jest podzielna przez p Stwierdzenie 38 i Wniosek 310 sa cze sto używane w taki sposób, że dowodzi sie iż grupa G nie może dzia lać na zbiorze mocy n bez punktów sta lych, bo liczba n nie daje sie przedstawić w postaci sumy, takiej jak we wzorze (39), chyba że co najmniej jednym ze sk ladników jest jedynka Oczywiście dopuszczalne sk ladniki musza nie tylko być dzielnikami liczby G ale musza to być liczby wyrażaja ce indeksy podgrup grupy G (wkrótce be dziemy potrafili pokazać, że np w grupie Σ 5, która jest rze du 120, nie ma podgrupy indeksu 8, chociaż 120 = 8 15) Wniosek 310 pozwala także na udowodnienie ważnego, a wcale nie oczywistego twierdzenia: 311 Twierdzenie Cauchy ego Jeżeli G jest grupa skończona i liczba pierwsza p jest dzielnikiem rze du grupy G, to w G istnieje element rze du p Dowód Niech X = {(g 1, g 2,, g p ) G G G: g 1 g 2 g p = 1} Zbiór X ma G p 1 elementów, w szczególności X 0 (mod p) Niech f Σ X, f(g 1, g 2,, g p ) = (g p, g 1, g 2,, g p 1 ) o(f) = p, a wie c f = Z p Zauważmy, że Latwo sprawdzić, że Zgodnie z Wnioskiem 310 X f = {(g, g,, g) G G G : g p = 1} X f X 0 (mod p) Moc zbioru X f jest na pewno różna od zera, bo na pewno (1, 1,, 1) X Z p Wobec faktu, że p X f, zbiór X f musi zawierać jeszcze co najmniej p 1 innych cia gów (g, g,, g) X, teraz już takich, że g 1 Oczywiście z tego, że g 1 i g p = 1, gdzie p jest liczba pierwsza, wynika że o(g) = p Wróćmy do przyk ladu, od którego rozpocze liśmy ten rozdzia l 312 Przyk lad Niech grupa G dzia la na zbiorze jej elementów przez automorfizmy wewne trzne, φ : G Aut(G) O automorfizmie wewne trznym φ g mówimy także, że jest sprze żeniem wyznaczonym przez element g Jak sie przekonamy, analiza tego dzia lania odgrywa ważna role w badaniu struktury grupy i dlatego jego orbity i grupy izotropii maja odre bne nazwy:

20 orbite {gxg 1 : g G} elementu x nazywamy klasa sprze żoności elementu x; grupe izotropii elementu x nazywamy centralizatorem elementu x w G i oznaczamy symbolem C G (x) Zatem C G (x) = {g G : gxg 1 = x}, a moc klasy sprze żoności elementu x jest równa [G : C G (x)] Zbiór punktów sta lych dzia lania przez automorfizmy wewne trzne ma już swoja nazwe jest to centrum Z(G) grupy G Jeżeli G jest grupa skończona, to równość (39) wyste ca w Stwierdzeniu 38 nazywa sie równaniem klas i przybiera postać: (313) G = Z(G) + [G : C G (g 1 )] + [G : C G (g 2 )] + + [G : C G (g k )], gdzie g 1, g 2,, g k jest lista wszystkich nie jednoelementowych klas sprze żoności Zanotujmy ważny wniosek z równości 313 314 Wniosek Jeżeli G = p k, gdzie p jest liczba pierwsza, k > 0, to centrum Z(G) grupy G jest nietrywialne Dowód Z równości 313 wynika, że G Z(G) 0 (mod p) Ponieważ Z(G) 1 i p Z(G), to Z(G) p, a wie c centrum jest nietrywialne 315 Wniosek Jeżeli p jest liczba pierwsza, to każda grupa G rze du p 2 jest przemienna Dowód Mamy udowodnić, że G = Z(G) Z poprzedniego wniosku wiemy, że w Z(G) jest jakiś element nietrywialny x Jeżeli x = G, to grupa G jest cykliczna, a wie c przemienna Jeżeli x jest podgrupa w laściwa, to istnieje jakiś element y G, taki że y / x Oczywiście xy = yx Zatem x, y jest grupa przemienna Ale x, y, to już na pewno jest ca la grupa G Na zakończenie tych rozważań zobaczymy jak można skorzystać z wprowadzonych poje ć odpowiadaja c na pytanie: Czy istnieje grupa, która ma dok ladnie osiem elementów rze du 5? Pokażemy, że nie Przypuśćmy, że jednak istnieje Wówczas taka grupa G ma dok ladnie dwie podgrupy cykliczne rze du 5, H = x G i K = y G Dzia lanie grupy H na grupie G przez automorfizmy wewne trzne wyznacza dzia lanie H na zbiorze podgrup grupy G Dzia lanie to zachowuje dwuelementowy zbiór podgrup 5 cio elementowych Mamy wie c homomorfizm H Σ 2 Homomorfizm ten jest trywialny (por T26)Wynika sta d, że automorfizmy wewne trzne wyznaczone przez elementy grupy H zachowuja podgrupe K, a wie c grupa H dzia la na grupie K i mamy homomorfizm H Aut(K) Ponieważ Aut(K) = ϕ(5) = 4, to analogiczne rozumowanie jak poprzednio dowodzi, że dzia lanie to jest trywialne Oznacza to w szczególności, że xyx 1 = y Spe lnione sa za lożenia zadania 26, a wie c x, y = Z 5 Z 5 Wobec tego w grupie G sa co najmniej 24 elementy rze du 5 Dochodzimy do sprzeczności z za lożeniem, że jest ich dok ladnie 8 Klasy sprze żoności w grupach permutacji Niech σ = (c 1,, c s ) be dzie pewnym cyklem, a γ pewna permutacja w Σ n Wówczas γσγ 1 = (γ(c 1 ),, γ(c s )) latwo to sprawdzić w drodze bezpośredniego rachunku Korzystaja c (wielokrotnie) z równości axya 1 = (axa 1 )(aya 1 ) otrzymujemy naste cy wniosek

21 316 Wniosek Dwie permutacje sa sprze żone wtedy i tylko wtedy, gdy maja podobne rozk lady na iloczyn cykli roz la cznych, tzn w obydwu rozk ladach wyste puje po tyle samo cykli tej samej d lugości 317 Przyk lad Permutacje (126)(347)(58)(9) i (6)(345)(29)(178) sa sprze żone w Σ 9, bo maja po jednym cyklu d lugości jeden, po jednej transpozycji i po dwa cykle d lugości trzy w rozk ladzie na iloczyn cykli roz la cznych

22 ZADANIA Z 31 Znaleźć klasy sprze żoności elementów grupy dihedralnej D 2n Z 32 Znaleźć orbity dzia lania podgrupy obrotów J D 2n na D 2n przez automorfizmy wewne trzne Z 33 Korzystaja c z twierdzenia Cauchy ego pokazać, że każda grupa rze du 6 jest izomorficzna z grupa cykliczna Z 6 lub z grupa dihedralna D 6 Z 34 Niech H G be dzie podgrupa Sprawdzić, że wzór ϕ h (g) = gh 1 definiuje homomorfizm ϕ : H Σ G, ϕ h (g) = gh 1, a wie c dzia lanie grupy H na grupie G Sprawdzić, że dzia lanie to jest wierne a jego orbitami sa warstwy lewostronne G wzgle dem H Z 35 Udowodnić, że nie istnieje grupa, w której elementów rze du 7 jest dok ladnie 18 Z 36 Niech k(g) oznacza liczbe klas sprze żoności elementów grupy G Udowodnić, że jeżeli G jest skończona grupa nieprzemienna to k(g) > Z(G) + 1 Z 37 Udowodnić, że jeżeli G jest grupa skończona i k(g) jest liczba parzysta, to G jest także liczba parzysta Z 38 Niech G be dzie grupa skończona i niech H G, G : H = 2 Pokazać, że jeżeli dla każdego h H, h 1, C G (h) H, to elementy G \ H tworza jedna klase sprze żoności elementów G Z 39 Niech φ : G Σ G be dzie monomorfizmem określonym w Przyk ladzie 34 Niech g G be dzie elementem rze du n Znaleźć rozk lad na cykle roz la czne permutacji φ(g) Z 310 Niech grupa skończona G dzia la na skończonym zbiorze X Udowodnić wzór Burnside a: X/G = 1 X g G gdzie X/G oznacza liczbe orbit dzia lania G na X, a X g liczbe punktów sta lych przekszta lcenia wyznaczonego przez g G Z 311 Dla każdego elementu g SO(3) zdefiniujmy zbiór biegunów B(g) = {x S 2 : g(x) = x} Niech G be dzie skończona podgrupa SO(3) i niech B(G) = g G,g 1 B(g) Sprawdzić, że B(G) jest skończonym podzbiorem S2, zachowywanym przez naturalne dzia lanie G na S 2 Korzystaja c ze wzoru Burnside a dla dzia lania G na B(G) wykazać, że jedynymi skończonymi podgrupami grupy SO(3) sa : grupy cykliczne Z n, n N, grupa symetrii czworościanu, sześcianu i dwunastościanu foremnego Z 312 Pokazać, że jeżeli H G jest w laściwa podgrupa skończonego indeksu, to zbiór g G ghg 1 jest w laściwym podzbiorem zbioru elementów grupy G Z 313 Niech σ Σ 6 Σ 7, σ = C Σ7 (σ) g G ( 1 2 3 4 5 6 6 4 2 3 5 1 ) Znaleźć C Σ6 (σ) oraz TEST T 31 Dzia lanie grupy rze du 27 na zbiorze 35 elementowym ma co najmniej jeden punkt sta ly T 32 W klasie sprze żoności elementu x G jest dok ladnie [G : C G (x))] elementów

T 33 Dla każdego elementu x dowolnej grupy G zachodzi zawieranie Z(G) C G (x) T 34 Istnieje grupa rze du 125 i tranzytywne dzia lanie tej grupy na zbiorze mocy 30 T 35 Dla każdej grupy rze du 125 istnieje dzia lanie tej grupy na zbiorze mocy 30 bez punktu sta lego T 36 Dla każdej grupy rze du 125 istnieje tranzytywne dzia lanie tej grupy na zbiorze mocy 30 T 37 Istnieje dzia lanie grupy Σ 5 bez punktów sta lych na zbiorze 20 elementowym T 38 Dla dowolnej grupy G i dowolnego x G, x C G (x) T 39 Istnieje dzia lanie grupy D 12 na zbiorze siedmioelementowym, które ma dok- ladnie dwie orbity T 310 Istnieje dzia lanie grupy D 12 na zbiorze siedmioelementowym, które ma dok- ladnie trzy orbity T 311 Istnieje co najmniej pie ć dzia lań grupy D 12 na zbiorze siedmioelementowym, które maja dok ladnie po trzy orbity i z których żadne dwa nie sa D 12 izomorficzne T 312 W grupie GL(2, Z 7 ) macierzy odwracalnych o wspó lczynnikach z cia la Z 7 istnieje podgrupa indeksu 2 T 313 W grupie GL(2, Z 7 ) macierzy odwracalnych o wspó lczynnikach z cia la Z 7 istnieje podgrupa indeksu 3 T 314 Grupa przemienna rze du 15 jest cykliczna T 315 Grupa przemienna rze du 20 jest cykliczna T 316 Grupa rze du 10 jest cykliczna T 317 Grupa przemienna rze du 2001 jest cykliczna T 318 Jeżeli f : G H jest homomorfizmem i elementy x, y G sa sprze żone w grupie G, to elementy f(x), f(y) sa sprze żone w H T 319 Jeżeli x, y H G i elementy x i y sa sprze żone w grupie G, to sa też sprze żone w grupie H T 320 Permutacje (12654)(235) i (1324)(56) sa sprze żone w Σ 6 T 321 W grupie Σ 10 istnieja dwa nie sprze żone ze soba elementy rze du 12 T 322 W grupie Σ 10 istnieja dwa nie sprze żone ze soba elementy rze du n = 9 T 323 Niech σ, τ Σ n Σ n+k, gdzie Σ n Σ n+k jest naturalnym w lożeniem grup permutacji Jeżeli σ i τ sa sprze żone w Σ n+k, to σ i τ sa sprze żone w Σ n T 324 W grupie Σ 7 każde dwa elementy rze du 10 sa sprze żone 23

24 4 Podgrupy normalne i grupy ilorazowe Niech ϕ : G H be dzie homomorfizmem Rozpatrzmy zbiór warstw lewostronnych G/ ker ϕ grupy G wzgle dem podgrupy ker ϕ Latwo zauważyć, że ϕ(x) = ϕ(y) x 1 y ker ϕ x ker ϕ = y ker ϕ homomorfizm ϕ przeprowadza dwa elementy grupy G na ten sam element grupy H wtedy i tylko wtedy, gdy te dwa elementy wyznaczaja te sama warstwe lewostronna Wynika sta d naste cy wniosek: 41 Wniosek Jeżeli ϕ : G H jest homomorfizmem, to im ϕ = [G : ker ϕ] Za lóżmy teraz, że ϕ jest epimorfizmem Wówczas ϕ : G H wyznacza bijekcje ϕ : G/ ker ϕ H (określona wzorem ϕ(x ker ϕ) = ϕ(x)) zbioru G/ ker ϕ i zbioru elementów grupy H Na zbiorze warstw G/ ker ϕ można wie c w naturalny sposób zdefiniować dzia lania, tak by bijekcja ϕ sta la sie izomorfizmem grup Latwo sprawdzić, że dzia lania te sa określone naste cymi wzorami: (x ker ϕ) (y ker ϕ) = xy ker ϕ, (x ker ϕ) 1 = x 1 ker ϕ, a elementem neutralnym jest warstwa 1 ker ϕ (czyli po prostu ker ϕ) Uwaga Jeżeli za lożymy tylko tyle, że H jest podgrupa grupy G, to wzór xh yh = xyh na ogó l nie ma sensu, bo warstwa wyste ca po prawej stronie zależy od wyboru reprezentantów warstw wyste cych po lewej stronie Można sie o tym przekonać rozpatruja c na przyk lad zbiór warstw D 6 /{1, ε} Zdefiniujemy teraz taka klase podgrup, dla których powyższy wzór ma sens 42 Definicja Podgrupe H G nazywamy podgrupa normalna (lub dzielnikiem normalnym), co oznaczamy symbolem H G, wtedy i tylko wtedy, gdy dla każdego g G, ghg 1 = {ghg 1 : h H} = H, czyli dla każdego automorfizmu wewne trznego φ g grupy G zachodzi równośc φ g (H) = H 43 Uwaga Warunek g G ghg 1 = H, jest równoważny warunkowi g G ghg 1 H Dowód Wystarczy przeprowadzić latwy rachunek Niech h H Wówczas h = (gg 1 )h(gg 1 ) = g(g 1 hg)g 1 ghg 1, a zatem H ghg 1 (a zawieranie w druga strone jest bezpośrednio zagwarantowane w za lożeniu) 44 Uwaga Warunek H G jest równoważny warunkowi g G gh = Hg, czyli równości warstw prawostronnych i lewostronnych

25 Przyk lady podgrup normalnych 45 Przyk lad 1 G, G G 46 Przyk lad Jeżeli ϕ : G H jest homomorfizmem, to ker ϕ G Ten, jak sie okaże uniwersalny, przyk lad ma wiele ważnych podprzyk ladów: a) Z(G) G, gdzie Z(G) = ker φ, φ : G Aut(G) b) SO(n) O(n), gdzie SO(n) = ker det, det : O(n) Z 2 47 Przyk lad Każda podgrupa grupy przemiennej jest normalna (Ta w lasność nie charakteryzuje grup przemiennych maja ja również niektóre grupy nieprzemienne, na przyk lad Q 8 ) 48 Przyk lad 1 K H K i H 1 H K 49 Stwierdzenie Jeżeli H G i [G : H] = 2, to H G Dowód Oczywiście g H h H ghg 1 H Pozostaje przypadek, gdy g / H Przypuśćmy, że h H ghg 1 / H Skoro tak, to ghg 1 G \ H = gh Jak widać, elementy g i ghg 1 należa do tej samej warstwy (gh) wzgle dem podgrupy H Ale to oznacza, że g 1 ghg 1 H Po redukcji otrzymujemy hg 1 H, ska d g H, a to oznacza sprzeczność 410 Wniosek Podgrupa obrotów J = {1, ρ,, ρ n 1 } grupy dihedralnej D 2n jest dzielnikiem normalnym Odnotujmy jeszcze naste ce, latwe do udowodnienia, w lasności podgrup normalnych: 1) Jeżeli ϕ : G H jest homomorfizmem i N H, to ϕ 1 (N) G 2) Jeżeli ϕ : G H jest epimorfizmem i N G, to ϕ(n) H Jeżeli o przekszta lceniu ϕ zak ladamy tylko tyle, że jest homomorfizmem, to w każdym razie możemy twierdzić, że ϕ(n) im (ϕ) 3) Jeżeli N i G dla i I to N i G i I 4) Jeżeli N G i K G, to N K K 411 Przyk lad Niech H G be dzie dowolna podgrupa Rozpatrzymy znany nam homomorfizm φ : G Σ G/H zadany wzorem φ g (xh) = gxh, opisuja cy dzia lanie G na zbiorze warstw G/H Wówczas ker φ = g G ghg 1 H jest podgrupa normalna grupy G jest to najwie ksza ze wzgle du na zawieranie podgrupa normalna grupy G, spośród tych, które sa zawarte w H Oczywiście jeżeli H G, to H = ker φ Informacja, że otrzymana podgrupa jest ja drem homomorfizmu φ jest użyteczna w dowodzie naste cego wniosku 412 Wniosek Niech H be dzie podgrupa indeksu n w grupie skończonej G Wówczas istnieje podgrupa normalna N G, N H, taka że n [G : N] i [G : N] n! (tzn indeks N w G jest wielokrotnościa n, a dzielnikiem n!) Dowód Szukana grupa jest w laśnie grupa N = ker ϕ opisana w przyk ladzie 411 Podzielność n [G : N] jest oczywista indeks mniejszej podgrupy jest wielokrotnościa indeksu wie kszej podgrupy Natomiast podzielność [G : N] n! wynika z faktu, że im ϕ = [G : ker φ] = [G : N] (Wniosek 41), z drugiej zaś strony im φ Σ G/H (Twierdzenie Lagrange a)

26 413 Przyk lad Niech H G Zdefiniujmy podgrupe N G (H) = {g G: ghg 1 = H} Oczywiście H N G (H) G i H N G (H) Zauważmy, że N G (H) jest najwie ksza taka podgrupa grupy G zawieraja ca H, w której H jest normalna Jest jasne, że jeżeli H G, to N G (H) = G Podgrupe N G (H) nazywamy normalizatorem H w G Jeżeli rozpatrzymy dzia lanie grupy G na zbiorze jej podgrup, zadane przez automorfizmy wewne trzne, to N G (H) jest grupa izotropii podgrupy H, a punktami sta lymi tego dzia lania sa podgrupy normalne Jeżeli H G, to z taka para zwia zana jest ważna konstrukcja grupy ilorazowej 414 Definicja Niech H G Grupa ilorazowa grupy G przez podgrupe normalna H nazywamy zbiór warstw G/H z warstwa 1H jako elementem wyróżnionym i z dzia laniami: xh yh = xyh (xh) 1 = x 1 H Należy sprawdzić, że dzia lanie jest dobrze zdefiniowane, to znaczy nie zależy od wyboru reprezentantów warstw Niech xh = x H i yh = y H Należy pokazać, że xyh = x y H Za lożyliśmy, że x 1 x H i y 1 y H, a chcemy wykazać że (xy) 1 x y H Rozpatrzmy cia g równości: (xy) 1 x y = y 1 x 1 x y = y 1 x 1 x yy 1 y = ( y 1 (x 1 x )y ) (y 1 y ) Za lożyliśmy, że H G Zatem y 1 (x 1 x )y H Również y 1 y H Wobec tego (xy) 1 x y H Analogicznie sprawdzamy, że dzia lanie jednoargumentowe jest dobrze określone Fakt, że tak określone dzia lania spe lniaja aksjomaty grupy jest oczywisty Odnotujmy także stwierdzenie: 415 Stwierdzenie Jeżeli H G, to odwzorowanie π : G G/H, określone wzorem π(g) = gh jest epimorfizmem i ker π = H Epimomorfizm π nazywamy rzutowaniem grupy G na grupe ilorazowa G/H 416 Przyk lad Grupa ilorazowa grupy cyklicznej G = g przez podgrupe H jest grupa cykliczna i oczywiście G/H = gh Przy pomocy grupy ilorazowej możemy opisać obraz dowolnego homomorfizmu 417 Twierdzenie o homomorfizmie Niech ϕ : G H be dzie homomorfizmem, a π : G G/ ker ϕ rzutowaniem Wówczas istnieje dok ladnie jeden monomorfizm ϕ : G/ ker ϕ H, taki że ϕ π = ϕ W szczególności ϕ : G/ ker ϕ im ϕ jest izomorfizmem Dowód Szukanym monomorfizmem jest odwzorowanie ψ, określone wzorem ψ(g ker ϕ) = ϕ(g) Zanotujmy jeszcze przydatny wniosek z powyższego twierdzenia

418 Wniosek Niech ϕ : G H be dzie epimorfizmem i niech K H Wówczas G/ϕ 1 (K) = H/K π K Dowód Z lożenie G ϕ H H/K (gdzie π K : H H/K jest rzutowaniem) jest epimorfizmem, a jego ja drem jest ϕ 1 (K) Spróbujmy teraz znaleźć wszystkie homomorfizmy G H, dla danych grup G i H lub przynajmniej obliczyć ile ich jest Umiemy to zadanie rozwia zać, gdy G = g jest grupa cykliczna homomorfizm ϕ : g H jest jednoznacznie wyznaczony przez wskazanie elementu ϕ(g), takiego że o(ϕ(g)) o(g) Homomorfizmów jest wie c dok ladnie tyle ile elementów h H, takich że o(h) o(g) W przypadku dowolnej grupy G zaczniemy od zbadania liczby epimorfizmów G K dla ustalonego K Po pierwsze trzeba znaleźć wszystkich kandydatów na ja dro takiego epimorfizmu, czyli wszystkie normalne podgrupy N G, takie że G/N = K Nie ma tu żadnego algorytmu Dwa epimorfizmy φ, ψ o tym 1 samym ja drze N różnia sie o automorfizm φ( ψ) grupy K mamy bowiem φ = φπ N = φ( ψ) 1 ψπ N = φ( ψ) 1 ψ Zatem liczba epimorfizmów G K jest równa n K Aut(K), gdzie n K jest liczba normalnych podgrup G, takich że grupa ilorazowa jest izomorficzna z K Zanotujmy jeszcze, że Aut(Z n ) = ϕ(n) Na koniec przytoczymy ważny przyk lad grupy ilorazowej Niech A be dzie grupa abelowa, a ϕ : G A homomorfizmem Wówczas x,y G x 1 y 1 xy ker ϕ Element x 1 y 1 xy nazywamy komutatorem elementów x i y i oznaczamy symbolem [x, y] Komutantem grupy G nazywamy podgrupe [G, G] = {[x, y] : x, y G} 27 Komutant jest podgrupa normalna, a nawet ma pewna w lasność jeszcze lepsza niż normalność Niech mianowicie φ : G G be dzie dowolnym automorfizmem grupy G Wówczas φ([x, y]) = [φ(x), φ(y)] Wobec tego φ([g, G]) = [G, G] Warunek normalności podgrupy [G, G] w grupie G jest s labszy to ten sam warunek, ale tylko dla φ be da cych automorfizmami wewne trznymi grupy G 419 Definicja Podgrupe H G nazywamy podgrupa charakterystyczna, co oznaczamy symbolem H G, wtedy i tylko wtedy, gdy dla każdego automorfizmu φ grupy G zachodzi równość φ(h) = H 420 Przyk lad Dla dowolnej grupy G jej centrum Z(G) jest podgrupa charakterystyczna Jest jasne, że grupa ilorazowa G/[G, G] jest przemienna i że wśród podgrup normalnych grupy G podgrupa [G, G] jest najmniejsza taka, że grupa ilorazowa jest przemienna Grupe G/[G, G] nazywamy abelianizacja grupy G Jest to najwie ksza przemienna grupa ilorazowa grupy G Precyzyjnie wyraża to naste ce twierdzenie 421 Twierdzenie Dla każdego homomorfizmu ϕ : G A, gdzie A jest grupa przemienna, istnieje dok ladnie jeden homomorfizm ψ : G/[G, G] A, taki że ψ π = ϕ (π : G G/[G, G] jest rzutowaniem)