Endelig p-gruppe
En gruppe kaldes en endelig gruppe
, hvis den har en rækkefølge lig med en potens af et primtal .
Grundlæggende egenskaber for endelige p-grupper
Lad være en endelig -gruppe, så
![P](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a)
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
Nogle klasser af endelige p-grupper
Dette afsnit beskriver definitionerne og egenskaberne for nogle klasser af endelige grupper, som ofte overvejes i den videnskabelige litteratur.
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
p-grupper af maksimal klasse
En endelig gruppe af orden kaldes en gruppe af maksimal klasse, hvis dens nilpotensklasse er lig med .
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
![p^{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6a7a7e74ae90ab94f01e1629177758fb68b423b)
![n-1](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbd0b0f32b28f51962943ee9ede4fb34198a2521)
Hvis er en endelig -gruppe af maksimal klasse, så og .
![P](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a)
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
![{\displaystyle P'=\Phi (P)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d19ab53e0be43f07f696c8f2718e256cde876a6a)
![{\displaystyle |Z(P)|=p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7255ac12c36a1b3d6cdff1f7009dd5a1dc2a9d7)
De eneste 2-grupper af rækkefølge af maksimal klasse er: den dihedrale gruppe , den generaliserede quaternion -gruppe og den semi-dihedrale gruppe .
![2^{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8226f30650ee4fe4e640c6d2798127e80e9c160d)
![{\displaystyle Q_{2^{n))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/540efc6451392bf956927f32327cdb4130a9a408)
![{\displaystyle SD_{2^{n))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83747634ebac2b696594de3cec8dcb8b3a288e05)
I modsætning til 2-grupper er tilfældet med p-grupper af maksimal klasse for p>2 meget mere kompliceret.
p-centrale p-grupper
En endelig -gruppe kaldes -central hvis . Begrebet er i en vis forstand dobbelt til begrebet en magtfuld gruppe.
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
![{\displaystyle \Omega _{1}(P)\leq Z(P)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/696ebe9f93768a57c2c2ee3445bc4a7bf1b22089)
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
Kraftige p-grupper
En endelig gruppe kaldes kraftig hvis for og for . Begrebet er i en vis forstand dobbelt til begrebet -central -gruppe.
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
![{\displaystyle [P,P]\leq P^{p))](https://wikimedia.org/api/rest_v1/media/math/render/svg/20913bfb4a69792900bab14a98d457595b47b80b)
![{\displaystyle p\neq 2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/884d62fa2ca44dc88b2e2020d0921bd7bdcf1d2e)
![{\displaystyle [P,P]\leq P^{4))](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ef94cef6fee3e64fd68d0edcdc4ca9c4fa2f1ad)
![p=2](https://wikimedia.org/api/rest_v1/media/math/render/svg/d62e4100b94c1939c67f2d4b8580d26c78106c44)
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
Almindelige p-grupper
En endelig gruppe kaldes regulær hvis , hvor , gælder for nogen . For eksempel vil alle abelske -grupper være regelmæssige. En gruppe, der ikke er regulær, kaldes irregulær .
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
![P](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a)
![{\displaystyle x,y\in P}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fd3c6b1fd301be815af40ff562fb7a8b55bd99c)
![{\displaystyle (xy)^{p}=x^{p}y^{p}c^{p))](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbf0a00be452d7ed4819dfa21f355d765182bcc3)
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
- Enhver undergruppe og faktorgruppe i en regulær -gruppe er regulær.
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
- En endelig -gruppe er regulær, hvis nogen af dens undergrupper genereret af to elementer er regulær.
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
- En endelig rækkefølge er højst regulær.
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
![{\displaystyle p^{p))](https://wikimedia.org/api/rest_v1/media/math/render/svg/b37a65c3b2111df40755fd0fb5fb38bda690a5f8)
- En endelig gruppe, hvis nilpotensklasse er mindre end regulær. Også alle grupper af nilpotens klasse 2 er regulære for .
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
![p>2](https://wikimedia.org/api/rest_v1/media/math/render/svg/0502012bc3b4e73e6f3c2f4748feaab3fd3c350d)
- Enhver endelig ikke-abelsk 2-gruppe er uregelmæssig.
Finite p-grupper af små ordrer
Antal distinkte -grupper af orden ![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
![p^{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6a7a7e74ae90ab94f01e1629177758fb68b423b)
- Antallet af ikke- isomorfe ordensgrupper er 1: gruppen .
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
![{\displaystyle C_{p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6bc37470431fbf62081b69ba870ad3f855178361)
- Antallet af ikke-isomorfe ordensgrupper er 2: grupper og .
![p^{2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef685027b97072ee63a8c738f395cd40f63767e1)
![{\displaystyle C_{p^{2))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65f7b95e7a2b952f7d635cbe67e3621fdb2d6209)
![{\displaystyle C_{p}\ gange C_{p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9f892e29dd5eeaaadce3e2a6c3ca02fc63077fc)
- Antallet af ikke-isomorfe grupper af orden er 5, hvoraf tre er Abelske grupper: , , og to er ikke-Abelske: for - og ; for p = 2 - , .
![{\displaystyle p^{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ddd72168a6110be2b0bd12486f30b4d40c2d4608)
![{\displaystyle C_{p^{3))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b187e80773c59a254ac20693bd12c1aaa070b95)
![{\displaystyle C_{p^{2}}\ gange C_{p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fd9305f7a17053025445e548d98bc4eb334bcdd)
![{\displaystyle C_{p}\ gange C_{p}\ gange C_{p))](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ccb6097dc1997da634e6a25e96a831e09b83c4b)
![p>2](https://wikimedia.org/api/rest_v1/media/math/render/svg/0502012bc3b4e73e6f3c2f4748feaab3fd3c350d)
![{\displaystyle E_{p^{3}}^{+}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f1f4991dcf7ba79f631d96c943b3c6ff29eef95)
![{\displaystyle E_{p^{3}}^{-}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3777cf847f7a7a57df0845b4cc64cbcdbad6f25)
![D_{4}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d99bbbdaf59e06536c67afbce7c3f681acd1688)
![Q_8](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e87378c5c1811891cbc1e5c334b2c1ba4b84d4d)
- Antallet af ikke-isomorfe ordensgrupper er 15 for , antallet af ordensgrupper er 14.
![{\displaystyle p^{4}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4d25f38cfd691b87f67bbf2a4c2ad98c4893320)
![p>2](https://wikimedia.org/api/rest_v1/media/math/render/svg/0502012bc3b4e73e6f3c2f4748feaab3fd3c350d)
![2^4](https://wikimedia.org/api/rest_v1/media/math/render/svg/8071cc0bacaea4d94c5938e5b77147ed3855d059)
- Antallet af ikke-isomorfe ordensgrupper er lig med for . Antallet af ordregrupper er 51, antallet af ordregrupper er 67.
![{\displaystyle p^{5}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c41d0beb1093a444d327e7ba77ea9570c3ce807)
![{\displaystyle 2p+61+2GCD(p-1,3)+GCD(p-1,4)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c3009621eb5872055e40b1b377af844c96159d0)
![{\displaystyle p\geq 5}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ea5cb36d99c0607a6bd621df42ac05d9e44a0f7)
![2^{5}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37fde9e05093069bd6b0dd86600a77ccf642eb36)
![{\displaystyle 3^{5}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48dc4dc4380eec0009d54200e1b8fb906527d999)
- Antallet af ikke-isomorfe ordensgrupper er lig med for . Antallet af ordregrupper er 267, antallet af ordregrupper er 504.
![{\displaystyle p^{6}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/daa7f3b72cf7b120319047d12f5534d111810900)
![{\displaystyle 3p^{2}+39p+344+24GCD(p-1.3)+11GCD(p-1.4)+2GCD(p-1.5)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91c9171f638905223e8e1714274aaa8614d5ff62)
![{\displaystyle p\geq 5}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ea5cb36d99c0607a6bd621df42ac05d9e44a0f7)
![2^6](https://wikimedia.org/api/rest_v1/media/math/render/svg/558cc35d3c67659a7ed35080c5ae9cf1c8446a1c)
![{\displaystyle 3^{6}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c365f64206c144c9e3e2a5d0a5ca18f567a05cf)
- Antallet af ikke-isomorfe ordensgrupper er lig med for . Antallet af ordregrupper er 2328, antallet af ordregrupper er 9310, antallet af ordregrupper er 34297.
![{\displaystyle p^{7))](https://wikimedia.org/api/rest_v1/media/math/render/svg/884cb26d4817e5a6db394dc7f4666eb10ff0259d)
![{\displaystyle 3p^{5}+12p^{4}+44p^{3}+170p^{2}+707p+2455+(4p^{2}+44p+291)GCD(p-1,3) +(p^{2}+19p+135)GCD(p-1,4)+(3p+31)GCD(p-1,5)+4GCD(p-1,7)+5GCD(p-1, 8)+GCD(p-1,9)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/126a6d234097c96dcd80ef4834628b75178d2a26)
![p>5](https://wikimedia.org/api/rest_v1/media/math/render/svg/5fb33f8b4c924ca75444b148b0746e00f1920935)
![2^7](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef25b4e3395a4475684297f80e210b5f65b0e09a)
![{\displaystyle 3^{7}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09b240fb2eba6a19e58ab8b7ea982b1ca74f5919)
![{\displaystyle 5^{7))](https://wikimedia.org/api/rest_v1/media/math/render/svg/9414f14f66e4798ffa06359215181e6d6505eb7c)
p-grupper af orden , asymptotik ![p^{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6a7a7e74ae90ab94f01e1629177758fb68b423b)
For , antallet af ikke-isomorfe ordensgrupper er asymptotisk lig med .
![n\højrepil\infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/9702f04f2d0e5b887b99faeeffb0c4cfd8263eee)
![p^{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6a7a7e74ae90ab94f01e1629177758fb68b423b)
![{\displaystyle p^{(2/27+O(n^{-1/3}))n^{3))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/97a66ac5f3c48d4ae06f2d566de16e68d0185b04)
Berømte problemer i teorien om endelige p-grupper
Automorfigruppen af en endelig p-gruppe
For grupper , der er automorfier af en endelig gruppe, er der simple øvre grænser, men nedre grænser er meget mere komplicerede. I mere end et halvt århundrede har følgende hypotese stået åben:
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
- Lad være en ikke-cyklisk -gruppe af orden , så .
![P](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a)
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
![{\displaystyle |P|\geq p^{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d5a3be941ef82c5fa6385214326521371bf71a5)
![{\displaystyle |P|\leq |Syl_{p}(Aut(P))|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96df49e994f42d68a62d0cfca58015071f7c0949)
Denne formodning er bekræftet for en stor klasse af -grupper: abelske grupper, højst for alle grupper af ordener , grupper af maksimal klasse. Der er dog endnu ikke fundet en generel tilgang til dette problem.
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
![{\displaystyle p^{7))](https://wikimedia.org/api/rest_v1/media/math/render/svg/884cb26d4817e5a6db394dc7f4666eb10ff0259d)
Higmans hypotese
J. Thompson beviste en velkendt sætning om, at en endelig gruppe med en regulær automorfi af prime orden er nilpotent.
![q](https://wikimedia.org/api/rest_v1/media/math/render/svg/06809d64fa7c817ffc7e323f85997f783dbdf71d)
- Lad en gruppe have en regulær automorfi af prime orden . Så er dens nulpotensklasse .
![P](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a)
![q](https://wikimedia.org/api/rest_v1/media/math/render/svg/06809d64fa7c817ffc7e323f85997f783dbdf71d)
![{\displaystyle cl(P)={\frac {q^{2}-1}{4))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43c0f259280f3d3ea7f871df76913f859abd4014)
Indtil videre er kun meget svagere skøn blevet bevist: (Kostrikin, Kreknin).
![{\displaystyle cl(P)<q^{q))](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a8fba211992843a177eaf22ceeb633abd0b941e)
Svækket Burnside formodning
Burnsides formodning var, at hvis der er en gruppe med generatorer og en periode (det vil sige, at alle dens elementer opfylder relationen ), så er den endelig. Hvis det er tilfældet, angiver vi maksimum af disse grupper med . Så vil alle andre grupper med samme egenskab være dens faktorgrupper. Det er faktisk nemt at vise, at gruppen er en elementær abelsk 2-gruppe. Van der Waerden beviste, at rækkefølgen af en gruppe er . Men som Novikov og Adyan viste, er gruppen uendelig
for og for enhver ulige .![m](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![{\displaystyle x^{n}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8741a3eae6f729b4f1c4273a74c135d23987d5fd)
![{\displaystyle B(m,n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f1a73c7fa714079c1d7d34ac057cc268407d334)
![{\displaystyle B(m,2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/042e6f878de354ea19dbac627ddb25ee60268665)
![{\displaystyle B(m,3)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab3f0d8ccbf09da47601b40916d5613d5f8ae02f)
![{\displaystyle 3^{\frac {m(m^{2}+5)}{6))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e6102904536213e9500bd5e4cc059d3a43c42c3)
![{\displaystyle m\geq 2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eca2e437e89ef4565a87f1a6d90ed37eef1d8ce3)
![{\displaystyle n\geq 4381}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2dbf7d383e82a94debe769690614c35b7a971107)
![{\displaystyle B(m,n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f1a73c7fa714079c1d7d34ac057cc268407d334)
Den svækkede Burnside-formodning siger, at rækkefølgen af endeligt -genererede periodegrupper er afgrænset. Denne formodning blev bevist af Efim Zelmanov . For endelige grupper betyder det, at der kun er endeligt mange grupper af en given eksponent og med et givet antal generatorer.
![m](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
Uregelmæssige p-grupper
Klassificering af uregelmæssige p-grupper af orden .
![{\displaystyle p^{p+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3287bcfd030fe9768402b52aaf0cfb50b46300a)
Litteratur
- Belonogov V. A. Opgavebog om gruppeteori - M .: Nauka , 2000.
- Vinberg E. B. Algebra kursus. - 3. udg. - M . : Factorial Press, 2002. - 544 s. - 3000 eksemplarer. — ISBN 5-88688-060-7 .
- Hall M. Teori om grupper. Forlag for udenlandsk litteratur - M. , 1962.
- Khukhro E.I. Om p-grupper af automorfismer af abelske p-grupper - Algebra i Logika, 39, N 3 (2000), 359-371.
- Berkovich Y. Groups of Prime Power Order, Del I, II, (under forberedelse).
- Berkovich Y., Janko Z. Groups of Prime Power Order, del III, (under forberedelse).
- Gorenstein D. Finite groups - NY: Harper and Row, 1968.
- Huppert B. Endliche Gruppen I. - Berlin; Heidelberg; New York: Springer, 1967.
- Lazard M. Groupes analytiques p-adiques - Publ. Matematik. Inst. Hautes Etud. Sci., 26 (1965), 389-603.
- Lubotzky A., Mann A. Powerful p-groups, I: finite groups, J. Algebra, 105, N2 (1987), 484-505; II: p-adiske analytiske grupper, ibid., 506-515.
- Weigel T. Kombinatoriske egenskaber af p-centrale grupper - Freiburg Univ., 1996, fortryk.
- Weigel T. p-Central groups and Poincare duality - Freiburg Univ., 1996, preprint.
Links