Подільна група — група , така що для будь-яких і рівняння
має розв'язок. Часто група вважається абелевою, а умова записується в адитивній нотації як .
Група називається -подільною ( — просте число), якщо для будь-якого рівняння має розв'язок в .
Приклади
- Група всіх раціональних чисел і всі її факторгрупи, зокрема
- Будь-які циклічні і загалом скінченнопороджені абелеві групи не є подільними.
- Стандартні групи є подільними.
- -примарна квазіциклічна група , тобто група, породжена зліченним набором елементів , які задовольняють умову
- Еквівалентно цю групу можна описати як
- Мультиплікативна група комплексних чисел
- Прикладами некомутативних подільних груп є унітарні групи U(n). Кожна матриця із такої групи є діагоналізовною за допомогою унітарної матриці. Тоді якщо в усіх діагональних елементах взяти корінь довільного цілого степеня одержується унітарна матриця, що є коренем відповідного рівняння. Подібним чином подільними також є спеціальні унітарні групи SU(n) оскільки корені на діагоналі можна завжди обрати так щоб їх добуток був рівним 1.
- Мультиплікативна група кватерніонів теж є некомутативною подільною групою. Зокрема одиничні кватерніони ізоморфні групі:
- Ізоморфізм здійснюється за допомогою:
- Тому результат для кватерніонів є частковим випадком попереднього прикладу.
Властивості подільних груп
- Гомоморфні образи і факторгрупи подільної групи є подільними групами.
- Якщо є гомоморфізмом груп то для елемента елемент є розв'язком рівняння де b є розв'язком рівняння (він існує, оскільки G є подільною).
- Абелева група G є подільною тоді і тільки тоді, коли вона є ін'єктивним об'єктом у категорії абелевих груп, тобто ін'єктивним - модулем. З означення ін'єктивного модуля в термінах теорії груп це означає, що G є подільною тоді і тільки тоді, якщо для довільних абелевих груп і гомоморфізму існує гомоморфізм такий що
- Якщо G не є подільною то існують що рівняння не має розв'язку. Нехай тепер Якщо задати гомоморфізм з U в G, для якого образом n є g, то для будь-якого продовження цього гомоморфізму на H образом 1 має бути елемент, що є розв'язком рівняння Оскільки такого елемента не існує, то і не існує відповідного продовження гомоморфізму і G не є ін'єктивним об'єктом.
- Нехай тепер G є подільною. Розглянемо множину всіх підгруп у H, що містять U і для яких існує гомоморфізм що продовжує гомоморфізм Ця множина непуста оскільки їй належить U. Будь-яка лінійно впорядкована підмножина e має верхню межу, що рівна об'єднанню підгруп. Тоді згідно леми Цорна у існує максимальний елемент H' із гомоморфізмом що продовжує . Припустимо, що H' є власною підгрупою у H і Якщо то можна продовжити на Якщо взявши довільний образ для h. Якщо ж містить елемент nh де n — найменше з таких додатних чисел, то за образ h можна взяти розв'язок рівняння В обох випадках існує продовження на більшу підгрупу, що суперечить максимальності. Отже H' = H і продовження існує на всю групу H. Тобто G є ін'єктивним об'єктом.
- Зауваження. Умова комутативності в даному випадку є важливою. Єдиним ін'єктивним об'єктом категорії груп є одинична група.
- Абелева група є подільною тоді і тільки тоді, коли вона є -подільною при кожному простому .
- Будь-яка пряма сума подільних абелевих груп є подільною групою.
- Кожна подільна підгрупа є прямим доданком групи.
- Кожна абелева група є ізоморфною підгрупі подільної абелевої групи.
- Група є підгрупою подільної групи а тому пряма сума є підгрупою що є подільною групою, як пряма сума подільних груп. Оскільки будь-яка абелева група є факторгрупою деякої то вона є підгрупою деякої факторгрупи що є подільною, як факторгрупа подільної групи.
- Для кожної абелевої групи G існує єдина з точністю до ізоморфізму подільна група вкладення G в яку є істотним мономорфізмом. Ця група називається ін'єктивною оболонкою групи G. Ін'єктивна оболонка є мінімальним елементом за включенням серед подільних груп у які існує вкладення групи G.
- Будь-яка абелева група розкладається в пряму суму , де - подільна група (вона називається подільною частиною групи ), а - редукована група, тобто група, яка не містить ненульових подільних підгруп.
- Якщо є кільцем і подільною групою, то є ін'єктивним -модулем.
Будова подільних груп
Нехай G — подільна група. Тоді підгрупа кручення Tor(G) G є подільною. Оскільки подільна група є ін'єктивним модулем, Tor(G) є прямим доданком G. Тому
Як факторгрупа подільної групи G/Tor(G) є подільною. Також вона є групою без кручень і тому є векторним простором над Q. Тож існує множина I, для якої
Структура підгрупи кручення є складнішою. Для всіх простих чисел p існує множина , для якої
де є p-примарна компонента Tor(G).
Якщо множину простих чисел позначити P, то:
Потужності множин I і Ip для p∈P є однозначно визначеними G.
Див. також
Примітки
Джерела
- [en]. An Introduction to the Theory of Groups. — 4th. — Springer (Graduate Texts in Mathematics), 1994. — 532 с. — .(англ.)
- И. Букур, А. Деляну Введение в теорию категорий и функторов. — М.: Мир, 1972.
- Fuchs, László (1970). Infinite Abelian Groups Vol 1. Academic Press.
- Griffith, Phillip A. (1970). Infinite Abelian group theory. Chicago Lectures in Mathematics. University of Chicago Press. ISBN .
- Kaplansky, Irving (1965). Infinite Abelian Groups. University of Michigan Press.
- Tennison, B. R. (1975), Sheaf theory, Cambridge University Press, MR 0404390
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Podilna grupa grupa G displaystyle G taka sho dlya bud yakih n N displaystyle n in mathbb N i g G displaystyle g in G rivnyannya x n g displaystyle x n g maye rozv yazok Chasto grupa vvazhayetsya abelevoyu a umova zapisuyetsya v aditivnij notaciyi yak n x g displaystyle nx g Grupa A displaystyle A nazivayetsya p displaystyle p podilnoyu p displaystyle p proste chislo yaksho dlya bud yakogo a A displaystyle a in A rivnyannya p x a displaystyle px a maye rozv yazok v A displaystyle A PrikladiGrupa Q displaystyle mathbb Q vsih racionalnih chisel i vsi yiyi faktorgrupi zokrema Q Z displaystyle mathbb Q mathbb Z Bud yaki ciklichni i zagalom skinchennoporodzheni abelevi grupi ne ye podilnimi Standartni grupi Q n R C R n C n displaystyle mathbb Q n mathbb R mathbb C mathbb R n mathbb C n ye podilnimi p displaystyle p primarna kvaziciklichna grupa Z p displaystyle mathbb Z p infty tobto grupa porodzhena zlichennim naborom elementiv a 0 a 1 a n displaystyle a 0 a 1 ldots a n ldots yaki zadovolnyayut umovu p a 0 0 p a 1 a 0 p a n a n 1 displaystyle pa 0 0 pa 1 a 0 ldots pa n a n 1 ldots Ekvivalentno cyu grupu mozhna opisati yak Z 1 p Z displaystyle mathbb Z 1 p mathbb Z dd Multiplikativna grupa kompleksnih chisel C displaystyle mathbb C Prikladami nekomutativnih podilnih grup ye unitarni grupi U n Kozhna matricya iz takoyi grupi ye diagonalizovnoyu za dopomogoyu unitarnoyi matrici Todi yaksho v usih diagonalnih elementah vzyati korin dovilnogo cilogo stepenya oderzhuyetsya unitarna matricya sho ye korenem vidpovidnogo rivnyannya Podibnim chinom podilnimi takozh ye specialni unitarni grupi SU n oskilki koreni na diagonali mozhna zavzhdi obrati tak shob yih dobutok buv rivnim 1 Multiplikativna grupa kvaternioniv H H 0 displaystyle mathbb H times left mathbb H backslash 0 cdot right tezh ye nekomutativnoyu podilnoyu grupoyu Zokrema odinichni kvaternioni izomorfni grupi SU 2 a b b a a b C a 2 b 2 1 displaystyle operatorname SU 2 left begin pmatrix alpha amp overline beta beta amp overline alpha end pmatrix alpha beta in mathbf C alpha 2 beta 2 1 right dd Izomorfizm zdijsnyuyetsya za dopomogoyu 1 1 0 0 1 i i 0 0 i j 0 1 1 0 k 0 i i 0 displaystyle mathbf 1 begin pmatrix 1 amp 0 0 amp 1 end pmatrix quad mathbf i begin pmatrix i amp 0 0 amp i end pmatrix quad mathbf j begin pmatrix 0 amp 1 1 amp 0 end pmatrix quad mathbf k begin pmatrix 0 amp i i amp 0 end pmatrix Tomu rezultat dlya kvaternioniv ye chastkovim vipadkom poperednogo prikladu Vlastivosti podilnih grupGomomorfni obrazi i faktorgrupi podilnoyi grupi ye podilnimi grupami Yaksho ϕ G H displaystyle phi G to H ye gomomorfizmom grup to dlya elementa ϕ a H displaystyle phi a in H element ϕ b displaystyle phi b ye rozv yazkom rivnyannya x n ϕ a displaystyle x n phi a de b ye rozv yazkom rivnyannya x n a displaystyle x n a vin isnuye oskilki G ye podilnoyu dd Abeleva grupa G ye podilnoyu todi i tilki todi koli vona ye in yektivnim ob yektom u kategoriyi abelevih grup tobto in yektivnim Z displaystyle mathbb Z modulem Z oznachennya in yektivnogo modulya v terminah teoriyi grup ce oznachaye sho G ye podilnoyu todi i tilki todi yaksho dlya dovilnih abelevih grup U H displaystyle U subset H i gomomorfizmu ϕ U G displaystyle phi U to G isnuye gomomorfizm ps H G displaystyle psi H to G takij sho ps U ϕ displaystyle psi U phi Yaksho G ne ye podilnoyu to isnuyut n N g G displaystyle n in mathbb N g in G sho rivnyannya n x g displaystyle nx g ne maye rozv yazku Nehaj teper n Z U H Z displaystyle n mathbb Z U subset H mathbb Z Yaksho zadati gomomorfizm z U v G dlya yakogo obrazom n ye g to dlya bud yakogo prodovzhennya cogo gomomorfizmu na H obrazom 1 maye buti element sho ye rozv yazkom rivnyannya n x g displaystyle nx g Oskilki takogo elementa ne isnuye to i ne isnuye vidpovidnogo prodovzhennya gomomorfizmu i G ne ye in yektivnim ob yektom Nehaj teper G ye podilnoyu Rozglyanemo mnozhinu F displaystyle Phi vsih pidgrup u H sho mistyat U i dlya yakih isnuye gomomorfizm sho prodovzhuye gomomorfizm ϕ U G displaystyle phi U to G Cya mnozhina nepusta oskilki yij nalezhit U Bud yaka linijno vporyadkovana pidmnozhina e F displaystyle Phi maye verhnyu mezhu sho rivna ob yednannyu pidgrup Todi zgidno lemi Corna u F displaystyle Phi isnuye maksimalnij element H iz gomomorfizmom ps H G displaystyle psi H to G sho prodovzhuye ϕ displaystyle phi Pripustimo sho H ye vlasnoyu pidgrupoyu u H i h H H displaystyle h in H setminus H Yaksho h H 0 displaystyle langle h rangle cap H 0 to ps displaystyle psi mozhna prodovzhiti na Yaksho H h displaystyle H langle h rangle vzyavshi dovilnij obraz dlya h Yaksho zh h H displaystyle langle h rangle cap H mistit element nh de n najmenshe z takih dodatnih chisel to za obraz h mozhna vzyati rozv yazok rivnyannya x n ps n h displaystyle x n psi nh V oboh vipadkah isnuye prodovzhennya na bilshu pidgrupu sho superechit maksimalnosti Otzhe H H i prodovzhennya isnuye na vsyu grupu H Tobto G ye in yektivnim ob yektom Zauvazhennya Umova komutativnosti v danomu vipadku ye vazhlivoyu Yedinim in yektivnim ob yektom kategoriyi grup ye odinichna grupa dd Abeleva grupa ye podilnoyu todi i tilki todi koli vona ye p displaystyle p podilnoyu pri kozhnomu prostomu p displaystyle p Bud yaka pryama suma podilnih abelevih grup ye podilnoyu grupoyu Kozhna podilna pidgrupa ye pryamim dodankom grupi Kozhna abeleva grupa ye izomorfnoyu pidgrupi podilnoyi abelevoyi grupi Grupa Z displaystyle mathbb Z ye pidgrupoyu podilnoyi grupi Q displaystyle mathbb Q a tomu pryama suma Z i i I displaystyle oplus mathbb Z i i in I ye pidgrupoyu Q i i I displaystyle oplus mathbb Q i i in I sho ye podilnoyu grupoyu yak pryama suma podilnih grup Oskilki bud yaka abeleva grupa ye faktorgrupoyu deyakoyi Z i i I displaystyle oplus mathbb Z i i in I to vona ye pidgrupoyu deyakoyi faktorgrupi Q i i I displaystyle oplus mathbb Q i i in I sho ye podilnoyu yak faktorgrupa podilnoyi grupi dd Dlya kozhnoyi abelevoyi grupi G isnuye yedina z tochnistyu do izomorfizmu podilna grupa vkladennya G v yaku ye istotnim monomorfizmom Cya grupa nazivayetsya in yektivnoyu obolonkoyu grupi G In yektivna obolonka ye minimalnim elementom za vklyuchennyam sered podilnih grup u yaki isnuye vkladennya grupi G Bud yaka abeleva grupa A displaystyle A rozkladayetsya v pryamu sumu A D R displaystyle A D oplus R de D displaystyle D podilna grupa vona nazivayetsya podilnoyu chastinoyu grupi A displaystyle A a R displaystyle R redukovana grupa tobto grupa yaka ne mistit nenulovih podilnih pidgrup Yaksho A displaystyle A ye kilcem i T displaystyle T podilnoyu grupoyu to H o m Z A T displaystyle mathrm Hom mathbf Z A T ye in yektivnim A displaystyle A modulem Budova podilnih grupNehaj G podilna grupa Todi pidgrupa kruchennya Tor G G ye podilnoyu Oskilki podilna grupa ye in yektivnim modulem Tor G ye pryamim dodankom G Tomu G T o r G G T o r G displaystyle G mathrm Tor G oplus G mathrm Tor G Yak faktorgrupa podilnoyi grupi G Tor G ye podilnoyu Takozh vona ye grupoyu bez kruchen i tomu ye vektornim prostorom nad Q Tozh isnuye mnozhina I dlya yakoyi G T o r G i I Q Q I displaystyle G mathrm Tor G oplus i in I mathbb Q mathbb Q I Struktura pidgrupi kruchennya ye skladnishoyu Dlya vsih prostih chisel p isnuye mnozhina I p displaystyle I p dlya yakoyi T o r G p i I p Z p Z p I p displaystyle mathrm Tor G p oplus i in I p mathbb Z p infty mathbb Z p infty I p de T o r G p displaystyle mathrm Tor G p ye p primarna komponenta Tor G Yaksho mnozhinu prostih chisel poznachiti P to G p P Z p I p Q I displaystyle G left bigoplus p in mathbf P mathbb Z p infty I p right oplus mathbb Q I Potuzhnosti mnozhin I i Ip dlya p P ye odnoznachno viznachenimi G Div takozhVilna abeleva grupa In yektivnij modul In yektivnij ob yektPrimitkiKaplansky 1965 Fuchs 1970 Dzherela en An Introduction to the Theory of Groups 4th Springer Graduate Texts in Mathematics 1994 532 s ISBN 978 0387942858 angl I Bukur A Delyanu Vvedenie v teoriyu kategorij i funktorov M Mir 1972 Fuchs Laszlo 1970 Infinite Abelian Groups Vol 1 Academic Press Griffith Phillip A 1970 Infinite Abelian group theory Chicago Lectures in Mathematics University of Chicago Press ISBN 0 226 30870 7 Kaplansky Irving 1965 Infinite Abelian Groups University of Michigan Press Tennison B R 1975 Sheaf theory Cambridge University Press MR 0404390