「正四面体群は4次交代群と同型」【代数学の基礎シリーズ】群論編 その46

本記事の内容

本記事は、「正四面体群は4次交代群と同型」であることを解説する記事です。

本記事を読むにあたり、交代群、正多面体群について知っている必要があるため、以下の記事も合わせてご覧ください。

↓交代群の記事

「位数が12の群の分類①」【代数学の基礎シリーズ】群論編 その32

...

for-spring.com

2022.11.30

↓正多面体群の記事

「なぜ正多面体は5つだけなのか？」「正多面体群とは？」【代数学の基礎シリーズ】群論編 その44

...

for-spring.com

2022.12.19

軽い復習

交代群

一言で述べれば、

です。
$\sigma$を置換とし、${\rm sgn}(\sigma)$を$\sigma$の符号とすると、${\rm sgn}$は$\mathcal{G}_n$から$\left\{\pm1\right\}$への準同型写像となります。
$A_n={\rm Ker}({\rm sgn})$(準同型写像$\varphi$の核${\rm Ker}(\varphi)$は正規部分群でしたね)と書き、$A_n$のことを$n$次交代群といいます。

正多面体群

正多面体群を一言で表すと、

です。
ここで注意なのが、正多面体群の要素は正多面体ではないということです。
筆者だけかも知れませんが「正多面体群」という字面を見ると「正多面体自体が群になるのかな？」と思うかもしれません。
しかし違います。
あくまで正多面体をその同じ正多面体に写すような変換(写像)が要素です。

正八面体の各辺の中点を結ぶと立方体になります。
また、正二十面体の各辺の中点を結ぶと正十二面体になります。
したがって、正八面体群と立方体群は同型で、正二十面体群と正十二面体群は同型です。
正四面体群、正八面体群、正二十面体群をそれぞれ${\rm T},\ {\rm O},\ {\rm I}$(tetrahedron、octahedron、icosahedronの頭文字)と書きます。

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

正四面体群は4次交代群と同型

主張を明示します。

証明に入る前に少し補足します。
$n$次交代群は$n$次対称群(置換群)の偶置換のみを集めた集合とも言えますので、この主張は「正四面体の頂点を他の頂点に写す変換(写像)は、4次の偶置換である」とも言えます。

定理1.の証明

$g\in {\rm T}$とします。
正四面体の頂点を$\left\{{\rm P}_1,{\rm P}_2,{\rm P}_3,{\rm P}_4\right\}$とすると、$g$はこの集合に作用します。

ここで、群作用とは以下でした。

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

この作用により定まる置換表現(後で復習します)を$\rho:{\rm T}\longrightarrow \mathcal{G}_4$とします。

ここで、作用により定まる置換表現とは以下でした。

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

さて、このとき$\rho({\rm T})=A_4$であることを示します。

$g\in{\rm T}$を${\rm P}_1$を固定する単位元でないような要素とすると、$g$は${\rm P}_2$、${\rm P}_3$、${\rm P}_4$の巡回置換を引き起こします。
$g$が${\rm P}_2\longrightarrow{\rm P}_3\longrightarrow{\rm P}_4\longrightarrow{\rm P}_2$という置換を引き起こすならば、$g^2$は${\rm P}_2\longrightarrow{\rm P}_4\longrightarrow{\rm P}_3\longrightarrow{\rm P}_2$という置換を引き起こすので、$\rho({\rm T})\supset \left\langle (2\ 3\ 4)\right\rangle$です。
ただし、$\left\langle \cdot\right\rangle$は$\cdot$で生成された部分を指し、それは以下でした。

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

さて、$g$が${\rm P}_2\longrightarrow{\rm P}_4\longrightarrow{\rm P}_3\longrightarrow{\rm P}_2$という置換を引き起こす場合も同様です。
更に同様に、${\rm P}_2$を固定する要素などを考えれば、$\rho({\rm T})$は全ての長さ3の巡回置換を含みます。

ここで、次の事実を使います。

補題2.の証明は【代数学の基礎シリーズ】群論編 その42を御覧ください。

補題2.により、$\rho({\rm T})\supset A_4$です。
$$12\leq \left|\rho({\rm T})\right|=\frac{\left|{\rm T}\right|}{\left|{\rm Ker}(\rho)\right|}\leq 12$$
なので、すべての等号で${\rm Ker}(\rho)=\left\{1\right\}$です。
したがって、$\rho$は単射となり、$\rho$は${\rm T}$から$A_4$への同型写像を引き起こすわけです。

定理1.の証明終わり

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

今回も背理法について少々語ります。

前回は背理法が詭弁となってしまう場合の例として言葉や概念が不正確に使われたりするときを述べました。
今回は背理法による存在証明について少々語ります。

背理法の活用方法の1つは、数学的対象を「具体的に」構成することなく、その存在を証明するために使うことです。
以前にアンセルムによる「神の存在証明」を述べましたが、考え方はまったく同じであって、「もし存在しなければ矛盾が導かれるから、それは存在する」という論法です。

背理法による存在証明の中で恐らく最も有名であるのは、ユークリッドの『原論』に記載されている「素数は無限個存在する」ことの証明でしょう。

証明

素因数分解定理は既知とします(後に初等整数論のシリーズで解説します)。
素数が有限子しか存在しないと仮定して、それらを$p_1,p_2,\cdots,p_n$とします。
$q=p_1p_2\cdots p_n+1$とおくと、自然数$q$は素因数分解定理から$q=p_1^{e_1}p_2^{e_2}\cdots p_n^{e_n}\ (e_i\geq0)$と素因数分解できます。
$q>1$であるから、$e_i>0$となるような$i$が存在します。
このとき、$q$は$p_i$で割り切れるはずですが、$q$は$q=p_1p_2\cdots p_n+1$でしたので、$q$は$p_i$では割り切れません。
これは矛盾です。
したがって、素数は無限個存在します。

証明終わり

実はひょんなところで使う鳩ノ巣論法(引き出し論法、抽斗論法)も背理法で証明可能です。

抽斗論法の証明

ほとんど当たり前なのですが、証明します。

もしこのような抽斗が存在しなければ、各抽斗は「高々(多くても)」1つのものしか入っていません。
故に、もののかずは$m$以下でなければなりませんが、これは仮定$n>m$に矛盾しています。

抽斗論法の証明終わり

この証明の中で、どの抽斗が2つ以上のものを入れているかは特定していないことに注意しましょう。
このような「当たり前」と言えるような事実など役に立つのか訝しく思うかもしれません。
どういう場合に役立つのか、ということは次回に回します。

今回はここまで。
感想など是非コメントをお願いいたします！

結

今回は、「正四面体群は4次交代群と同型である」ということを証明しました。
使った知識としては、群作用、置換表現、生成された部分群です。
ちなみに、$n$次交代群は$n$次対称群(置換群)の偶置換のみを集めた集合とも言えますので、この主張は「正四面体の頂点を他の頂点に写す変換(写像)は、4次の偶置換である」とも言えます。

次回は正八面体群が4次の対称群と同型であることを示します。

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