У математиці проскінченною групою називається топологічна група, яка є проєктивною границею скінченних груп. Для них існують узагальнення багатьох властивостей скінченних груп, зокрема теореми Лагранжа і Силова.
Некомпактним узагальненням проскінченних груп є локально проскінченні групи.
Означення
Існує кілька еквівалентних означень проскінченних груп.
Перше означення
Проскінченною групою називається топологічна група, що є ізоморфною проєктивній границі дискретних скінченних груп.
Докладніше для деякої частково впорядкованої множини , множина скінченних груп із дискретними топологіями і гомоморфізмів таких, що є тотожним гомоморфізмом на і виконуються умови композиції , проєктивною границею є множина:
.
На цій множині можна ввести топологію індуковану із добутку топологій, а також структуру групи за допомогою покомпонентного виконання відповідних групових операцій. Із цими структурами є топологічною групою, яка і називається проскінченною групою.
Якщо позначити — проєкції на відповідні компоненти, то для тоді Ці проєкції дозволяють також сформулювати означення проєктивної границі за допомогою універсальної властивості: для множини скінченних груп із гомоморфізмами як вище, проскінченною групою називається група G із гомоморфізмами для яких для і до того ж, якщо H є іншою групою для якої існують гомоморфізми такі, що для , то існує єдиний гомоморфізм для якого
Друге означення
Проскінченною групою називається гаусдорфова, компактна група для одиничного елемента (і відповідно для будь-якого елемента) якої існує база околів який складається із відкрито-замкнутих підмножин.
Більш того еквівалентно можна вимагати щоб база околів складалася лише із відкритих підгруп (вони тоді також будуть замкнутими і отже відкрито-замкнутими підмножи) і навіть із відкритих (і тому також відкрито-замкнутих) нормальних підгруп.
Третє означення
Проскінченна група є гаусдорфовою, компактною і цілком незв'язною топологічною групою, тобто топологічною групою, яка також є простором Стоуна. При такому означенню перше означення можна одержати розглянувши проєктивну границю де є відкритими нормальними підгрупами групи упорядкованими оберненим вкладенням підмножин.
Доведення еквівалентності
(1) -> (2)
Нехай і є двома різними елементами групи G як у першому означенні. Відповідно для деякого і оскільки група є дискретною то одноелементні підгрупи є відкритими підмножинами. Відповідно їх прообрази при проєкції і теж є відкритими і їх перетин є порожнім. Оскільки очевидно і то група G є гаусдорфовою.
Усі групи в означенні є скінченними дискретними, а тому компактними. Відповідно і їх добуток є компактним. Оскільки також є гаусдорфовими, то всі підгрупи G, що є розв'язками рівнянь для є замкнутими. Оскільки проєктивна границя є рівною перетину таких підгруп вона є замкнутою як підмножина добутку і тому компактною, як замкнута підмножина компактного простору.
Також як підпростір добутку просторів G має базу топології виду де всі є відкритими підмножинами і всі вони за винятком скінченної кількості є рівними . Нехай тепер є довільною точкою G і є деякою множиною із базиса, що містить цю точку. Якщо є скінченною множиною індексів для яких то всі і, оскільки всі групи є дискретними і томі всі одноточкові підмножини відкрито-замкнутими, прообрази є відкрито-замкнутими. Тому також їх перетин є відкрито-замкнутою підмножиною і до того ж цей перетин міститься у . Тобто для кожної точки і множини із бази, що містить цю точку знайдено відкрито-замкнутий окіл точки, що міститься у множині бази. Тому відкрито-замкнуті околи точки утворюють базу околів точки. Зрозуміло, що для топологічних груп достатньо розглядати лише околи одиничного елемента e оскільки кожен окіл елемента має вигляд де U — окіл одиничного елемента і цей окіл є відкритим, замкнутим чи відкрито-замкнутим тоді і тільки тоді коли таким є U.
Розглянемо тепер відкрито-замкнуті околи одиничного елемента і доведемо, що кожен такий окіл містить відкриту підгрупу і навіть нормальну підгрупу. Кожна відкрито-замкнута підмножина A є компактною і відкритою, а тому із загальних властивостей топологічних груп випливає існування відкритого околу V одиничного елемента для якого . Якщо позначити , то W є відкритим околом одиничного елемента і . Також і за індукцією для всіх цілих чисел n. Якщо H є групою породженою елементами із W, то , тож H є відкритою підгрупою і що доводить першу частину твердження.
Як відкрита підгрупа у компактній групі H має скінченний індекс і тому скінченну кількість різних груп виду для . Їх перетин буде відкритою нормальною групою, що міститься в H і тому в A.
(2) -> (3)
Оскільки G є компактним простором, то компонента зв'язності точки є перетином всіх відкрито-замкнутих підмножин, що містять цю точку. Також G є гаусдорфовим тому перетин всіх відкритих околів є рівним цій точці. Оскільки за означенням 2 кожен відкритий окіл містить відкрито-замкнутий окіл, то перетин відкрито-замкнутих околів є рівним . Тобто всі компоненти зв'язності є одноточковими і простір є цілком незв'язним.
(3) -> (1)
Оскільки простір є гаусдорфовим, компактним і цілком незв'язним то його одиничний елемент, як компонент зв'язності є рівним перетину всіх відкрито-замкнутих околів і оскільки як і вище кожен відкрито-замкнутий окіл містить відкриту нормальну підгрупу, то перетин всіх таких груп є теж рівним одиничному елементу. Позначимо систему таких підгруп. Оскільки G є компактним простором і усі є відкритими підгрупами, то факторгрупи є скінченними. Введемо на I відношення часткового порядку: якщо і у цьому випадку визначені стандартні гомоморфізми задані як Для таких груп і гомоморфізмів можна ввести проєктивну границю із стандартними проєкціями для яких . Група A буде проскінченною за означенням 1.
Для групи G також існують неперервні гомоморфізми факторизації для яких . Із універсальної властивості проєктивної границі випливає існування неперервного гомоморфізму для якого для всіх i.
f є ін'єктивним гомоморфізмом. Справді одиничний елемент групи A має вигляд і якщо для якогось елемента то для всіх i. Оскільки перетин є рівним одиничному елементу, то
Якщо є якимось елементом A, то всі є замкнутими підмножинами оскільки є відкрито-замкнутими. Для скінченної множини індексів перетин теж є нормальною підгрупою , а тому тобто перетин довільної скінченної кількості множин виду є непорожнім. Із компактності звідси випливає існування Але тоді для всіх i тобто елемент елемента g при гомоморфізмі f. Звідси f є сюр'єктивним.
Загалом f є бієктивним неперервним гомоморфізмом. Але G компактним простором і A є гаусдорфовим, а тому бієктивне неперервне відображення між такими просторами є гомеоморфізмом. Тобто G і A є ізоморфними як топологічні групи і G є проскінченною у першому означенні.
Приклади
- Скінченні групи із дискретною топологією є проскінченними.
- Група p-адичних цілих чисел із операцією додавання є проскінченною (навіть проциклічною). Вона є проєктивною границею скінченних груп де n є натуральними числами і стандартних відображень для . Топологія як проскінченної групи є рівною топології одержаної із p-адичного нормування елементів .
- Група проскінченних цілих чисел є проєктивною границею скінченних груп де і стандартних відображень для . Ця група є добутком усіх груп і є абсолютною групою Галуа для будь-якого скінченного поля.
- У теорії Галуа для нескінченних розширень полів природно виникають групи Галуа, які є проскінченними. А саме, якщо L/K є розширенням Галуа і елементами групи G = Gal(L/K) є автоморфізми поля L, які є тотожними на підгрупі K, то G є проєктивною границею скінченних груп Gal(F/K), де F є підполем L, що містить K і розширення F/K є скінченним розширенням Галуа. Проєктивна границя будується для гомоморфізмів включення Gal(F1/K) → Gal(F2/K), де F2 ⊆ F1. Топологія Gal(L/K) як проскінченної групи називається топологією Круля. Кожна проскінченна група є ізоморфною групі Галуа для деякого поля K але наразі невідомі методи визначення для якого саме поля. Більш того для багатьох полів невідомо які скінченні групи є групами Галуа для якогось розширення K. Не кожна проскінченна група є абсолютною групою Галуа для деякого поля.
Властивості
- Добуток довільної кількості проскінченних груп є проскінченною групою; топологія її як проскінченної групи є рівною. Проєктивна границя оберненої системи проскінченних груп із неперервними гомоморфізмами є проскінченною групою і функтор проєктивної границі є точним на категорії проскінченних груп.
- Кожна замкнута підгрупа проскінченної групи є проскінченною; топологія топологія її як проскінченної групи є рівною фактортопології. Якщо N є замкнутою нормальною підгрупою проскінченної групи G, тоді факторгрупа G/N є проскінченною; топологія її як проскінченної групи є рівною фактортопології.
- Оскільки кожна проскінченна група G є компактною і Гаусдорфовою на G існує міра Хаара.
- Підгрупа проскінченної групи є відкритою якщо і тільки якщо вона є замкнутою і має скінченний індекс.
- Теорема Ніколова — Сегала. У топологічно скінченнопородженій проскінченній групі (тобто проскінченній групі для якої існує щільна скінченно породжена підгрупа) підгрупи скінченного індекса є відкритими.
- Як наслідок із попередньої властивості, якщо φ: G → H є сюрєктивним гомоморфізмом проскінченних груп G і H і G є топологічно скінченнопородженою, то φ є неперервним. Справді, кожна підгрупа H має скінченний індекс, тож її прообраз у G теж має скінченний індекс, отже є відкритою підгрупою.
- Нехай G і H є топологічно скінченнопородженими проскінченними групами, що є ізоморфними як абстрактні групи із ізоморфізмом ι. Тоді ι є бієкцією і неперервним відображенням згідно із попереднім результатом. Аналогічно і ι−1 є неперервним, тож ι є гомеоморфізмом. Таким чином топологія на топологічно скінченнопородженій проскінченній групі повністю визначається її алгебричною структурою.
Проскінченне поповнення
Для довільної групи існує пов'язана проскінченна група , яка називається проскінченним поповненням групи . За означенням вона є проєктивною границею груп , де є нормальними підгрупами у , що мають скінченний індекс (як і вище ці нормальні підгрупи можна частково впорядкувати за включенням із природніми гомоморфізмами між факторгрупами можна одержати систему скінченних груп). Існує натуральний гомоморфізм і образ при цьому є щільним у . Гомоморфізм є ін'єктивним якщо і тільки якщо для групи виконується рівність , де перетин береться для всіх нормальних підгруп скінченного індекса. Для гомоморфізма виконується універсальна властивість: для будь-якої проскінченної групи і гомоморфізму груп існує єдиний неперервний гомоморфізм груп для якого .
Див. також
Література
- Higgins, Philip J. (1974), An Introduction to Topological Groups, London Mathematical Society Lecture Note Series, т. 15, Cambridge University Press, ISBN
- Benjamin Klopsch, Nikolay Nikolov, Christopher Voll (2011). Lectures on Profinite Topics in Group Theory. London Mathematical Society Student Texts. Т. 77. Cambridge University Press. ISBN .
- Luis Ribes; Pavel Zalesskii (2010). Profinite groups. Springer-Verlag. ISBN .
- Stephen S. Shatz (1972). Profinite Groups, Arithmetic, and Geometry. Annals of Mathematics Studies. Т. 67. Princeton University Press. ISBN .
- Waterhouse, William C. (1974), Profinite groups are Galois groups, Proceedings of the American Mathematical Society, American Mathematical Society, 42 (2): 639—640, doi:10.2307/2039560, JSTOR 2039560, Zbl 0281.20031.
- Wilson, John S. (John Stuart) (1998). Profinite groups. Oxford: Clarendon Press. ISBN . OCLC 40658188.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
U matematici proskinchennoyu grupoyu nazivayetsya topologichna grupa yaka ye proyektivnoyu graniceyu skinchennih grup Dlya nih isnuyut uzagalnennya bagatoh vlastivostej skinchennih grup zokrema teoremi Lagranzha i Silova Nekompaktnim uzagalnennyam proskinchennih grup ye lokalno proskinchenni grupi OznachennyaIsnuye kilka ekvivalentnih oznachen proskinchennih grup Pershe oznachennya Proskinchennoyu grupoyu nazivayetsya topologichna grupa sho ye izomorfnoyu proyektivnij granici diskretnih skinchennih grup Dokladnishe dlya deyakoyi chastkovo vporyadkovanoyi mnozhini I displaystyle I leqslant mnozhina skinchennih grup G G i i I displaystyle mathcal G G i i in I iz diskretnimi topologiyami i gomomorfizmiv f i j G j G i i j I i j displaystyle f i j G j to G i mid i j in I i leqslant j takih sho f i i displaystyle f i i ye totozhnim gomomorfizmom na G i displaystyle G i i vikonuyutsya umovi kompoziciyi f i j f j k f i k displaystyle f i j circ f j k f i k proyektivnoyu graniceyu ye mnozhina lim G i g i i I i I G i f i j g j g i dlya all j i displaystyle varprojlim G i left g i i in I in prod i in I G i f i j g j g i text dlya all j geqslant i right Na cij mnozhini mozhna vvesti topologiyu indukovanu iz dobutku topologij a takozh strukturu grupi za dopomogoyu pokomponentnogo vikonannya vidpovidnih grupovih operacij Iz cimi strukturami lim G i displaystyle varprojlim G i ye topologichnoyu grupoyu yaka i nazivayetsya proskinchennoyu grupoyu Yaksho poznachiti p i lim G i G i displaystyle p i varprojlim G i to G i proyekciyi na vidpovidni komponenti to dlya i j displaystyle i leqslant j todi p i f i j p j displaystyle p i f i j circ p j Ci proyekciyi dozvolyayut takozh sformulyuvati oznachennya proyektivnoyi granici za dopomogoyu universalnoyi vlastivosti dlya mnozhini G i i I displaystyle G i i in I skinchennih grup iz gomomorfizmami yak vishe proskinchennoyu grupoyu nazivayetsya grupa G iz gomomorfizmami p i G G i displaystyle p i G to G i dlya yakih p i f i j p j displaystyle p i f i j circ p j dlya i j displaystyle i leqslant j i do togo zh yaksho H ye inshoyu grupoyu dlya yakoyi isnuyut gomomorfizmi h i H G i displaystyle h i H to G i taki sho h i f i j h j displaystyle h i f i j circ h j dlya i j displaystyle i leqslant j to isnuye yedinij gomomorfizm h H G displaystyle h H to G dlya yakogo h i p i h displaystyle h i p i circ h Druge oznachennya Proskinchennoyu grupoyu nazivayetsya gausdorfova kompaktna grupa dlya odinichnogo elementa i vidpovidno dlya bud yakogo elementa yakoyi isnuye baza okoliv yakij skladayetsya iz vidkrito zamknutih pidmnozhin Bilsh togo ekvivalentno mozhna vimagati shob baza okoliv skladalasya lishe iz vidkritih pidgrup voni todi takozh budut zamknutimi i otzhe vidkrito zamknutimi pidmnozhi i navit iz vidkritih i tomu takozh vidkrito zamknutih normalnih pidgrup Tretye oznachennya Proskinchenna grupa ye gausdorfovoyu kompaktnoyu i cilkom nezv yaznoyu topologichnoyu grupoyu tobto topologichnoyu grupoyu yaka takozh ye prostorom Stouna Pri takomu oznachennyu pershe oznachennya mozhna oderzhati rozglyanuvshi proyektivnu granicyu lim G N displaystyle varprojlim G N de N displaystyle N ye vidkritimi normalnimi pidgrupami grupi G displaystyle G uporyadkovanimi obernenim vkladennyam pidmnozhin Dovedennya ekvivalentnosti 1 gt 2 Nehaj a i i I displaystyle a i i in I i b i i I displaystyle b i i in I ye dvoma riznimi elementami grupi G yak u pershomu oznachenni Vidpovidno a j b j displaystyle a j neq b j dlya deyakogo j I displaystyle j in I i oskilki grupa G j displaystyle G j ye diskretnoyu to odnoelementni pidgrupi a j b j G j displaystyle a j b j subset G j ye vidkritimi pidmnozhinami Vidpovidno yih proobrazi pri proyekciyi p j 1 a j displaystyle p j 1 a j i p j 1 b j displaystyle p j 1 b j tezh ye vidkritimi i yih peretin ye porozhnim Oskilki ochevidno a i p j 1 a j displaystyle a i in p j 1 a j i b i p j 1 b j displaystyle b i in p j 1 b j to grupa G ye gausdorfovoyu Usi grupi G i displaystyle G i v oznachenni ye skinchennimi diskretnimi a tomu kompaktnimi Vidpovidno i yih dobutok ye kompaktnim Oskilki G i displaystyle G i takozh ye gausdorfovimi to vsi pidgrupi G sho ye rozv yazkami rivnyan p j f j k p k displaystyle p j f j k circ p k dlya j k displaystyle j leqslant k ye zamknutimi Oskilki proyektivna granicya ye rivnoyu peretinu takih pidgrup vona ye zamknutoyu yak pidmnozhina dobutku G i displaystyle G i i tomu kompaktnoyu yak zamknuta pidmnozhina kompaktnogo prostoru Takozh yak pidprostir dobutku prostoriv G maye bazu topologiyi vidu G i I U i displaystyle G cap prod i in I U i de vsi U i displaystyle U i ye vidkritimi pidmnozhinami G i displaystyle G i i vsi voni za vinyatkom skinchennoyi kilkosti ye rivnimi G i displaystyle G i Nehaj teper a i i I displaystyle a i i in I ye dovilnoyu tochkoyu G i G i I U i displaystyle G cap prod i in I U i ye deyakoyu mnozhinoyu iz bazisa sho mistit cyu tochku Yaksho i 1 i n displaystyle i 1 ldots i n ye skinchennoyu mnozhinoyu indeksiv dlya yakih U i G i displaystyle U i neq G i to vsi a i k U i k displaystyle a i k in U i k i oskilki vsi grupi G i displaystyle G i ye diskretnimi i tomi vsi odnotochkovi pidmnozhini vidkrito zamknutimi proobrazi p i k 1 a i k displaystyle p i k 1 a i k ye vidkrito zamknutimi Tomu takozh yih peretin p i 1 1 a i 1 p i n 1 a i n displaystyle p i 1 1 a i 1 cap ldots cap p i n 1 a i n ye vidkrito zamknutoyu pidmnozhinoyu i do togo zh cej peretin mistitsya u G i I U i displaystyle G cap prod i in I U i Tobto dlya kozhnoyi tochki i mnozhini iz bazi sho mistit cyu tochku znajdeno vidkrito zamknutij okil tochki sho mistitsya u mnozhini bazi Tomu vidkrito zamknuti okoli tochki utvoryuyut bazu okoliv tochki Zrozumilo sho dlya topologichnih grup dostatno rozglyadati lishe okoli odinichnogo elementa e oskilki kozhen okil elementa g G displaystyle g in G maye viglyad g U displaystyle gU de U okil odinichnogo elementa i cej okil ye vidkritim zamknutim chi vidkrito zamknutim todi i tilki todi koli takim ye U Rozglyanemo teper vidkrito zamknuti okoli odinichnogo elementa i dovedemo sho kozhen takij okil mistit vidkritu pidgrupu i navit normalnu pidgrupu Kozhna vidkrito zamknuta pidmnozhina A ye kompaktnoyu i vidkritoyu a tomu iz zagalnih vlastivostej topologichnih grup viplivaye isnuvannya vidkritogo okolu V odinichnogo elementa dlya yakogo V A A displaystyle VA subset A Yaksho poznachiti W V V 1 displaystyle W V cap V 1 to W ye vidkritim okolom odinichnogo elementa i W W 1 displaystyle W W 1 Takozh W A W 1 A A displaystyle WA W 1 A subset A i za indukciyeyu W n A A displaystyle W n A subset A dlya vsih cilih chisel n Yaksho H ye grupoyu porodzhenoyu elementami iz W to H n Z W n A displaystyle H cup n in mathbb Z W n A tozh H ye vidkritoyu pidgrupoyu i H A displaystyle H subset A sho dovodit pershu chastinu tverdzhennya Yak vidkrita pidgrupa u kompaktnij grupi H maye skinchennij indeks i tomu skinchennu kilkist riznih grup vidu g 1 H g displaystyle g 1 Hg dlya g G displaystyle g in G Yih peretin bude vidkritoyu normalnoyu grupoyu sho mistitsya v H i tomu v A 2 gt 3 Oskilki G ye kompaktnim prostorom to komponenta zv yaznosti tochki g G displaystyle g in G ye peretinom vsih vidkrito zamknutih pidmnozhin sho mistyat cyu tochku Takozh G ye gausdorfovim tomu peretin vsih vidkritih okoliv g displaystyle g ye rivnim cij tochci Oskilki za oznachennyam 2 kozhen vidkritij okil mistit vidkrito zamknutij okil to peretin vidkrito zamknutih okoliv ye rivnim g displaystyle g Tobto vsi komponenti zv yaznosti ye odnotochkovimi i prostir ye cilkom nezv yaznim 3 gt 1 Oskilki prostir ye gausdorfovim kompaktnim i cilkom nezv yaznim to jogo odinichnij element yak komponent zv yaznosti ye rivnim peretinu vsih vidkrito zamknutih okoliv i oskilki yak i vishe kozhen vidkrito zamknutij okil mistit vidkritu normalnu pidgrupu to peretin vsih takih grup ye tezh rivnim odinichnomu elementu Poznachimo N i i I displaystyle N i i in I sistemu takih pidgrup Oskilki G ye kompaktnim prostorom i usi N i displaystyle N i ye vidkritimi pidgrupami to faktorgrupi A i G N i i I displaystyle A i G N i i in I ye skinchennimi Vvedemo na I vidnoshennya chastkovogo poryadku i j displaystyle i leqslant j yaksho N j N i displaystyle N j subseteq N i i u comu vipadku viznacheni standartni gomomorfizmi f i j A j A i displaystyle f i j A j to A i zadani yak f i j g N j g N i displaystyle f i j gN j gN i Dlya takih grup i gomomorfizmiv mozhna vvesti proyektivnu granicyu A lim A i displaystyle A varprojlim A i iz standartnimi proyekciyami p i A A i displaystyle p i A to A i dlya yakih p i f i j p j displaystyle p i f i j circ p j Grupa A bude proskinchennoyu za oznachennyam 1 Dlya grupi G takozh isnuyut neperervni gomomorfizmi faktorizaciyi q i G A i displaystyle q i G to A i dlya yakih q i f i j q j displaystyle q i f i j circ q j Iz universalnoyi vlastivosti proyektivnoyi granici viplivaye isnuvannya neperervnogo gomomorfizmu f G H displaystyle f G to H dlya yakogo q i p i f displaystyle q i p i circ f dlya vsih i f ye in yektivnim gomomorfizmom Spravdi odinichnij element grupi A maye viglyad E e N i i I displaystyle E eN i i in I i yaksho dlya yakogos elementa f g E displaystyle f g E to g N i displaystyle g in N i dlya vsih i Oskilki peretin N i displaystyle N i ye rivnim odinichnomu elementu to g i displaystyle g i Yaksho g i N i i I displaystyle g i N i i in I ye yakimos elementom A to vsi g i N i displaystyle g i N i ye zamknutimi pidmnozhinami oskilki N i displaystyle N i ye vidkrito zamknutimi Dlya skinchennoyi mnozhini indeksiv i 1 i n displaystyle i 1 ldots i n peretin i k N i k displaystyle cap i k N i k tezh ye normalnoyu pidgrupoyu N r displaystyle N r a tomu g r N r i k g i k N i k displaystyle g r N r subset cap i k g i k N i k tobto peretin dovilnoyi skinchennoyi kilkosti mnozhin vidu g i N i displaystyle g i N i ye neporozhnim Iz kompaktnosti zvidsi viplivaye isnuvannya g i I g i N i displaystyle g in cap i in I g i N i Ale todi g N i g i N i displaystyle gN i g i N i dlya vsih i tobto element g i N i i I displaystyle g i N i i in I elementa g pri gomomorfizmi f Zvidsi f ye syur yektivnim Zagalom f ye biyektivnim neperervnim gomomorfizmom Ale G kompaktnim prostorom i A ye gausdorfovim a tomu biyektivne neperervne vidobrazhennya mizh takimi prostorami ye gomeomorfizmom Tobto G i A ye izomorfnimi yak topologichni grupi i G ye proskinchennoyu u pershomu oznachenni PrikladiSkinchenni grupi iz diskretnoyu topologiyeyu ye proskinchennimi Grupa p adichnih cilih chisel Z p displaystyle mathbb Z p iz operaciyeyu dodavannya ye proskinchennoyu navit prociklichnoyu Vona ye proyektivnoyu graniceyu skinchennih grup Z p n Z displaystyle mathbb Z p n mathbb Z de n ye naturalnimi chislami i standartnih vidobrazhen Z p n Z Z p m Z displaystyle mathbb Z p n mathbb Z to mathbb Z p m mathbb Z dlya n m displaystyle n geqslant m Topologiya Z p displaystyle mathbb Z p yak proskinchennoyi grupi ye rivnoyu topologiyi oderzhanoyi iz p adichnogo normuvannya elementiv Z p displaystyle mathbb Z p Grupa proskinchennih cilih chisel Z displaystyle widehat mathbb Z ye proyektivnoyu graniceyu skinchennih grup Z n Z displaystyle mathbb Z n mathbb Z de n 1 2 3 displaystyle n 1 2 3 dots i standartnih vidobrazhen Z n Z Z m Z displaystyle mathbb Z n mathbb Z to mathbb Z m mathbb Z dlya m n displaystyle m n Cya grupa ye dobutkom usih grup Z p displaystyle mathbb Z p i ye absolyutnoyu grupoyu Galua dlya bud yakogo skinchennogo polya U teoriyi Galua dlya neskinchennih rozshiren poliv prirodno vinikayut grupi Galua yaki ye proskinchennimi A same yaksho L K ye rozshirennyam Galua i elementami grupi G Gal L K ye avtomorfizmi polya L yaki ye totozhnimi na pidgrupi K to G ye proyektivnoyu graniceyu skinchennih grup Gal F K de F ye pidpolem L sho mistit K i rozshirennya F K ye skinchennim rozshirennyam Galua Proyektivna granicya buduyetsya dlya gomomorfizmiv vklyuchennya Gal F1 K Gal F2 K de F2 F1 Topologiya Gal L K yak proskinchennoyi grupi nazivayetsya topologiyeyu Krulya Kozhna proskinchenna grupa ye izomorfnoyu grupi Galua dlya deyakogo polya K ale narazi nevidomi metodi viznachennya dlya yakogo same polya Bilsh togo dlya bagatoh poliv nevidomo yaki skinchenni grupi ye grupami Galua dlya yakogos rozshirennya K Ne kozhna proskinchenna grupa ye absolyutnoyu grupoyu Galua dlya deyakogo polya VlastivostiDobutok dovilnoyi kilkosti proskinchennih grup ye proskinchennoyu grupoyu topologiya yiyi yak proskinchennoyi grupi ye rivnoyu Proyektivna granicya obernenoyi sistemi proskinchennih grup iz neperervnimi gomomorfizmami ye proskinchennoyu grupoyu i funktor proyektivnoyi granici ye tochnim na kategoriyi proskinchennih grup Kozhna zamknuta pidgrupa proskinchennoyi grupi ye proskinchennoyu topologiya topologiya yiyi yak proskinchennoyi grupi ye rivnoyu faktortopologiyi Yaksho N ye zamknutoyu normalnoyu pidgrupoyu proskinchennoyi grupi G todi faktorgrupa G N ye proskinchennoyu topologiya yiyi yak proskinchennoyi grupi ye rivnoyu faktortopologiyi Oskilki kozhna proskinchenna grupa G ye kompaktnoyu i Gausdorfovoyu na G isnuye mira Haara Pidgrupa proskinchennoyi grupi ye vidkritoyu yaksho i tilki yaksho vona ye zamknutoyu i maye skinchennij indeks Teorema Nikolova Segala U topologichno skinchennoporodzhenij proskinchennij grupi tobto proskinchennij grupi dlya yakoyi isnuye shilna skinchenno porodzhena pidgrupa pidgrupi skinchennogo indeksa ye vidkritimi Yak naslidok iz poperednoyi vlastivosti yaksho f G H ye syuryektivnim gomomorfizmom proskinchennih grup G i H i G ye topologichno skinchennoporodzhenoyu to f ye neperervnim Spravdi kozhna pidgrupa H maye skinchennij indeks tozh yiyi proobraz u G tezh maye skinchennij indeks otzhe ye vidkritoyu pidgrupoyu Nehaj G i H ye topologichno skinchennoporodzhenimi proskinchennimi grupami sho ye izomorfnimi yak abstraktni grupi iz izomorfizmom i Todi i ye biyekciyeyu i neperervnim vidobrazhennyam zgidno iz poperednim rezultatom Analogichno i i 1 ye neperervnim tozh i ye gomeomorfizmom Takim chinom topologiya na topologichno skinchennoporodzhenij proskinchennij grupi povnistyu viznachayetsya yiyi algebrichnoyu strukturoyu Proskinchenne popovnennyaDlya dovilnoyi grupi G displaystyle G isnuye pov yazana proskinchenna grupa G displaystyle widehat G yaka nazivayetsya proskinchennim popovnennyam grupi G displaystyle G Za oznachennyam vona ye proyektivnoyu graniceyu grup G N displaystyle G N de N displaystyle N ye normalnimi pidgrupami u G displaystyle G sho mayut skinchennij indeks yak i vishe ci normalni pidgrupi mozhna chastkovo vporyadkuvati za vklyuchennyam iz prirodnimi gomomorfizmami mizh faktorgrupami mozhna oderzhati sistemu skinchennih grup Isnuye naturalnij gomomorfizm h G G displaystyle eta G rightarrow widehat G i obraz G displaystyle G pri comu ye shilnim u G displaystyle widehat G Gomomorfizm h displaystyle eta ye in yektivnim yaksho i tilki yaksho dlya grupi G displaystyle G vikonuyetsya rivnist N 1 displaystyle bigcap N 1 de peretin beretsya dlya vsih normalnih pidgrup skinchennogo indeksa Dlya gomomorfizma h displaystyle eta vikonuyetsya universalna vlastivist dlya bud yakoyi proskinchennoyi grupi H displaystyle H i gomomorfizmu grup f G H displaystyle f G rightarrow H isnuye yedinij neperervnij gomomorfizm grup g G H displaystyle g widehat G rightarrow H dlya yakogo f g h displaystyle f g eta Div takozhProyektivna granicya Skinchenna grupa Topologichna grupa Zalishkovo skinchenna grupa Lokalno skinchenna grupaLiteraturaHiggins Philip J 1974 An Introduction to Topological Groups London Mathematical Society Lecture Note Series t 15 Cambridge University Press ISBN 0 521 20527 1 Benjamin Klopsch Nikolay Nikolov Christopher Voll 2011 Lectures on Profinite Topics in Group Theory London Mathematical Society Student Texts T 77 Cambridge University Press ISBN 9781107005297 Luis Ribes Pavel Zalesskii 2010 Profinite groups Springer Verlag ISBN 9783642016417 Stephen S Shatz 1972 Profinite Groups Arithmetic and Geometry Annals of Mathematics Studies T 67 Princeton University Press ISBN 9780691080178 Waterhouse William C 1974 Profinite groups are Galois groups Proceedings of the American Mathematical Society American Mathematical Society 42 2 639 640 doi 10 2307 2039560 JSTOR 2039560 Zbl 0281 20031 Wilson John S John Stuart 1998 Profinite groups Oxford Clarendon Press ISBN 9780198500827 OCLC 40658188