P-群のソースを表示

{{distinguish|:en:n-group (category theory)}}
{{DISPLAYTITLE:''p''-群}}
{{Groups}}
[[数学]]の特に[[群論]]において、与えられた[[素数]] ''p'' に対する '''''p''-準素群'''（ピーじゅんそぐん、{{lang-en-short|''p-primary group''}}）あるいは、'''''p''-群'''（ピーぐん、{{lang-en-short|''p''-''group''}}）もしくは'''準素群'''（じゅんそぐん、{{lang-en-short|''primary group''}}）とは、任意の[[元 (数学)|元]]の[[位数 (群論)|位数]]が ''p'' の[[冪乗|冪]]になっているような[[ねじれ群]]をいう。すなわち ''p''-群において、各元 ''g'' は[[非負整数]] ''n'' を適当に選べば ''g'' の ''p<sup>n</sup>''-[[冪乗|乗]]が[[単位元]]に一致する。

[[有限群]]の場合には、それが ''p''-群であることと、その群の[[位数 (群論)|位数]] (つまり元の個数) が ''p'' の冪であることとは同値になる（[[コーシーの定理 (群論)]]より）。以下本項においては有限 ''p''-群に関して述べる。無限[[アーベル群|アーベル]] ''p'' -群の例については[[プリューファー群]]の項を、また無限[[単純群|単純]] ''p'' -群の例については{{仮リンク|タルスキのモンスター群|en|Tarski monster group}}の項を参照。

== 性質 ==
有限 ''p'' -群の構造について、以下のような多くの事実が知られている。

=== ''p''-群の中心は自明でないこと ===
[[類等式]]からすぐに分かる事実のひとつが、非自明な有限 ''p'' -群の[[群の中心|中心]]は[[単位群|自明]]でないことである{{refnest|group=note|より一般に[[冪零群]] ''G'' の非自明な[[正規部分群]] ''N'' は中心 ''Z''(''G'') と非自明に交わる<ref>{{cite book
|last1 = Clement
|first1 = A. E. 
|last2 = Majewicz
|first 2 = S.
|last3 = Zyman
|first3 = M.
|title = The Theory of Nilpotent Groups
|year = 2017
|publisher = Birkhäuser
|quote = Theorem 2.28 (K. A. Hirsch)
|page = {{google books quote|id=HYQ_DwAAQBAJ|page=67|67}}
|isbn = 978-3-319-66211-4
|mr = 3729243
|zbl = 1402.20002
}}</ref>。}}。

この事実を起点として ''p'' -群についての多くの性質が帰納的に導き出される。

たとえば、有限 ''p'' -群 ''G'' の[[真部分群]] ''H'' の[[正規化群]] ''N'' は真に ''H'' を含む。実際、''H'' =''N'' なる部分群 ''N'' が存在すれば中心 ''Z'' は正規化群 ''N'' に含まれ、したがって ''H'' にも含まれるが、このとき ''H''/''Z'' は ''G''/''Z'' における正規化群が ''N''/''Z'' = ''H''/''Z'' に一致する。中心が自明でないことから ''H''/''Z'' は ''H'' より位数の小さな反例であり、無限降下法により矛盾が導かれる。この事実の系として、任意の有限 ''p'' -群は[[冪零群]]であることが分かる。

別の例として、有限 ''p'' -群の任意の[[正規部分群]] ''N'' と中心 ''Z'' との交わりは自明でない。これは ''G'' が ''N'' に共役として作用するときに固定される元を考えればよい。中心に含まれる任意の部分群は正規ゆえ、先の結果から ''p'' -群の任意の極小正規部分群は中心 ''Z'' に含まれ、その位数は ''p'' となる。実際、有限 ''p'' -群の[[半単純成分|ソークル]]は位数 ''p'' の中心元全体からなる ''Z'' の部分群になる。

''G'' が ''p''-群ならば ''G''/''Z'' もまた ''p''-群であり、したがってその中心もまた自明でない。''G''/''Z'' の中心の ''G'' における原像は、[[群の中心|二次の中心]]と呼ばれ、以下同様に繰り返して{{仮リンク|昇中心列|en|upper central series}}が定義される。ソークルに関して先に述べたことを一般化すれば、位数 ''p''<sup>''n''</sup> の有限 ''p''-群は 0 &le; ''i'' &le; ''n'' なる各 ''i'' に対して位数 ''p''<sup>''i''</sup> の正規部分群を含み、また位数 ''p''<sup>''i''</sup> の任意の正規部分群は ''i''-次の中心 ''Z''<sub>''i''</sub> に含まれる。ある正規部分群が ''Z''<sub>''i''</sub> に含まれないならば、その正規部分群と ''Z''<sub>''i''+1</sub> との交わりの位数は ''p''<sup>''i''+1</sup> 以上である。

