「$p$群とは？」シローの定理と関連する重要な概念【代数学の基礎シリーズ】群論編 その24

本記事の内容

本記事は、$p$群と呼ばれる群について解説する記事です。

本記事を読むに当たり、位数、可換群、群の中心について知っている必要があるため、以下の記事も合わせてご覧ください。

↓位数の記事

「位数とは？」「剰余類とは？」「商群(剰余群)とは？」【代数学の基礎シリーズ】群論編 その4

...

for-spring.com

2022.10.19

↓可換群の記事

「群とは？」「演算とは？〜例から丁寧に解説！〜【代数学の基礎シリーズ】群論編 その1

...

for-spring.com

2022.10.16

↓群の中心の記事

「正規化(部分)群、中心化群、共役類とは？」【代数学の基礎シリーズ】群論編 その16

...

for-spring.com

2022.11.05

可換群、位数、群の中心の軽い復習

まず、本記事に出現する主な概念を軽く復習します。

可換群

詳しくは、【代数学の基礎シリーズ】群論編 その1を御覧ください。

位数

詳しくは【代数学の基礎シリーズ】群論編 その4を御覧ください。

群の中心

詳しくは【代数学の基礎シリーズ】群論編 その16を御覧ください。

$p$群

本題の$p$群について解説します。

$p$群を一言で。

$p$群を一言で述べれば、

です。
$p$群の$p$は素数の英語表記prime numberのpから来ています。

ほんのちょっとだけシローの定理と$p$群の関係性を述べておきます。

少々ネタバラシですが、この位数が素数のべき乗個であるような群($p$群)は、次回以降解説するシローの定理とも関連して重要です。
なぜ重要かというと、そもそもシローの定理が重要だから、ということなのですが、なぜシローの定理が重要かというと、シローの定理は正規部分群の存在を示すための基本的な武器だからです。

筆者は整数論が専門ではないのですが、整数論視点を導入すると、素数というのは誠に興味深い対象です。
例えば、素因数分解定理のように、任意の整数は素数のべき乗の積で一意的に書ける、など整数の表現方法として誠に優秀です。

$p$群の数学的な説明と例

例えば、どんなのが$p$群なのかというと、最も基本的な例は$\mathbb{Z}/{p^n\mathbb{Z}}$($n>0$は整数)だと思います。
実際、
$$\mathbb{Z}/{p^n\mathbb{Z}}=\left\{\overline{0},\overline{1},\dots,\overline{p^n-2},\overline{p^n-1}\right\}$$
ですから、$\mathbb{Z}/{p^n\mathbb{Z}}$の要素の数は$p^n$個、すなわち$\left|\mathbb{Z}/{p^n\mathbb{Z}}\right|=p^n$となるからです。
このような形の群の有限この直積も$p$群です。

二面体群のなかにも$p$群があります。
ちなみに二面体群とは

です。
例えば、$D_4=\left\{g\in O(4)\middle| gP_4=P_4\right\}$ですから、$\left|D_4\right|=8=2^3$なので、$D_4$は$p$群です。

$p$群が満たす基本的な性質

$p$群が満たす基本的な性質を2つ解説します。

命題1.の証明

$p$を素数として、$\left|G\right|=p^e>0$とします。
類等式は、$x$が共役類の完全代表系の要素を表すとすれば、$C(x)$を$x$の共役類とするとき
$$\left|G\right|=p^e=\sum C(x)$$
という形をしています。
しかし、右辺には必ず$1$が現れます。
ここで、以下の事実を使います。

定理2.の証明および類等式については【代数学の基礎シリーズ】群論編 その17を御覧ください。

もし、${\rm Z}(G)=\left\{1_G\right\}$であれば、定理2.の1.から右辺には$1$が$1$回しか現れません。
$\left|C(x)\right|$は$p^e$の約数なので、$\left|C(x)\right|\neq1$なら$\left|C(x)\right|$は$p$の倍数です。
故に、$p^e=1+p$の倍数の和という形になるため、矛盾です。
したがって、${\rm Z}(G)\neq\left\{1_G\right\}$です。

命題1.の証明終わり

この命題1.から、$p$群はベキ零群であることがわかります。

命題2.の証明

そもそも、$H\subset G$を群$G$の部分群とするとき、
$${\rm Z}_G(H)=\left\{g\in G\middle|\forall h\in H,\ gh=hg\right\}$$
だったわけで、
$${\rm Z}(G)={\rm Z}_G(G)=\left\{g\in G\middle|\forall h\in G,\ gh=hg\right\}$$
だから、${\rm Z}(G)$は可換群です。
そこで、${\rm Z}(G)\neq G$として矛盾を導きます。

命題1.から、${\rm Z}(G)\neq\left\{1_G\right\}$であり、$\left|{\rm Z}(G)\right|$は$\left|G\right|=p^2$の約数なので、$\left|{\rm Z}(G)\right|=p$です。
$x\not\in {\rm Z}(G)$を取ります。
${\rm Z}(G)\subset {\rm Z}_G(x)$ですが、$x$は自分自身と可換ですから、$x\in {\rm Z}_G(x)$です。
したがって、${\rm Z}_G(x)$は${\rm Z}(G)$よりも真に大きい集合です。
故に、$\left|{\rm Z}_G(x)\right|>p$です。
$\left|{\rm Z}_G(x)\right|$は$p^2$の約数なので、$\left|{\rm Z}_G(x)\right|=p^2$、つまり${\rm Z}_G(x)=G$となります。
これは、$x\in {\rm Z}(G)$となることを意味していますので、$x\not\in {\rm Z}(G)$とした仮定に矛盾です。

命題2.の証明終わり

皆様のコメントを下さい！

今回は円積問題です。

円積問題とは、

実は、この円積問題は不可能であることが示されています。
要するに、与えられた円と同じ面積の正方形は定規とコンパスで作図できないということです。
この円積問題を最終的に否定的に解決したのは、ドイツの数学者リンデマン(Carl Louis Ferdinand von Lindemann)です。

しかし、紀元前には「与えられた円と同じ面積の正方形を定規とコンパスのみを用いて作図できる」と主張したアンティポンという人がいました。
その人の解答が次です。

もちろん、このアンティポンの解答は間違っているわけですが、この論法はどこがおかしいでしょうか。
是非コメントをお待ちしています。

結

今回は$p$群について解説しました。
$p$群とは、位数、すなわち要素の個数が素数のべき乗であるような有限群のことを指します。
$p$群は、次回以降解説するシローの定理に関わってきます。
シローの定理は正規部分群の存在を示すための基本的な武器です。

次回は、シローの定理を証明するための準備をします。

乞うご期待！
質問、コメントなどお待ちしております！
どんな些細なことでも構いませんし、「定理〇〇の△△が分からない！」などいただければ全てお答えします！
お問い合わせの内容にもよりますが、ご質問はおおよそ３日以内にお答えします。
もし直ちに回答が欲しければその旨もコメントでお知らせください。直ちに対応いたします。