Twierdzenie 5.1 Definicja i uwaga 5.1. relacjami zadana za pomocą zbioru generatorów i zbioru relacji kodem genetycz- nym

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

... [a n,b n ] kn [M 1,M 2 ], gdzie a i M 1, b i M 2, dla i {1,..., n}. Wówczas: [a 1,b 1 ] k [a n,b n ] kn =(a 1 b 1 a 1

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

12. Wykład 12: Algebraiczne domkniecie ciała. Wielokrotne pierwiastki wielomianów. Rózniczkowanie wielomianów. Elementy rozdzielcze.

Działanie grupy na zbiorze

Wyk lad 4 Warstwy, dzielniki normalne

i=0 a ib k i, k {0,..., n+m}. Przypuśćmy, że wielomian

(6) Homomorfizm φ : P R nazywamy epimorfizmem kategoryjnym, jeśli dla każdego pierścienia. jeśli φ ψ 1 = φ ψ 2, to ψ 1 = ψ 2 ;

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

= b i M i [x], gdy charf = p, to a i jest pierwiastkiem wielomianu x n i

Wykład 4 Udowodnimy teraz, że jeśli U, W są podprzetrzeniami skończenie wymiarowej przestrzeni V to zachodzi wzór: dim(u + W ) = dim U + dim W dim(u

1 Określenie pierścienia

Działanie grupy na zbiorze

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

Wniosek Niech R będzie pierścieniem, niech I R. WówczasI R wtedy i tylko wtedy, gdy I jest jądrem pewnego homomorfizmu.

Algebrę L = (L, Neg, Alt, Kon, Imp) nazywamy algebrą języka logiki zdań. Jest to algebra o typie

Podciała, podciała generowane przez zbiór, rozszerzenia ciał.

n=0 Dla zbioru Cantora prawdziwe są wersje lematu 3.6 oraz lematu 3.8 przy założeniu α = :

Wyk lad 2 Podgrupa grupy

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

System BCD z κ. Adam Slaski na podstawie wykładów, notatek i uwag Pawła Urzyczyna. Semestr letni 2009/10

1. Określenie pierścienia

Zasada indukcji matematycznej

im = (P )={b 2 R : 9a 2 P [b = (a)]} nazywamy obrazem homomorfizmu.

1. Funkcje monotoniczne, wahanie funkcji.

B jest liniowo niezależny V = lin (B) 1. Układ pusty jest bazą przestrzeni trywialnej {θ}. a i v i = i I. b i v i, (a i b i ) v i = θ.

ALGEBRA Z GEOMETRIĄ CIAŁO FUNKCJI WYMIERNYCH

Teoria ciała stałego Cz. I

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

Algebra II Wykład 1. Definicja. Element a pierścienia R nazywamy odwracalnym, jeśli istnieje element b R taki, że ab = 1.

Uzupełnienia dotyczące zbiorów uporządkowanych (3 lutego 2011).

Wyk lad 14 Formy kwadratowe I

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

1 Formy hermitowskie. GAL (Informatyka) Wykład - formy hermitowskie. Paweł Bechler

1 Podobieństwo macierzy

Schemat rekursji. 1 Schemat rekursji dla funkcji jednej zmiennej

Rozszerzenie ciała o pierwiastek wielomianu. Ciało rozkładu wielomianu.

. : a 1,..., a n F. . a n Wówczas (F n, F, +, ) jest przestrzenią liniową, gdzie + oraz są działaniami zdefiniowanymi wzorami:

Wyk lad 7 Baza i wymiar przestrzeni liniowej

Egzamin z logiki i teorii mnogości, rozwiązania zadań

Baza i stopień rozszerzenia.

2. Definicja pochodnej w R n

Wyk lad 5 Grupa ilorazowa, iloczyn prosty, homomorfizm

4. O funkcji uwikłanej 4.1. Twierdzenie. Niech będzie dana funkcja f klasy C 1 na otwartym podzbiorze. ϕ : K(x 0, δ) (y 0 η, y 0 + η), taka że

ALGEBRA LINIOWA Z ELEMENTAMI GEOMETRII ANALITYCZNEJ

Rozdzia l 3. Elementy algebry uniwersalnej

Definicja. Niech pg, q będzie grupą. Wówczas ciąg podgrup grupy G zdefiniowany indukcyjnie wzorami G p0q G,

Wyk lad 9 Przekszta lcenia liniowe i ich zastosowania

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

1. Synteza automatów Moore a i Mealy realizujących zadane przekształcenie 2. Transformacja automatu Moore a w automat Mealy i odwrotnie

Matematyka dyskretna

Aproksymacja diofantyczna

- Dla danego zbioru S zbiór wszystkich jego podzbiorów oznaczany symbolem 2 S.

R k v = 0}. k N. V 0 = ker R k 0

ALGEBRA Z GEOMETRIĄ BAZY PRZESTRZENI WEKTOROWYCH

Algebrą nazywamy strukturę A = (A, {F i : i I }), gdzie A jest zbiorem zwanym uniwersum algebry, zaś F i : A F i

VI. Równania różniczkowe liniowe wyższych rzędów

Korzystając z własności metryki łatwo wykazać, że dla dowolnych x, y, z X zachodzi

1. Struktury zbiorów 2. Miara 3. Miara zewnętrzna 4. Miara Lebesgue a 5. Funkcje mierzalne 6. Całka Lebesgue a. Analiza Rzeczywista.

Matematyka dyskretna

13. Cia la. Rozszerzenia cia l.

Wyk lad 6 Podprzestrzenie przestrzeni liniowych

Topologia zbioru Cantora a obwody logiczne

Algebra liniowa z geometrią. wykład I

Dzia lanie grupy na zbiorze. Twierdzenie Sylowa

O centralizatorach skończonych podgrup

9 Przekształcenia liniowe

Struktury formalne, czyli elementy Teorii Modeli

1. Elementy (abstrakcyjnej) teorii grup

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;

2 Rodziny zbiorów. 2.1 Algebry i σ - algebry zbiorów. M. Beśka, Wstęp do teorii miary, rozdz. 2 11

Wyk lad 14 Cia la i ich w lasności

Wykład 21 Funkcje mierzalne. Kostrukcja i własności całki wzglȩdem miary przeliczalnie addytywnej

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

domykanie relacji, relacja równoważności, rozkłady zbiorów

Rodzinę F złożoną z podzbiorów zbioru X będziemy nazywali ciałem zbiorów, gdy spełnione są dwa następujące warunki.

5. Wykład 5: Grupy proste. Definicja 5.1. Grupę (G, ) nazywamy grupą prostą, gdy G nie zawiera właściwych podgrup normalnych.

(b) Suma skończonej ilości oraz przekrój przeliczalnej ilości zbiorów typu G α

3 Abstrakcyjne kompleksy symplicjalne.

Definicja: alfabetem. słowem długością słowa

Wielomiany jednej zmiennej rzeczywistej algorytmy

0 + 0 = 0, = 1, = 1, = 0.

Iloczyn skalarny. Mirosław Sobolewski. Wydział Matematyki, Informatyki i Mechaniki UW. 10. wykład z algebry liniowej Warszawa, grudzień 2013

A i. i=1. i=1. i=1. i=1. W dalszej części skryptu będziemy mieli najczęściej do czynienia z miarami określonymi na rodzinach, które są σ - algebrami.

Indukcja. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak

Matematyka dyskretna

4. Równania Cauchy ego Riemanna. lim. = c.. dz z=a Zauważmy, że warunkiem równoważnym istnieniu pochodnej jest istnienie liczby c C, takiej że

Teoria miary. WPPT/Matematyka, rok II. Wykład 5

O pewnych związkach teorii modeli z teorią reprezentacji

Twierdzenie spektralne

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

F t+ := s>t. F s = F t.

Wyk lad 9 Baza i wymiar przestrzeni liniowej

Topologia I Wykład 4.

Matematyka dyskretna. 1. Relacje

Zbiory liczbowe widziane oczami topologa

Indukcja matematyczna. Zasada minimum. Zastosowania.

Prawdopodobieństwo i statystyka

ALGEBRA Z GEOMETRIĄ PIERŚCIENIE, CIAŁA I HOMOMORFIZMY

Transkrypt:

5. Wykład 5: Generatory i relacje. Kod genetyczny grupy. Twierdzenie Nielsena-Schreiera. Głównym celem dzisiejszego wykładu jest następujący rezultat: Twierdzenie 5.1 (Nielsena-Schreiera). Podgrupa grupy wolnej jest wolna. Do zgrabnego przeprowadzenia potrzebnego w dowodzie rozumowania potrzebne będzie nam pojęcie kodu genetycznego grupy. Definicja i uwaga 5.1. Niech (G, ) będzie grupą, niech X będzie zbiorem generatorów grupy G, niech F będzie grupą wolną ze zbiorem wolnych generatorów X, an F taką podgrupą normalną, że G = F/N, przy czym izomorfizm ustanowiony jest odwzorowaniem η : G F/N danym wzorem η(g) =[g]n, gdzie symbol [g] oznacza słowo odpowiadające elementowi g. Wówczas jeżeli dla pewnych g 1,...,g n X w grupie G zachodzi równość g k 1 1... gn kn =1 to wtedy [g 1 ] k1... [g n ] kn N. Elementy grupy N nazywamy relacjami grupy G (w alfabecie będącym zbiorem jej generatorów), a o grupie G = F/N mówimy, że jest zadana za pomocą zbioru generatorów X i zbioru relacji N. Niech R będzie minimalnym zbiorem generatorów grupy N. Parę (X, R) nazywamy kodem genetycznym grupy G i piszemy G = gr(x R). Jeżeli obydwa zbiory X i R są skończone, to mówimy, że G jest grupą o skończonym opisie. Przykład: (1) Kodem genetycznym grupy Z 5 jest gr(a [a] 5 ). Podamy tu bez dowodu kilka twierdzeń sygnalizujących możliwe problemy, jakie można napotkać przy wyznaczaniu kodów genetycznych grup: Twierdzenie 5.2 (Neumann a). Istnieją grupy skończenie generowane, które nie są grupami o skończonym opisie. Twierdzenie 5.3 (Nowikowa Bonne a). Nie istnieje algorytm rozstrzygający, czy dwa słowa grupy o skończonym opisie reprezentują element 1. Wniosek 5.1. Nie istnieje algorytm rozstrzygający, czy dwa słowa grupy o skończonym opisie są równoważne. Twierdzenie 5.4 (Nowikowa). Nie istnieje algorytm rozstrzygający, czy dwie grupy o skończonym opisie są izomorficzne. Wracamy teraz do głównego zadania na dzisiejszy wykład. Dowód twierdzenia Nielsena-Schreiera poprzedzimy dwoma lematami. Lemat 5.1. Niech (G, ) będzie grupą, φ : G G endomorfizmem takim, że φ φ = φ. Niech K =kerφ, L =imφ. Wówczas G = KL,K L = {1} oraz K = {gφ(g 1 ):g G}. 17

18 Dowód. Pokażemy najpierw, że G = KL. Inkluzja ( ) jest oczywista, a dla dowodu inkluzji ( ) ustalmy g G. Wówczasg K lub φ(g) L \{1}. Gdy g K, tog KL. Gdy φ(g) =h, h = 1,to φ(g) =φ(φ(g)) = φ(h), więc φ( g )=1, czyli g K, lub g Kh KL, gdyż h L. h h Dalej, pokażemy, że KL = {1}. Tak jak przed chwilą inkluzja ( ) jest oczywista, a dla dowodu inkluzji ( ) ustalmy g K L. Wówczasg = φ(h), h G oraz φ(g) =1.Zatem1=φ(g) =φ(φ(h)) = φ(h). Ale φ(h) =g, więc g =1. Pozostaje pokazać, że K = {gφ(g 1 ):g G}. Dla dowodu inkluzji ( ) ustalmy g G. Wówczas φ(gφ(g 1 )) = φ(g)φ(g 1 )=φ(1) = 1. Na odwrót, dla dowodu inkluzji ( ) ustalmy h K. Niech h = ga, φ(g) =1, a = φ(b), b G. Wówczash = gφ(b), skądhg 1 = φ(b), zatemφ(g 1 )=φ(h)φ(g 1 )= φ(φ(b)) = φ(b) =a. Tak więc h = gφ(g 1 ). Lemat 5.2. Niech (G, ) będzie grupą wolną ze zbiorem wolnych generatorów {g i : i I}, niech J I iech H będzie najmniejszą podgrupą normalną zawierającą zbiór {g j : j J}. Wówczas G/H jest wolna. Dowód. Pokażemy, że G/H = {g i H : i I \ J}. Inkluzja ( ) jest oczywista. Aby pokazać inkluzję ( ) ustalmy gh G/H. Niech g = g k 1...g kn.wówczas gh =(g i1 H) k 1...(g in H) kn {g i H : i I \ J}. Ustalmy dowolną grupę K generowaną przez zbiór równoliczny z I \ J, powiedzmy K = {h i : i I \ J}. Zdefiniujmy odwzorowanie h : G/H K wzorem h(g k 1...g kn H)=h k 1...h kn,,..., I \ J. Bez trudu sprawdzamy, że h jest jedynym takim homomorfizmem, że h(g i )=h i, i I \ J. Tym samym, wobec Twierdzenia 4.1, G/H jest wolna. Definicja 5.1. Niech (G, ) będzie grupą wolną ze zbiorem wolnych generatorów {g i : i I}, niech g G. Wówczas długością słowa g nazywamy liczbę 0, gdy g =1, l(g) = n, gdy g = g e 1,e i { 1, +1}, jest postacią zredukowaną g. Przechodzimy teraz do dowodu twierdzenia Nielsena-Schreiera. Dowód. Niech (G, ) będzie grupą wolną ze zbiorem wolnych generatorów {g i : i I}, niech H będzie podgrupą grupy G, niech W P (H) ={Hg : g G}, oznaczmy przez Hg G jedynego reprezentanta warstwy Hg W P (H) tak, aby {Hg G : Hg W P (H)} był układem reprezentantów wszystkich warstw W P (H). Ponadto dla ustalonego x {g i : i I} oraz Hg G zdefiniujmy element t g,x G: t g,x = Hgx(Hg) 1. Zauważmy, że t g,x H: istotnie, H Hg x = H gx oraz H Hgx = H gx, a więc Hgx(Hg) 1 H. Niech {y g,x : x {g i : i I}, Hg G} będzie zbiorem równolicznym z {t g,x : x {g i : i I}, Hg G} o parami różnych elementach, niech F będzie grupą wolną ze zbiorem wolnych generatorów {y g,x : x {g i : i I}, Hg G}. Dla ustalonej warstwy Hg W P (H) zdefiniujmy funkcję f Hg : {1} {g i : i I} {g 1 i : i I} {y g,x : x {g i : i I}, Hg G} wzorem f Hg (1) = 1,f Hg (x) =y g,x,f Hg (x 1 )=y g,x 1. Pokażemy, że f Hg można przedłużyć do odwzorowania f Hg : G F takiego, że f Hg (u = f Hg (u) f Hgu (.

Dowód prowadzimy przez indukcję ze względu na długość n słowa u. Dla n =0tezajestoczywista. Dla n>1załóżmy, że dla wszystkich Hg W P (H) funkcje f Hg : G F zostały już zdefiniowane dla słów długoście większej niż n. Niech u będzie słowem długośc +1.Wówczasu = x e w, gdzie x {g i : i I}, e { 1, +1} oraz l(w) =n. Niech Ustalmy słowo v iech ponadto w = g e 1 f Hg (u) = f Hg (x e ) f Hgxe (w).... g en, gdzie,..., I, e 1,...,e n { 1, +1}. Wówczas: f Hg (u = f Hg (x e g e 1 = f Hg (x e ) f Hgxe (g e 1 = f Hg (x e ) f Hgxe (g e 1 ) f Hgxe g e 1 (g e 2 i 2 = f Hg (x e g e 1 ) f Hgxe g e 1 (g e 2 i 2. = f Hg (x e g e 1 ) f Hgxe g e 1 i 1 in ( = f Hg (u) f Hgu (. Wobec Twierdzenia 4.1 istnieje dokładnie jeden homomorfizm α : F H taki, że α(y g,x )=t g,x. Pokażemy, że α( f Hg (u)) = Hgu(Hgu) 1. Dowód prowadzimy przez indukcję ze względu na długość n słowa u. Dla n =0teza jest oczywista. Dla n =1ustalmy słowo u = x e, gdzie x {g i : i I}, e { 1, +1} izauważmy,że α( f Hg (x e )) = α(y g,x e)=t g,x e = Hgx e (Hgx e ) 1. Dla n>1 załóżmy, że dla wszystkich Hg W P (H) żądany wzór zachodzi dla słów długoście większej niż n. Niech u będzie słowem długośc +1.Wówczasu = x e w, gdzie x {g i : i I}, e { 1, +1} oraz l(w) =n. Otrzymujemy: α( f Hg (x e w)) = α( f Hg (x e ) f Hgxe (w)) = Hgx e (Hgx e ) 1 Hgx e w(hgx e w) 1 = Hgu(Hgu) 1. Pokażemy, że istnieje homomorfizm β : H F taki, że α β = id H. Zdefiniujmy odwzorowanie β : H F wzorem β(u) = f H (u),u H. Ponieważ f H (u = f H (u) f Hu ( = f H (u) f H (, dla u, v H, więc β jest homomorfizmem. Dalej, ponieważ α(β(u)) = α( f H (u)) = Hu(Hu) 1 =1u1 1 = u dla u H, więc α β = id H. W szczególności widzimy, że α jest surjekcją. Tym samym {t g,x : x {g i : i I}, Hg G} jest zbiorem generatorów grupy H. W dalszym ciągu pokażemy, że gr({y g,x : x {g i : i I}, Hg G} [ f H (Hg)]) jest kodem genetycznym grupy H. Istotnie, ponieważ α jest surjekcją, więc H = F/ker α. Ponieważ {t g,x : x {g i : i I}, Hg G} generuje H i jest równoliczny z {y g,x : x {g i : i I}, Hg G}, więc F jest grupą wolną, której zbiór wolnych generatorów jest zbiorem generatorów grupy H. Zdefiniujmy odwzorowanie φ : F F wzorem φ = β α. 19

20 Oczywiście φ jest homomorfizmem. Zauważmy, że ker φ = kerα; istotnie, dla dowodu inkluzji ( ) ustalmy u ker α i odnotujmy, że wówczas α(u) =1, a więc φ(u) =β(α(u)) = β(1) = 1, więc u ker φ. Na odwrót, dla dowodu inkluzji ( ) ustalmy u ker φ izauważmy,żewówczasφ(u) =β(α(u)) = 1, skąd α(β(α(u))) = α(1) = 1, ale ponieważ α β = id H, więc 1=α(β(α(u))) = α(u), czyli u ker α. Skoro φ φ(u) =β α β α(u) =β id H α(u) =β α(u) =φ(u), więc φ φ = φ. Wobec Lematu 5.1 ker α =kerphi = {y g,x φ(y 1 g,x) :y g,x jest generatorem F }. Zatem gr({y g,x : x {g i : i I}, Hg G} [y g,x φ(yg,x)]) 1 jest kodem genetycznym grupy H. Ponadto φ(y g,x ) = β(α(y g,x )) = β(t g,x )= f H (t g,x )= f H (Hgx(Hgx) 1 ) = f H (Hg) f HHg (x(hgx) 1 )= f H (Hg) f HHg (x) f HHgx ((Hgx) 1 ) Ponieważ = f H (Hg) f Hg (x) f HHgx ((Hgx) 1 )= f H (Hg)y g,xf HHgx ((Hgx) 1 ). 1 = f HHgx (1) = f HHgx ((Hgx) 1 Hgx) = f HHgx ((Hgx) 1 ) f (Hgx) więc f HHgx ((Hgx) 1 )=( f H (Hgx)) 1 istąd = f HHgx ((Hgx) 1 ) f H (Hgx), φ(y g,x )= f H (Hg)y g,x ( f H (Hgx)) 1. Niech N będzie najmniejszą podgrupą normalną grupy F zawierającą zbiór { f H (Hg):Hg G}, niech M będzie najmniejszą podgrupą normalną grupy F zawierającą zbiór {y g,x φ(y 1 g,x) :y g,x jest generatorem F }. Oczywiście f H (Hg) N oraz f H (Hgx) N. Zatem y 1 g,xφ(y g,x )=y 1 g,x f H (Hg)y g,x ( f H (Hgx)) 1 N, więc M N. Zauważmy,że α( f H (Hgx)) = HHgx(HHgx) 1 = Hgx(Hgx) 1 =1, tak więc f H (Hgx) ker α = {y g,x φ(y 1 g,x) :y g,x jest generatorem F }. Zatem f H (Hgx)=φ(y g,x ) f H (Hgx)y 1 g,x = φ(y g,x )y 1 g,x(y g,x f H (Hgx)y 1 g,x) M więc N M. Ostatecznie M = N. Pokażemy, że istnieje układ reprezentantów B warstw W P (H) taki, że jeśli b = g e 1 B jest słowem zredukowanym, to g e 1...g e k i k B dla k {1,...,n}. Niech, dla ustalonego Hg W P (H), l(hg) = min{l(x) :Hx = Hg}. Dowód prowadzimy przez indukcję względem l(hg). Dla l(hg) = 1 stosownym reprezentantem jest 1. Dla l(hg) > 1 załóżmy, że wybraliśmy układ reprezentantów dla wszystkich warstw długoście większej od n = l(hg). Niech l(hz) =n +1 iech Hz = Hux e, gdzie x {g i : i I}, e { 1, +1} oraz l(u) =n. Wówczasl(Hu) n, istnieje więc reprezentant b warstwy Hu taki, że każdy początkowy segment b jest również reprezentantem. Wtedy bx e jest szukanym reprezentantem warstwy Hz = Hux e = Hbx e.

Pokażemy, co zakończy już dowód, że {t b,x : t b,x = 1,x {g i : i I},b B} jest zbiorem wolnych generatorów grupy H. Niech L będzie najmniejszą podgrupą normalną grupy F zawierającą zbiór { f H (b) :b B}, niech K będzie najmniejszą podgrupą normalną grupy F zawierającą zbiór {y b,x : t b,x =1,x {g i : i I},b B}. Wobec wcześniejszej części dowodu, K L. Pokażemy, że dla dowolnego b B f H (b) jest słowem zdefiniowanym przez {y b,x : t b,x =1,x {g i : i I},b B}. Dowód prowadzimy przez indukcję ze względu na długość b. Dla l(b) =0, b =1oraz f H (1) = 1. Dla l(b) > 0 załóżmy, że dla dowolnego słowa b B o długoście większej niż n = l(b), f H (b) jest słowem zdefiniowanym przez {y b,x : t b,x =1,x {g i : i I},b B}. Niech b = ux e B, gdzie x {g i : i I}, e { 1, +1} oraz l(u) =n. Wówczas, zgodnie z definicją zbioru B, u jest reprezentantem pewnej warstwy. Ponadto: f H (b) = f H (ux e )= f H (u) f Hu (x e ). Wobec założenia indukcyjnego f H (u) jest słowem zdefiniowanym przez {y b,x : t b,x =1,x {g i : i I},b B}. Jeśli e =1,to f Hu (x e )= f Hu (x) =y u,x. Ponadto t u,x = α(y u,x )=α( f Hu (x)) = Hux(Hux) 1 = ux(ux) 1 =1. Jeśli e = 1, to ponieważ b = ux e i u B, więc u = Hbx.Mamy: Ponadto f Hu (x e )= f Hu (x 1 )= f HHbx (x 1 )= f Hbx (x 1 )=y bx,x 1. t bx,x 1 = Hbxx 1 (Hbxx 1 ) 1 = Hbxx 1 (Hb) 1 =(Hbx(Hbx) 1 ) 1 =(ux 1 xu 1 ) 1 =1. Zatem L K itymsamyml = K. Wobectego H = F/ker α = F/M = F/N = F/L = F/K przy czym K jest najmniejszą podgrupą normalną zawierającą pewien podzbiór zbioru generatorów grupy F. Wobec Lematu 5.2, H jest wolna. Twierdzenie 5.5 (Kurosza). Niech {G i : i I} będzie rodziną grup, niech G będzie ich iloczynem wolnym, niech H<G. Wówczas H = F H j, gdzie F jest grupą wolną oraz H j jest sprzężona z pewną grupą G i, i I. j J 21