=== 自己同型 ===
''p''-群の[[自己同型]]群は十分に研究されている。有限''p''-群は自明でない中心を持つことから、[[内部自己同型群]]は自己同型群の真の商群となり、したがって自明でない[[外部自己同型群]]を持つ。''G'' の[[フラッティーニ部分群]]を Φ(''G'') と書けば、''G'' の任意の自己同型は ''G''/Φ(''G'') 上の自己同型を誘導するが、商群''G''/Φ(''G'')は[[基本アーベル群]]となり、その[[自己同型群]]は[[一般線型群]]であるので、非常によく分かっている。 ''G'' の自己同型群からこの一般線型群への写像は[[ウィリアム・バーンサイド|バーンサイド]]によって研究されており、その[[核 (代数学)|核]]は ''p''-群であることが分かっている。

== 例 ==
同じ位数の ''p''-群は必ずしも[[同型]]でない。たとえば[[巡回群]] ''C''<sub>4</sub> と[[クラインの四元群]] ''V''<sub>4</sub> はともに位数 4 の 2-群だが、互いに同型でない。

''p''-群は必ずしも[[アーベル群|可換]]でない。たとえば位数 8 の[[二面体群]] Dih<sub>4</sub> は非可換である。しかし、位数 ''p''<sup>2</sup> の群は必ず可換となる<ref group="note">位数 ''p''<sup>2</sup> の群 ''G'' が可換であることは、''p''-群の中心が自明でないことに注意すれば、非自明な中心元 ''g'' を取って、それがもとの群 ''G'' を生成する場合（つまり ''G'' は巡回群であり、したがって可換）と、そうでない場合は ''g'' は位数 ''p'' の部分群を生成するから ''g'' とその軌道上に無い ''G'' の適当な元 ''h'' で ''G'' が生成される（''p'' より大きい部分群の位数は ''p''<sup>2</sup> であり、それは ''G'' 自身に他ならない）が、''g'' は中心元ゆえ ''h'' とは可換であり、したがって ''G'' は可換となる。前者の場合は ''G'' = ''C''<sub>''p''<sup>2</sup></sub> であり、後者の場合は ''G'' = ''C''<sub>''p''</sub> &times; ''C''<sub>''p''</sub> である。</ref>。

二面体群は[[四元数群]]および[[半二面体群]]とよく似ている面もあるし、まったく似ていない面もある。二面体群、半二面体群、四元数群はいずれも[[冪零群|冪零度最大]] (maximal class) の 2-群を成す。つまりこれらの群の位数は 2<sup>''n''+1</sup> かつ冪零度 (nilpotency class) は ''n'' である。

