Galoisova teorie nekonečných rozšíření Radan Kučera, květen 2015 Nechť K/F je algebraické, normální a separabilní rozšíření. I když K/F je nekonečné rozšíření, máme jako u konečných rozšíření grupu Aut(K/F) a můžeme se ptát, jestli její všechny podgrupy odpovídají jednoznačně všem mezitělesům (tedy tělesům M splňujícím F C M C K). Následující příklad ukazuje, že obecně ne. Příklad 1. Nechť F = Q, za těleso K zvolme kompozitum všech kvadratických rozšíření tělesa racionálních čísel, tj. K = Q(y/ä; a G Q) = Q(>/-1, V5,V7,VTl, -..)• Pak Aut(iř/Q) = Aut(V). Libovolný a G Aut(_řř/Q) je určen svými obrazy na \j —\ a ^Jp pro všechna prvočísla p, přitom a(y/—l) = a řr(^/p) = ±-^/p pro každé prvočíslo p. Je tedy a2 = idx- Proto je Aut (Ä") komutativní 2-elementární grupa, tedy vektorový prostor nad tělesem F2 o dvou prvcích. Evidentně je Aut (Ä") nekonečná grupa (z Kummerovy teorie plyne, že jsou-li p±,... ,pn různá prvočísla, pak [Q(\/Pi> • • •, -\/Pn) '■ Q] = 2n), je to tedy nekonečně rozměrný vektorový prostor. Pak množina všech nenulových lineárních zobrazení Aut (Ä") —> ¥2 je nespočetná (zvolíme-li libovolně bázi, pak nenulová lineární zobrazení jednoznačně odpovídají neprázdným podmnožinám báze, protože těleso skalárů má dva prvky). Tato lineární zobrazení jednoznačně odpovídají podgrupám grupy Aut(.řř) indexu 2 (každé odpovídá svému jádru). Proto je těchto pod-grup více než kvadratických rozšíření Q, kterých je jen spočetně mnoho (každé kvadratické rozšíření Q je Galoisovo, tedy cyklické, a protože ±1 G Q, je tvaru Q(y/a) pro nějaké a G Q). Ačkoli každému takovému kvadratickému rozšíření Q odpovídá jednoznačně určená podgrupa grupy Aut (A") indexu 2 a různým rozšířením odpovídají různé podgrupy, naopak to neplatí. Jen spočetně mnoha těmto podgrupám odpovídá rozšíření, kdežto pro nespočetně mnoho podgrup odpovídající rozšíření neexistuje. Cílem následujícího textu je vysvětlit proč; a také ukázat, čím se podgrupy odpovídající rozšířením odlišují od těch ostatních. Poznámka 2. Připomeňme, že topologický prostor je libovolná množina spolu s topologií na ní. Topologie na množině X je libovolný systém podmnožin množiny X, kterým se říká otevřené (v této topologii), splňující: prázdná množina i celá množina X jsou otevřené, průnik libovolných dvou otevřených množin je otevřená množina a sjednocení libovolného systému otevřených množin je otevřená množina. 1 Největší topologií na množině X je tzv. diskrétní topologie, v níž je každá podmnožina množiny X otevřená. Naopak nej menší topologií na množině X je tzv. indiskrétni topologie, v níž jsou otevřené pouze prázdná množina a množina X. Topologii na množině X lze zadat pomocí nějaké její báze (resp. subbáze) otevřených množin, což je libovolný systém otevřených množin takový, že otevřenými množinami v X jsou právě sjednocení libovolně mnoha množin z báze (resp. množin, které jsou průniky konečně mnoha množin ze subbáze). Ze znalosti báze (resp. subbáze) snadno určíme celou topologii: pro libovolnou subbázi tvoří systém všech průniků konečně mnoha množin ze subbáze bázi; celou topologii pak dostaneme jako systém všech sjednocení množin báze. Další možností, jak zadat topologii na množině X, je popsat pro každý bod x E X bázi (resp. subbázi) otevřených okolí bodu x, což je libovolný systém otevřených množin obsahujících bod x takových, že každá otevřená množina obsahující bod x nutně obsahuje i některou množinu z báze otevřených okolí bodu x (resp. průnik některých konečně mnoha množin z subbáze otevřených okolí bodu x). Máme-li pro každý bod dánu bázi (resp. subbázi) otevřených okolí tohoto bodu, jejich sjednocením dostaneme bázi (resp. subbázi) otevřených množin. Topologický prostor X se nazývá Hausdorffuv (neboli T2), jestliže pro každé x, y G X, x 7^ y, existují disjunktní otevřené množiny A, B C X tak, že x G A, y G B. Z libovolného metrického prostoru (X, p) získáme Hausdorffuv topologický prostor na X tak, že za bázi otevřených okolí libovolného bodu x E X zvolíme systém otevřených koulí se středem v bodě x s poloměry libovolně se blížícími nule, například {y G X; p(x,y) < ^}, n G N. Množina A C X se nazývá uzavřená (v této topologii), právě když je její doplněk X — A otevřená množina. Množina A C X se nazývá kompaktní (v této topologii), právě když z libovolného jejího otevřeného pokrytí (tedy z libovolného systému otevřených množin, jejichž sjednocení je A podmnožinou) lze vybrat konečné podpo-krytí. Topologický prostor X se nazývá kompaktní, je-li celá množina X kompaktní. Zobrazení X —> Y mezi topologickými prostory se nazývá spojité, jestliže pro každou otevřenou množinu A C Y je množina C X otevřená. Zobrazení X —> Y mezi topologickými prostory se nazývá homeomorfis-mus (někdy též izomorfismus topologických prostorů), jestliže je / bijektivní a obě zobrazení / i f~ľ jsou spojitá. 2 Je-li X topologický prostor aľCI jeho libovolná podmnožina, můžeme na Y definovat topologii tak, že otevřenými množinami v topologii na Y jsou právě průniky množiny Y postupně se všemi otevřenými množinami na X. Tomuto topologickému prostoru Y se říká podprostor topologického prostoru X. (Jedná se tedy o nejmenší topologii na Y, v níž je zobrazení inkluze Y —> X spojité.) Jsou-li Xi, i E I, topologické prostory, na součinu množin X = YlieIXi definujeme topologii takto: je to nejmenší topologie, v níž jsou všechny projekce 7Tj : X —> Xi spojité. Tomuto topologickému prostoru X pak říkáme součin topologických prostorů Xi, i E I. (Znamená to, že subbází otevřených množin v X je systém množin n^1(A), kde i E I a A C Xi je otevřená množina v topologii prostoru Xi.) Platí Tichonovova věta: Součinem libovolného systému kompaktních topologických prostorů je kompaktní topologický prostor. Podmnožina topologického prostoru se nazývá obojetná, právě když je současně otevřená i uzavřená. Topologický prostor se nazývá souvislý, jestliže jeho jediné obojetné množiny jsou prázdná množina a celý prostor. Podmnožina Y topologického prostoru X se nazývá souvislá, jestliže tvoří v topologii podprostoru (zmiňované výše) souvislý topologický prostor. Jinými slovy: podmnožina Y topologického prostoru X není souvislá, právě když existují otevřené množiny A, B topologického prostoru X takové, že AílY a B C\Y jsou neprázdné disjunktní množiny, jejichž sjednocením je Y. Topologický prostor se nazývá totálně nesouvislý (anglicky totally disconnected), jestliže nemá žádnou alespoň dvouprvkovou souvislou podmnožinu. Topologické prostory, pro jejichž každé dva různé body existuje obojetná množina, která obsahuje právě jeden z nich, se nazývají totálně separované (anglicky totally separated). Každý takový prostor je totálně nesouvislý (opačná implikace však neplatí). Definice 3. Nechť (G, ■) je grupa taková, že její nosná množina je současně topologický prostor. Pak i součin G x G je topologický prostor (s topologií součinu). Jestliže obě zobrazení G —> G, X I y X j 8b GxG —> G, (x,y) x-y, jsou spojitá, říkáme, že G je topologická grupa. Příklad 4. • Libovolná grupa spolu s diskrétni nebo indiskrétni topologií je topologická grupa. • Grupy (IR, +) a (M*,-) vzhledem k obvyklé topologii dané metrikou absolutní hodnoty jsou topologické. 3 • Pro libovolné n G N je (IRn, +) spolu s topologií danou euklidovskou metrikou také topologická grupa. • Grupa (F2, +) spolu s topologií, v níž jsou otevřené právě množiny IF2, {[0]2}, 0, není topologická, protože zobrazení + : F2 x F2 —> F2 není spojité (promyslete si, které podmnožiny jsou v topologickém prostoru F2 x F2 otevřené). Poznámka 5. Nechť (G, ■) je topologická grupa. Zobrazení G x G —> G, (x, y) H> x ■ y, je spojité, a tedy pro každé g E G je posunutí pg: G x G —>• G, pg{x) = g ■ x, spojité. Přitom jde o bijekci, jejíž inverzí je pg-i. Je tedy pg homeomorfismus. Proto lze topologii topologické grupy zadat nějakou bází (resp. subbází) otevřených okolí neutrálního prvku 1 G G. Tvrzení 6. Je-li I množina a pro každé i E I je dána topologická grupa Gi, pak součin grup Y\ieI Gi spolu s topologii součinu tvoři topologickou grupu. Definice 7. Relace ^ na množině I se nazývá předuspořádání, jestliže je reflexivní a tranzitivní. Řekneme, že (J, ^) je usměrněná množina, jestliže ^ je předuspořádání, v němž má každá konečná podmnožina horní závoru, jinými slovy pro každé i,jEl existuje k E I tak, že i ^ k, j ^ k. Definice 8. Nechť (J, ^) je usměrněná množina taková, že pro každé i G / je dána množina G i a pro každá i, j G I,i ^ j, je dáno zobrazení 9?^ : G j —> Gí, přičemž platí • Mi G / : (fa = idGi, • Wi,j,k e I : i^j^k =^ ifij o ipjk = ipik. Pak Gi, i E I, nazveme projektivním (nebo též inverzním) systémem množin. Jeho projektivní (nebo též inverzní) limitou rozumíme \imGi = {x G Y[Gt; Vi, j El: i^j =^ fij(x(j)) = *(*)}• iei Pro každé j E I pak dostáváme projekci 7T,-: lim Gi —> G j (stačí zúžit projekce ze součinu). Tyto projekce zřejmě pro každé i, j E I, i ^ j, tvoří komutativní diagram lim Gi 4 Je-li navíc každé Gi grupa (resp. okruh, resp. topologický prostor, resp. topologická grupa) a je-li každé ip,^ homomorfismus grup (resp. homomorfismus okruhů, resp. spojité zobrazení, resp. spojitý homomorfismus grup), hovoříme o projektivním (nebo též inverzním) systému grup (resp. okruhů, resp. topologických prostorů, resp. topologických grup). Projektivní limita spolu s projekcemi má následující univerzální vlastnost, která ji jednoznačně určuje až na izomorfismus: Tvrzení 9. Nechť Gi, i E I, je projektivní systém množín a nechť je dána množina H a pro každé i E I zobrazení ipi. H —> Gi takové, že pro každé i, j E I, i ^ j, komutuje diagram Pak existuje jediné zobrazení ip: H —> limGj tak, že pro každé j E / komutuje diagram H----limGí Gj Tvrzení 10. Je-li Gi, i E I, projektivní systém grup (resp. okruhů), pak je limGj podgrupou (resp. podokruhem) součinu Y\ieIGi. Příklad 11. • Nechť p je prvočíslo. Zřejmě (N, <) je usměrněná množina. Pro každé i, j E N takové, že i < j, máme jediný homomorfismus okruhů (fij-.lj/pilj —> 'L/p1'!, (platí fij([o]pj) = [o]pi pro každé a G Z). Tyto homomorfismy tvoří projektivní systém okruhů (to plyne okamžitě už z toho, že to jsou jediné homomorfismy mezi uvedenými okruhy). Jako inverzní limitu dostáváme okruh Zp = limZ/p*Z, který se nazývá okruh celých p-adických čísel. • Zřejmě (N, |) je usměrněná množina. Pro každé m, n G N takové, že m I n, máme jediný homomorfismus okruhů ^mn:Z/nZ —y Z/mZ 5 (platí (pmn([a]n) = [a]m pro každé a G Z). Tím opět dostáváme projektivní systém okruhů, jehož inverzní limitou je okruh Z = limZ/mZ. Je možné ukázat, že Z = Yip^pi kde p probíhá všechna prvočísla a Zp je výše zmíněný okruh celých p-adických čísel. Věta 12. Nechi Gi, i E I, je projektivní systém Hausdorffových topologických prostorů. Pak projektivní limita lim Gi je uzavřená podmnožina topologického prostoru WieIGi. Důkaz. Ukážeme, že doplněk riie/^i ~~ lim G i je otevřená množina. Nechť X e Uiei °íi X Í UmGj. Pak existují i, j E j, tak, že fij(x(j)) ŕ *(«)• Protože G i je Hausdorffův, existují disjunktní otevřené množiny U, V C d tak, že x(i) £ U, G j jsou spojité. Proto množiny ^"""({l}), j E I, tvoří subbázi otevřených okolí neutrálního prvku. Protože (J, ^) je usměrněná, pro libovolnou konečnou podmnožinu {«!,..., in} C I existuje j E I tak, že i\ -< j, ..., in -< j. Protože ipikj jsou homomorfismy, je ípikj(l) = 1, a tedy n ^({iKnífíi})- k=l Proto množiny ^"""({l}), j E I, tvoří dokonce bázi otevřených okolí neutrálního prvku. 6 Věta 15. Každá prokonečná grupa je kompaktní. Důkaz. Každý konečný topologický prostor je kompaktní. Z Tichonovovy věty je součin kompaktních prostorů kompaktní. Podle věty 12 je prokonečná grupa uzavřenou podmnožinou v kompaktním prostoru, a tedy kompaktní. Lemma 16. Nechi g je topologická grupa, H otevřená podgrupa grupy g. Pak H je uzavřená (a tedy obojetná) množina. Důkaz. Pro libovolné g G g je levá třída g ■ H obrazem podgrupy H v posunutí pg. Proto je každá levá třída otevřená. Protože levé třídy tvoří rozklad na G a jednou z nich je podgrupa H, je H doplňkem sjednocení ostatních levých tříd. Toto sjednocení otevřených množin je otevřená množina, tedy H je uzavřená. Věta 17. Každá prokonečná grupa je totálně nesouvislá. Důkaz. Nechť tedy g i, i G /, je projektivní systém konečných diskrétních grup, g = limGj jeho projektivní limita. Vzhledem k tomu, že posunutí je homeomorfismus, stačí ukázat, že pro libovolné j £ G, j / 1, existuje obojetná množina obsahující 1 a neobsahující g. Protože g ^ 1, existuje j E I tak, že 7Vj(g) ý 1- ^^d^}) Je otevřená podgrupa grupy g neobsahující g. Stačí užít lemma 16. Pro zajímavost uveďme následující topologickou charakterizaci prokoneč-ných grup. Věta 18. Topologická grupa je prokonečná, právě když je kompaktní a totálně nesouvislá. Důkaz. V případě zájmu lze šestistránkový důkaz nalézt v [1], str. 25-31. Poznámka 19. Nechť K/F je algebraické, normální a separabilní rozšíření. Označme C množinu všech mezitěles L (tj. L je těleso splňující F C L C K) takových, že L/F je konečné a normální. Zřejmě je pro každé L E C také L/F separabilní, a tedy Galoisovo, a máme konečnou Galoisovu grupu Gal (L/F). Navíc je (C, C.) usměrněná množina, neboť pro L1,L2 G £ je také jejich kompozitum LľL2 G C Jsou-li L1,L2 G C, L\ C L2, pak restrikce resL2/Ll : Gal(L2/F) -> Gal^/F) 7 je homomorfismus grup. Grupy Gal(L/F) jsou konečné, jestliže je vezmeme s diskrétní topologií, dostáváme jako inverzní limitu tohoto projektivního systému topologických grup prokonečnou grupu lim Gal(L/F), přičemž L v limitě probíhá usměrněnou množinu C Označme G = Aut(K / F). Pak pro každé L E C máme restrikci resx/L : G —ř Gal(L/F), která je homomorfismem grup. Pro každé L±,L2 E C, L\ C L2, máme komutativní diagram Gal(L2/F) reSL2/Li : Gal(Li/F) Stejně jako v tvrzení 9 tím dostáváme zobrazení p: G —> lim Gal(L/F), ve kterém se a E G zobrazí na prvek, v jehož L-té komponentě je resx/z,(°")- Zřejmě je p homomorfismus grup. Předpokládejme, že existuje a E ker p, o ý id a:- Pak existuje a E K tak, že a (a) 7^ a. Přitom toto a je algebraické nad F (vždyť K/F je algebraické) a jeho minimální polynom / nad F nemá násobné kořeny (vždyť K/F je separabilní) a všechny kořeny / leží v K (vždyť K/F je normální). Proto rozkladové těleso L polynomu / nad F splňuje L C K, a tedy L E C Protože a E ker p, platí resx/z,(°") = idz,-Navíc a E L, a tedy a ý a(a) = (resk/l( lim Gal(L/F) je izomorfismus grup. Protože grupa vpravo je prokonečná, lze izomorfismem p přenést topologii prokonečné grupy na G. Tato topologie na G = Aut(K/F) se nazývá Krullova. Z poznámky 14 dostáváme popis báze otevřených okolí neutrálního prvku idx grupy G. Pro každé L G C je ttl ° P = res^/L? a platí (ttl ° p)_1({id.ř,}) = Aut(K/L). Proto Aut(K/L), L G C, tvoří bázi otevřených okolí neutrálního prvku idx grupy G. Lemma 20. Pro každé L e C platí, že res^/L : G —> Gal(L/F) je surjektivní. Důkaz. Nechť o e Gal(L/F) je libovolné. Označme M. množinu všech uspořádaných dvojic (M, r), kde těleso M splňuje L e M e K a, pro automorfismus r: M —> M platí resM/iX^) = u. Zřejmě (L, a) e M, a tedy M. je neprázdná. Na M. zavedeme uspořádání < takto: (Mi,ri) < (M2,T2), právě když Mi C M2 a resM2/Mi(r2) = ri- Zřejmě libovolná lineárně uspořádaná podmnožina M. má v M. horní závoru. Podle Zornova lemmatu existuje maximální prvek (M0,t0) množiny Ai. Předpokládejme na okamžik, že existuje a e K, a ^ Mq. Označme / minimální polynom prvku a nad F, nechť R je rozkladové těleso polynomu / nad Mq. Automorfismus tq nechává koeficienty polynomu / na místě. Z věty o jednoznačnosti rozkladových těles víme, že existuje automorfismus t\ tělesa R, jehož restrikcí na M0 je r0. Pak (i?,ri) > (M0,r0), spor. Je tedy M0 = K. Důsledek 21. Pro libovolné a e K platí: a e F, pravé když pro každé t e G je r (a) = a. Důkaz. Jeden směr plyne ihned z definice G. Naopak, předpokládejme, že a e K, a ^ F. Pak existuje L e C tak, že a e L. Protože a ^ F, existuje a e Gal(L/F) tak, že a(a) ^ a. Předchozí lemma zaručuje, že a je restrikcí vhodného r G G. 9 Lemma 22. Nechť M je libovolné mezitéleso rozšíření K/F, tj. pro těleso M platí F C M C K. Pak Aut(K / M) je normálni podgrupa grupy G, právě když pro každé r E G platí Aut(K / M) = Aut(K/r(M)). Tato podmínka je splněna, je-li M jF normální rozšíření. Důkaz. Zvolme t E G libovolně, ale pevně. Podle definice je Aut(K/M) množina všech prvků a E G, které splňují a(a) = a pro každé a E M, což je ekvivalentní s tím, že (r o a o r_1)(/3) = (3 pro každé (3 E r (M), tedy s tím, že TOfjoT-1 E Aut(K/r(M)). Je tedy Aut(K/M) normálni podgrupa grupy G, právě když pro každé t E G platí Aut(K/M) = Aut(K/r(M)). Je-li M/F normální rozšíření, pak M s každým prvkem a E M obsahuje všechny kořeny minimálního polynomu / prvku a nad F, tedy pro každé r E G platí r (M) C M a také r-1 (M) C M, tj. M C r (M), dohromady r(M) = M. Důsledek 23. Pro každé L E C platí, že Aut(K/L) je normálni podgrupa grupy G. Důkaz. Z definice L/F je Galoisovo, a tedy normální. Věta 24. Uzavřené podgrupy grupy G v Krullově topologii jsou právě průniky (libovolných systému) otevřených podgrup. Přesněji: je-li H uzavřená podgrupa grupy G, pak platí H = p| HoAut(K/L). Lee Důkaz. Podle lemma 16 je každá otevřená podgrupa také uzavřená. Zřejmě průnik libovolného systému uzavřených podgrup je uzavřená podgrupa. Pro libovolnou podgrupu H grupy G je podle důsledku 23 množina H o Aut(K/L) = {roa; r E H, a E Aut(K/L)} = [j r o Aut(K/L) podgrupou grupy G a také sjednocením otevřených množin, tedy otevřenou podgrupou grupy G. Stačí tedy ukázat, že je-li H uzavřená, platí rovnost uvedená ve znění věty. Jedna inkluze je zřejmá, předpokládejme, že druhá inkluze neplatí, tj. existuje x E C\LejrH o Aut(K/L), x ^ H. Protože H je uzavřená, je G — H otevřená. Bází otevřených okolí bodu x je systém 10 x o Aut(K / L), L E C Existuje tedy L0 E C tak, že x o Aut(_řř/L0) C G — H. Protože x G Cli^H o Aut(K/L), platí také x E H o Aut(K/L0), odkud aro Aut(iř/L0) G (H o Aut(K / L0)) / Aut(K / L0) = {ho Aut(K/L0); h E H}. Existuje tedy h0 E H tak, že x o AutfX/Lo) = h0o Aut(K/L0), tedy h0 E x o Aut(K/L0) E G — H, spor. Nyní už můžeme formulovat zobecnění základní věty Galoisovy teorie na nekonečná algebraická, normální a separabilní rozšíření. Věta 25. Nechť K jF je algebraické, normální a separabilní rozšíření, necht G = Aut(K/F) je topologická grupa s Krullovou topologií. Označme M. množinu všech mezitčles rozšíření K/F (tj. těles M, pro která F C. M C. K) a Tí množinu všech uzavřených podgrup grupy G. Pak zobrazení a: M a(M) = Aut(K/M) pro každé M E M, (5: H ->• M, f3(H) = {x E K; Vo" G H: a (x) = x} pro každou H E H, tvoří dvojici navzájem inverzních bijekcí, přičemž a(Mi) D a(M2) pro každá MUM2 E M, Ml C M2, P(Hi) 3 P{H2) pro každé Hu H2 e H, Hľ C H2. Navíc pro každé M E M. platí M/F je normální rozšíření •<=>- a(M) je normálni podgrupa grupy G, M/F je konečné rozšířeni •<=>- a(M) je otevřená podgrupa grupy G, M/F je konečné rozšíření ==>- \G/a(M)\ = [M : F], M/F je nekonečné rozšířeni ==>- \G/a(M)\ = oo. Důkaz. Zřejmě pro libovolnou H E W, je {x E K; \/a E H: a(x) = x} E M, je tedy (3 dobře definováno. Abychom ukázali, že je dobře definováno i a, pro libovolnou M E M ukažme, že Aut(K/M) je uzavřená podgrupa grupy G. Zřejmě jde o pod-grupu, zbývá ukázat, že je uzavřená. Zvolme libovolně o E G, o ^ Aut(K/M). Pak existuje x E M takové, že o~(x) ^ x. Pro toto x existuje L E C tak, že 11 x E L. Pro každé r G Aut(K/L) platí (a o r) (x) = a (r (x)) = a(x) ^ x, a tedy a o Aut(K/L) je otevřená množina obsahující a, která je disjunktní s Aut(Ä"/M). Proto je G — Aut(K / M) otevřená množina. Ihned z definic je jasné, že zobrazení a i (3 obracejí inkluze. Nechť M G .M je libovolné. Důsledek 21 pro rozšíření K/M tvrdí, že libovolné z E K splňuje z G M, právě když a(z) = z pro každé a G Aut(K/M), tj. právě když z G /3(a(M)). Je proto (3 o a = id^. Ukažme, že také a o /3 = id%. Z definic je vidět, že pro libovolnou H E V, platí H C a(P(H)). Podle věty 24 platí # = p| HoAut(K/L), Lee a tedy = /3( p| # o Aut(iř/L)) D (J /3(ÍT o Aut(K/L)), odkud a(l3(H)) C a^y o Aut(iř/L))) C p| o Aut(K/L)))). Lee Lee Jestliže ukážeme, že o Aut(.řr/L)))) = H o Aut(K/L), průnik vpravo bude roven H a rovnost (a o (3){H) = H bude dokázána. Z definic plyne, že platí H o Aut(K/L) C o Aut(.řr/L)))). Zvolme libovolně, ale pevně o- G a(/3(#o Aut(#/£)))). Pak a G Aut(K/f3(HoAut(K/L))), jinými slovy: o" G G je takové, že pro každé z E K platí, že (1) Mt E H o Aut(K/L): r (z) = z =>■ o-(^) = 2. Potřebujeme ukázat, že a E H o Aut(K/L). Udělejme to sporem, předpokládejme naopak, že a (/ H o Aut{K/L). Restrikce resx/l : G —> Gal(L/F) je homomorfismus, který má jádro Aut(K/L). Kdyby resx/z,(°") £ ľesK/L(H), existovalo by A G H tak, že resx/z,(A) = resx/l(o"), tedy A-1 o a E Aut(K/L), odkud a E H o Aut(K/L). Proto resx/z,(o") ^ vgsk/l{H). Ovšem L/F je konečné Galoisovo rozšíření, přičemž resx/z,(°") £ Gal(L/F) je automorfismus, který nepatří do podgrupy ľesK/L(H) Galoisovy grupy Gal(L/F). Z hlavní věty Galoisovy teorie (pro konečná Galoisova rozšíření) plyne, že v tělese, které odpovídá podgrupě 12 ľesk/l(H), existuje prvek z takový, že (iesx/L( Gal(L/F) tak, že komutuje diagram Gal(L/F) G/ Aut(K/L) kde ttl je projekce na faktorgrupu. Protože Aut(K/M) je podgrupou grupy G, máme rozklad G j Aut(K / M) na levé třídy rozkladu (vzhledem k tomu, že nepředpokládáme, že je M/F normální rozšíření, nemusí být podgrupa Aut(K/M) grupy G normální, a proto nelze hovořit o faktorgrupě, ale pouze o rozkladu). Sestrojíme zobrazení ip: G/Aut(K/L) -> G/Aut(K/M) předpisem 1/1(70 Aut(K/L)) =70 Aut(K/M) pro libovolné 7 G G. Tato definice je korektní, neboť Aut(K/L) C Aut(K/M): jestliže totiž pro nějaké 13 7,5 g G platí 7 o A.ut(K/Ľ) = ô o Aut(K/L), pak r1 o 7 g Aut(K/L) C Aut(iř/M), a tedy 7 o Aut(iř/M) = 5 o Aut(iř/M). Zřejmě je

n. Pak Aut(iř/M) C Aut(K/N), a tedy |G/Aut(iř/M)| > \G/Aut(K/N) \ = [N : F] > n. Má tedy podgrupa a(M) = Aut(K/M) v grupě G nekonečný index. Nechť nakonec je M G .M takové, že a(M) je otevřená podgrupa grupy G. Rozklad G/a(M) je pak otevřené pokrytí kompaktní množiny G disjunktními množinami. Proto existuje jeho konečné podpokrytí. Ovšem vynecháním libovolné z těchto množin už nedostaneme pokrytí. Rozklad G/a(M) tedy má jen konečně mnoho tříd rozkladu, a proto a(M) má konečný index v G. Podle výše dokázaného je rozšíření M/F konečné. Příklad 26. Nechť p je prvočíslo. Označme oo K = (J Q(CP»), n=l kde (pn = cos + «sin ^ je primitivní pn-tá odmocnina z jedné. Zřejmě je K/Q algebraické, normální a separabilní rozšíření. Nechť G = Aut(_řř/Q) je topologická grupa s Kruhovou topologií. Pro každé n G N platí Gal(Q(Cp.)/Q) = (Z/p"Z)x, přičemž třídě [a]pn odpovídá automorfismus tělesa Q(Cp™) určený podmínkou (pn i—y Qn. Proto je G topologická grupa izomorfní (algebraicky a současně topologicky) s projektivní limitou grup (Z/pnZ)x vůči homomorfismům určeným takto: pro každé i, j'• E N, i < j je íp^: (JjjpP'Ľ)^ —y (Z/p*Z)x (platí (pij([a\pj) = [a]pi pro každé a E Z), tedy G = lim(Z/pnZ)x. Snadno je vidět, že tento projektivní systém grup dostáváme z prvního z příkladů 11 nahrazením okruhů jejich grupami jednotek, odkud dostáváme, že tato projektivní limita je grupou jednotek okruhu celých p-adických čísel G = Zx. Příklad 27. Nechť p je liché prvočíslo. Protože pro každé n G N je grupa (Z/pnZ)x cyklická řádu (p— l)pn_1, má jedinou podgrupu řádu p— 1 a vzniklá faktorgrupa je cyklická řádu pn_1. Proto má těleso Q(Cp™) jediné podtěleso stupně pn_1, které označíme Bn-i. Je tedy 5n_i/Q cyklické rozšíření stupně f1-1. Platí Q = 50cBiC52C... 15 Označme K = lj^=1 Bn. Pak K/Q je algebraické, normální a separabilní rozšíření. Přitom restrikce dává pro libovolné i,j; G N, i < j surjektivni homomorfismus grup Gal(53-/Q) -> Gal(5i/Q). Protože Gal(5j/Q) = Z/pnZ, porovnáním s prvním z příkladů 11, v němž okruhy nahradíme jejich aditivními grupami, dostáváme, že platí (algebraicky a současně topologicky) Aut(tf/Q) = (Zp,+). Poznámka 28. Algebraické, normální a separabilní rozšíření iť/F takové, že Aut(K/F) = (Zp,+), se nazývá Zp-rozšíření. V případě, kdy K C C a F je konečné rozšíření Q, jsou tato Zp-rozšíření studována v tzv. Iwasawově teorii. Příklad 29. Nechť p je prvočíslo. Pro libovolné n G N máme konečné těleso Fpn o pn prvcích, přičemž tato tělesa jsou volena tak, že pro každá m, n G N taková, že m | n, platí Fpm C Fp™. Víme, že Galoisova grupa Gal(Fpn/Fp) je cyklická, generována Frobeniovým automorfismem i4ip, tedy Gal(Fpn/Fp) = Z/nZ. Porovnáním s druhým z příkladů 11, v němž okruhy nahradíme jejich aditivními grupami, dostáváme, že pro těleso Fp = {J^=1 Fp™, což je algebraický uzávěr tělesa Fp, platí (algebraicky a současně topologicky) Aut(fyFp) = (Ž,+). Reference [1] D. Ramakrishnan, R. V. Valenza, Fouríer Anály sis on Number Fíelds, Graduate Texts in Mathematics 186, Springer-Verlag, New York, 1999. 16