=== 輪冪 ===
{{see also|対称群#シロー部分群}}
位数 ''p'' の巡回群の[[輪積|輪冪]]は ''p''-群の非常に重要な例を与える。位数 ''p'' の巡回群をここでは ''W''(1) と書くことにし、''W''(''n'') と ''W''(1) との輪積を ''W''(''n'' + 1) として帰納的に定義すれば、''W''(''n'') は[[対称群]] Sym(''p''<sup>''n''</sup>) の[[シロー部分群|シロー ''p''-群]]になる。一般線型群 GL(''n'', '''Q''') の極大 ''p''-部分群は適当な ''W''(''n'') の直積の形に分解される。''W''(''n'') の位数は ''k'' = (''p''<sup>''n''</sup> − 1)/(''p'' − 1) のときの ''p''<sup>''k''</sup> で与えられる。またその冪零度は ''p''<sup>''n''−1</sup> であり、その降中心列、昇中心列および降冪-''p'' 中心列、昇冪-''p'' 中心列はすべて一致する。''W''(''n'') は位数 ''p'' の元で生成されるが、その冪数は ''p''<sup>''n''</sup> である。二番目の群 ''W''(2) はさらに冪零度最大の ''p''-群にもなる。このことはその位数が ''p''<sup>''p''+1</sup> であり冪零度が ''p'' となることから従う。しかし ''W''(2) は[[正則p-群|正則 ''p''-群]]にはならない。位数 ''p''<sup>''p''</sup> の群は常に正則となるから、''W''(2) は正則でない ''p''-群の最小の例にもなっている。

=== 一般二面体群 ===
''p'' = 2 かつ ''n'' = 2 のとき ''W''(''n'') は位数 8 の二面体群であるから、ある意味で ''W''(''n'') は ''n'' = 2 のときには二面体群の一般の素数 ''p'' への一般化を与えていると理解することができる。しかしこれをより大きな ''n'' についての類推とするのは相当でない。それよりはもっと位数 2<sup>''n''</sup> の二面体群と類似の群の族が知られているが、それは ''W''(''n'') よりは構成に手順を要する。まず ζ を [[1の冪根|1 の原始 ''p''-乗根]]となる複素数として、それが生成する[[円分整数環]] '''Z'''[ζ] および 1−ζ の生成する[[素イデアル]] ''P'' を考える。また ''G'' を ''z'' を生成元とする位数 ''p'' の巡回群とする。''z'' が ζ を掛ける操作として作用するときの '''Z'''[ζ] と ''G'' との[[半直積]] ''E''(''p'') を作れば、冪 ''P''<sup>''n''</sup> はいずれも ''E''(''p'') の正規部分群であり、また所期の群の族が ''E''(''p'', ''n'') = ''E''(''p'')/''P''<sup>''n''</sup> で与えられる。この群 ''E''(''p'', ''n'') は位数 ''p''<sup>''n''+1</sup> かつ冪零度 ''n'' であるから、冪零度最大の ''p''-群である。特に ''p'' = 2 のとき ''E''(2, ''n'') は位数 2<sup>''n''</sup> の二面体群になる。奇素数 ''p'' に対して ''W''(2) と ''E''(''p'', ''p'') はともに冪零度最大の非正則群で位数は ''p''<sup>''p''+1</sup> だが、これらは互いに同型ではない。

=== 単三角行列群 ===
同様の一般化として他に基本的な例に一般線型群の[[シロー部分群]]がある。''n''-次元ベクトル空間 ''V'' に基底 {''e''<sub>1</sub>, ''e''<sub>2</sub>, …, ''e''<sub>''n''</sub>} を取り、1 ≤ ''i'' ≤ ''n'' の各 ''i'' について {''e''<sub>''i''</sub>, ''e''<sub>''i''+1</sub>, …, ''e''<sub>''n''</sub>} の張る部分空間を ''V''<sub>''i''</sub> とする。また ''i'' &gt; ''n'' のとき ''V''<sub>''i''</sub> = 0 と定める。各 1 ≤ ''m'' ≤ ''n'' に対して ''V'' の正則線型変換で各 ''V''<sub>''i''</sub> を ''V''<sub>''i''+''m''</sub> へ写すもの全体の成す集合 ''U''<sub>''m''</sub> は Aut(''V'') の部分群を成す。''V'' の係数体が '''Z'''/''p'''''Z''' ならば ''U''<sub>1</sub> は Aut(''V'') = GL(''n'', ''p'') のシロー ''p''-部分群であり、[[降中心列]]の各項はちょうど ''U''<sub>''m''</sub> で与えられる。行列の言葉で書き下せば、 ''U''<sub>''m''</sub> は対角線に全て 1 が並び、その一つとなりが上から ''m'' &minus; 1 個まで 0 が並ぶような上三角行列の全体である。群 ''U''<sub>1</sub> は位数 ''p''<sup>''n''(''n''−1)/2</sup> かつ冪零度 ''n'' で、その冪数は ''p''<sup>''k''</sup> となる。ただし、''k'' は ''n'' の底 ''p'' に対する対数を下回らない最小の整数である。

== ''p''-群の分類 ==
位数の小さな''p''-群の分類としては、以下が知られている。
* 位数 ''p'' の群はただ 1 種類の可換群のみが存在し、それは巡回群 ''C''<sub>''p''</sub> と同型になる。
* 位数 ''p''<sup>''2''</sup> の群はちょうど 2 種類の可換群のみが存在し、それらは ''C''<sub>''p''<sup>2</sup></sub> または ''C''<sub>''p''</sub> × ''C''<sub>''p''</sub> と同型になる。たとえば、位数 4 の 2-群は位数 4 の巡回群 ''C''<sub>4</sub> または位数 2 の巡回群の直積 ''C''<sub>2</sub> × ''C''<sub>2</sub> であるクラインの四元群 ''V''<sub>4</sub> と同型になる。
* 位数 ''p''<sup>''3''</sup> の群は 5 種類あり、そのうちの 3 種類は可換、残りの 2 種類は非可換である。
** 可換なものは ''C''<sub>''p''<sup>3</sup></sub>, ''C''<sub>''p''<sup>2</sup></sub> × ''C''<sub>''p''</sub>, ''C''<sub>''p''</sub> × ''C''<sub>''p''</sub> × ''C''<sub>''p''</sub> と同型になる。
** 非可換なものは ''p'' ≠ 2 のときは ''C''<sub>''p''</sub> × ''C''<sub>''p''</sub> の ''C''<sub>''p''</sub> による[[半直積]]および ''C''<sub>''p''<sup>2</sup></sub> の ''C''<sub>''p''</sub> による半直積として記述できる。前者は ''p''-元体上の単三角行列全体の成す群 UT(3, ''p'') として述べることもでき、[[有限ハイゼンベルク群]]と呼ばれる。''p'' = 2 のときは、これら二種類の半直積はいずれも位数 8 の二面体群 Dih<sub>4</sub> に同型で、その代わりもう一つ[[四元数群]] ''Q''<sub>8</sub> が加わる。
* 位数 ''p''<sup>4</sup> の群は ''p'' ≠ 2 のときちょうど 15 種類、''p'' = 2 のときちょうど 14 種類ある<!-- [Hölder 1893]? -->。
* 位数 ''p''<sup>5</sup> の群はすべて{{仮リンク|累アーベル群|en|Metabelian group}}である<ref name="metabelian">{{cite web | url=http://math.stackexchange.com/q/124010/21498 | title=Every group of order ''p''<sup>5</sup> is metabelian |accessdate=2012-09-17}}</ref>。[[OEIS]]の{{OEIS2C|id=A232105}}も参照。

0 ≤ ''n'' ≤ 4 に対する位数 ''p''<sup>''n''</sup> の群は群論の歴史の初期において分類が完了していたが{{sfn|Burnside|1897|loc=Chapter V, Section 73, 74: Table of groups of order ''p''<sup>2</sup>, ''p''<sup>3</sup>, ''p''<sup>4</sup>}}、''n'' を大きくするにつれて考察すべき群の数が急激に増えるために、従来の方法でこれらの結果の更なる拡張を推し進めることは困難であることは明らかであったにもかかわらず、実際にこれらの結果の ''p''<sup>7</sup> を割る位数の群へ拡張する現代的な研究は既になされている{{sfn|Leedham-Green|McKay|2002|p=214}}。たとえば {{Harv|Hall|Senior|1964}} は ''n'' &le; 6 のときの位数 2<sup>''n''</sup> の群の分類を行っている。

位数による ''p''-群の分類以外の方法として、{{仮リンク|フィリップ・ホール|label=ホール|en|Philip Hall}}は有限 ''p''-群を大きな商と部分群に基づく族へ分解してまとめて扱うための概念として{{仮リンク|群の同質|en|isoclinism of groups}} ({{Lang-en-short|isoclinism}}) を用いる方法を提唱した{{sfn|Hall|1940}}。

まったく異なる分類法として、''p''-群の'''余冪零度''' ({{Lang-en-short|coclass}})、つまり[[組成列]]の長さと冪零度との差を用いるものがある。いわゆる'''余冪零度予想''' ({{Lang-en-short|coclass conjectures}}) は、同じ余冪零度を持つ有限 ''p''-群全体の成す集合は有限個の{{仮リンク|副p群|label=副 ''p''-群|en|pro-p group}}の摂動として記述する。この余冪予想は1980年代に[[リー代数]]および{{仮リンク|多冪p-群|en|powerful p-group|label=多冪 ''p''-群}} に関連する手法を用いて証明された{{sfn|Leedham-Green|McKay|2002}}。

== ''p''-群の遍在性 ==
=== 異なる群の中で多くの部分を占めていること ===
位数 ''p<sup>n</sup>'' の群の同型類の総数は <math>p^{2/27\,n^3+O(n^{8/3})}</math> 程度の増加であり、それらは二段階冪零群によって支配される{{sfn|Sims|1965}}。このように増加が急速であることから、「[[ほとんど (数学)|ほとんどすべて]]の[[有限群]]が 2-群である」という{{仮リンク|数学の都市伝説|en|Mathematical folklore<!-- [[:ja:フォーク定理]] に一方向リンク -->|label=都市伝説}}的な予想がある。その意味は、位数が高々 ''n'' の群の同型類の中に占める 2-群の同型類の個数の割合は ''n'' を無限大に飛ばす極限で 1 になるということである。たとえば位数高々 2000 の群は 49 910 529 484 種類存在するが、そのうちの実に 99% 以上が位数 1024 の 2-群で占められている{{sfn|Besche|Eick|O'Brien|2002}}。

=== 一つの群の中に多く存在すること ===
{{see also|[[コーシーの定理 (群論)|コーシーの定理]]|シローの定理}}
位数が ''p'' で割れる任意の有限群 ''G'' は[[コーシーの定理 (群論)|コーシーの定理]]から得られる位数 ''p'' の元が生成する非自明な ''p''-群を含む。また ''G'' はシロー ''p''-部分群と呼ばれる可能な限り最大の ''p''-群を含む。すなわち |''G''| = ''p''<sup>''k''</sup>''m'' かつ ''p'' は ''m'' を割らないとすれば ''G'' は位数 ''p''<sup>''k''</sup> の部分群 ''P'' を含む。シロー ''p''-部分群は一つではないが全て互いに[[共役]]であり、''G'' の任意の ''p''-部分群は必ずいずれかのシロー ''p''-部分群に含まれる。

== 群の構造論への応用 ==
''p''-群は群の構造を理解するための基本的な道具立てのひとつであり、[[有限単純群の分類]]においてもそのように扱われている。構造としての ''p''-群は部分群としても剰余群としても生じるのだけれども、たとえば部分群としては与えられた ''p'' に対するシロー ''p''-部分群 ''P''（最も位数の大きい ''p''-部分群。一意ではないが全て互いに共役）や[[核 (群論)| ''p''-核]] <math>O_p(G)</math> （唯一の極大正規 ''p''-部分群）などといったようなものがさまざま存在し、また剰余群としては最大剰余 ''p''-群が ''G'' を ''G'' の {{仮リンク|p-残余部分群|en|p-residual subgroup|label= ''p''-残余部分群}} <math>O^p(G)</math> で割って得られる。（異なる素数に対する）これらの部分群の間には関連性があり、{{仮リンク|焦点部分群定理|en|focal subgroup theorem}}などが成り立って、与えられた群の構造のさまざまな側面を決定することができる。

=== 局所構造からの統制 ===
有限群の構造論の多くは、そのいわゆる「局所部分群」（非自明な ''p''-部分群の[[正規化群]]）全体のなす構造へ持ち込むことができる{{sfn|Glauberman|1971}}。

有限群の大きな[[基本アーベル群|基本アーベル部分群]]は[[ファイト・トンプソンの定理]]の証明において出てきたような群の統制に力を発揮する。基本アーベル群のある種の[[群の拡大|中心拡大]]で{{仮リンク|エクストラスペシャル群|en|extra special group}}と呼ばれるものは、[[斜交ベクトル空間]]に作用する群としての構造を記述するのを助ける。

{{仮リンク|リチャード・ブラウアー|en|Richard Brauer|label=ブラウアー}}は、シロー 2-部分群が位数 4 の巡回群二つの直積となるような群を全て分類した。また{{仮リンク|ジョン・ハリス・ウォルター|en|John H. Walter|label=ウォルター}}、{{仮リンク|ダニエル・ゴレンシュタイン|en|Daniel Gorenstein|label=ゴレンシュタイン}}、{{仮リンク|ヘルムート・ブレンダー|de|Helmut Bender|label=ブレンダー}}、[[鈴木通夫|鈴木]]、{{仮リンク|ジョージ・グローバーマン|en|George Glauberman|label=グローバーマン}}などにより、シロー 2-部分群がアーベル群、二面体群、半二面体群、四元数群となるような単純群の分類が行われた。

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{Reflist|group=note}}
=== 出典 ===
{{Reflist|2}}

== 参考文献 ==
{{refbegin}}
*{{Citation | last=Berkovich | first=Yakov | | year=2008 | title=Groups of Prime Power Order | publisher=Walter de Gruyter GmbH | location=Berlin | series=de Gruyter Expositions in Mathematics 46 | volume=1 | mr=2464640 | zbl=1168.20001 | isbn=978-3-1102-0418-6}}
*{{Citation | last1=Berkovich | first1=Yakov | last2=Janko | first2=Zvonimir | year=2008 | title=Groups of Prime Power Order | publisher=Walter de Gruyter GmbH | location=Berlin | series=de Gruyter Expositions in Mathematics 47 | volume=2 | mr=2464640 | zbl=1168.20002 | isbn=978-3-1102-0419-3 | url={{google books|0hdb3gtwdisC|plainurl=yes}}}}
*{{Citation | last1=Berkovich | first1=Yakov | last2=Janko | first2=Zvonimir | date=2011-06-16 | title=Groups of Prime Power Order | publisher=Walter de Gruyter GmbH | location=Berlin | series=de Gruyter Expositions in Mathematics 56 | volume=3 | mr=2814214 | zbl=1229.20001 | isbn=978-3-1102-0717-0}}
*{{Citation | last1=Besche | first1=Hans Ulrich | last2=Eick | first2=Bettina | last3=O'Brien | first3=E. A. | title=A millennium project: constructing small groups | mr=1935567  | year=2002 | journal=International Journal of Algebra and Computation | volume=12 | issue=5 | pages=623–644 | doi=10.1142/S0218196702001115}}
*{{Citation | last1=Burnside | first1=William | title=Theory of Groups of Finite Order | publisher=[[Cambridge University Press]] | year=1897 | url=http://www.gutenberg.org/ebooks/40395}}
*{{Citation | last1=Glauberman | first1=George | title=Finite Simple Groups (Proc. Instructional Conf., Oxford, 1969) | publisher=Academic Press | location=Boston, MA | mr=0352241  | year=1971 | chapter=Global and local properties of finite groups | pages=1–64}}
*{{citation | first1=Marshall, Jr. | last1=Hall | first2=James K. | last2=Senior | title=The groups of order 2<sup>n</sup> (n &le; 6) | publisher=Macmillan | year=1964 | mr=168631  | postscript =. An exhaustive catalog of the 340 non-abelian groups of order dividing 64 with detailed tables of defining relations, constants, and lattice presentations of each group in the notation the text defines. "Of enduring value to those interested in finite groups" (from the preface). | lccn=6416861}}
*{{Citation | last1=Hall | first1=Philip | title=The classification of prime-power groups | url=http://resolver.sub.uni-goettingen.de/purl?GDZPPN00217491X | doi=10.1515/crll.1940.182.130 | mr=0003389  | year=1940 | journal=[[Journal für die reine und angewandte Mathematik]] | issn=0075-4102 | volume=182 | issue=182 | pages=130–141}}
*{{Citation | last1=Leedham-Green | first1=C. R. | last2=McKay | first2=Susan | title=The Structure of Groups of Prime Power Order | publisher=[[オックスフォード大学出版局|Oxford University Press]] | series=London Mathematical Society Monographs. New Series | isbn=978-0-19-853548-5 | mr=1918951  | zbl=1008.20001 | year=2002 | volume=27 | url={{google books|34khoLiyP_QC|plainurl=yes}}}}
*{{Citation | last1=Sims | first1=Charles | title=Enumerating p-groups | mr=0169921  | year=1965 | journal=Proc. London Math. Soc. (3) | volume=15 | pages=151–166 | doi=10.1112/plms/s3-15.1.151}}
{{refend}}

== 関連項目 ==
* {{仮リンク|基本p-群|en|elementary group}}
* {{仮リンク|正則p-群|en|Regular p-group}}<!-- include the power commutator structure -->
* {{仮リンク|プリューファー階数|en|Prüfer rank}}

== 外部リンク ==
* {{MathWorld|title=p-Group|urlname=p-Group|last=Rowland |first=Todd |last2=Weisstein |first2=Eric W. }}
* {{SpringerEOM | title=P-group | id=title=P-group}}

{{DEFAULTSORT:Pくん}}
[[Category:群論]]
[[Category:p-群]]
[[Category:数学に関する記事]]