[size=150][b]このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][/b][b][br]正多面体は５つありますが、双対性を使うと3種類だけです。[br][br]＜双対性と３種類＞[br][/b]「正多面体が５種類だけ」の証明は省略します。[br]正多面体がオイラーの多面体定理「[b]面数＋点数ー辺数＝２[/b]」に従うということはから、[br]面と点を入れ替えた立体では、構造が保たれるということが予想できますね。[br]・「面と点を入れ替える」[br]というのは数値の上の話しではなく、[br]多面体の各面の中心に点を打ち、できた各点でとなりあうものを連結して多角形の面を作る。[br]この作業が、面と点を入れ替えるという作業です。もちろん面の数だけ点ができますが、[br]点をつないでできた面には、もともとあった点が１対１に対応します。[br]だから、面と点が集合体としても入れ替わり、個数も入れ替わるのです。[br]・正多面体を動かして自分に重ねる操作を要素とする集合を考えます。[br]動かさない要素が単位元、操作の結合は動かす操作になって結合法則が成り立ち、逆元もある。だから、[b]正多面体を動かす操作の集合は操作の結合という２項演算で閉じている群[/b]になりますね。これを正多面体群といいます。[br]面の数に着目して、[b]正ｎ面体群をPｎとかP(n)[/b]と書いたりします。[br]・[b]正６面体（立方体）[/b]の面数、点数、辺数は、[b](F,V,E)=(6,8,12)です。[br][/b] 面と点を入れ替えると[b]正８面体（Octahedron)[/b]になりますが、[b](F,V,E)=(8,6,12)[/b]です。[br]　面と点を入れ替えても動かし方は同じなので、[/size][b][color=#0000ff][size=100][size=150]P8=P6[/size][/size][/color][/b][size=150]となるでしょう。[br]・正5角形を12枚でできる[b]正12面体[/b]は[b](F,V,E)[/b]=(12,5*12/3,5*12/2)[b]=(12,20,30)[/b]です。面と点を入れ替えた[b]正20面体（Icosahedron)[/b]は正三角形のあつまりで[b] (F,V,E)=[/b][b](20,12,30)[/b]です。[br]　面と点を入れ替えてても動かし方は同じなので、[color=#0000ff][b]P12＝P20[/b][/color]です。[br]・特に[b]正4面体(Tetrahedron)は自分と双対です。[b](F,V,E)=[/b](4, 4, 6),面と点が同数なので、[br][/b]　面と点を入れ替えても正4面体ができるだけですね。[/size]

[size=150][color=#9900ff]ギリシャ文字や特別な書体は高級、難解に見えてしまう危険があります。[br][b]学習の安全[/b]のために、できるだけ英文字の通常書体を使うことにします。[/color][b][br]＜群の集合への働き、作用＞[/b][/size][br]群Gの集合Xへの作用fとは,Gの要素ｇとXの要素ｘに対する2項演算の結果f(g,x)のことで、Xの要素。[br]演算を中置式にするときは、演算記号＊を使うけれど、演算記号を省略することもある。[br]・f(1,x)=x, f(g,f(h,x)) = g*(h*x)=(gh)*xなら作用fは[b]左作用[/b]（左から右へ作用）[br]・f(1,x)=x, f(g,f(h,x)) = (x*h)*g=x*(hg)なら作用fは[b]右作用[/b]（右から左へ作用）ｘ[sup]hg[/sup]と書いたりもする。[br]・作用は結合法則が成り立つので、[b]準同型写像[/b]になる。[br][color=#0000ff]（例）[/color][br]集合X=Gとすると、結合法則から、群の要素の積を左からみれば、[b]GからGへの左作用[/b]とみることができるし、積を右からみると[b]GからGへの右作用[/b]とみることができる。[br][b][size=150]＜群の置換で表す＞[br][/size][/b]群Gが集合X={x1,...,xn}に左から作用をするとき、g∈GがXのi番目xiに作用ｆをしてxjに動いたとしよう。[br][b]j=f(g,i)[/b]ですが、iを固定しているので、２項演算をただのgによる関数として考えると、[br][b]j=f(g)(i)[/b]とみなすことができるね。（これは、多変数関数のカリー化による部分適用と似ているね。）[br]このことを記号で凝縮すると次のようにもかける。[br][size=200][b][color=#0000ff]g・x[sub]i[/sub]=x[/color][/b][sub][b][color=#0000ff]f(g)(i) [/color][/b][/sub][/size][br]ｆ(X)はXの置換を引き起こす。だからｆは群G→群Snの写像と言える。[br]しかも、群Gの要素g,hに対して、Xの要素番号に対する置換は、f(gh)=f(g)f(h)をみたす。[br]だから、ｆは準同型写像になるね。このｆをXへの作用によって定まる。ｆをGの[b]置換表現[/b]という。[br]しかも、[b][color=#0000ff]＜ケーリーの定理＞によれば、この準同型がある。単位元が単位元にうつるので単射[/color][/b]である。[br]ということはKerfでｆを割ると、有限群Gは対称群Snの部分群と同型になる。[br]つまり、[br][b][color=#0000ff][size=200]有限群は置換で表せる。[br][/size][/color][/b]ということだね。[br]対称群Snはあみだくじたちで表現できる。[br]有限群はあみだくじでも書ける。素晴らしい！[br][color=#0000ff]（例）[/color][br]作用させる群をG=S3とし、作用の対象をX={x1=1, x2=(1 2), x3=(1 3), x4=(2 3), x5= (1 2 3), x6= (1 3 2)}[br]としてみよう。たとえば、G∋g=(1 2)でXを動かしてみると、[br]g・X=(1 2){x1=1, x2=(1 2), x3=(1 3), x4=(2 3), x5= (1 2 3), x6= (1 3 2)}[br]={x1=(1 2) , x1=1 , x3=(1 2)(1 3)=(1 3 2), x4=(1 2)(2 3)=(1 2 3), x5=(1 2)(1 2 3)=(2 3), x6= (1 2)(1 3 2)=(1 3)}[br]これからｘの番号の変化を調べてみよう。すると、ｘたちは[b](1 2)(3 6)(4 5)[/b]と置換されたことになる。[br]この置換がgの表現となる。[br][b][size=150] ＜群は同じサイズの同値類に分解できる＞[br][/size][/b][color=#0000ff]（例）[/color][br]　X=｛x1,x2,x3,x4,x5,x6,x7,x8}で、ｘ１に群Gの2要素a,bを作用させたときに、[br]　a・x1=b・x1=x1だったら、aとbはｘ1を動かさないという点で同値と定義すると、[br]　aとbは同値類に属するとも言えるね。この類をHとするしよう。同様にして、同値類が作れる。[br]　x1を他のXの要素x2,x3,x4,x5,x6,x7,x8にうつすGの要素の代表を１つずつとりだし、[br]　同値類の代表元とし、g2,g3,g4,g5,g6,g7,g8と名付けると、GはHによって、同値類に和分解できる。[br]　G＝H∪g2H∪g3H∪g4H∪g5H∪g6H∪g7H∪g8H[br]また、このことを、群論では次のように書くことがよくある。[br][color=#0000ff][b][size=150]G＝H+g[sub]2[/sub]H+g[sub]3[/sub]H+g[sub]4[/sub]H+g[sub]5[/sub]H+g[sub]6[/sub]H+g[sub]7[/sub]H+g[sub]8[/sub]H[br][/size][/b][/color] 見慣れないと変な感じがするかもしれないけど、0から8までの整数Zを３で割った余りで分類した[br]　余り０類H、余り１類、余り３類の３類をH,1+H、2+Hとかくと、[br] Z=[0,1,2,3,4,5,6,7,8]=[0,3,6]+[1,4,7]+[2,5,8]=H+(1+H)+(2+H)とかいているようなものだ。[br][b]ラグランジュの定理（部分群Hの位数は群Gの位数の約数）[/b]のもとが、[br]同値類の位数がどれも等しいことから来ていたことを思い出すと[br]|G|=|H|×|X|になる。|X|=|G|/|H|ということだね。割り算を比で表し、[br][color=#0000ff][b][size=150][size=200]　|X|=|G:H|=8とかくこともある。[br][/size][/size][/b][/color]この位数Gと位数Hの商８を[b]指数[/b]と呼ぶこともある。[br][color=#0000ff]（例）[br][/color][b][color=#0000ff]　正多面体群で１つの頂点を動かさない動かし方は、１つの頂点v0にあつまる辺(E)の数E(v0)と同じ。[br]　だから、正多面体群の位数＝|V||E(v0)|という便利な公式ができる。[br][/color][b][size=150]＜軌道と安定化群＞[/size][/b][color=#0000ff][br]群Gが集合Xに作用する（動かす）場面で、面白い性質が出てくる。[br][/color][/b]・ｇ∈Gでｘ∈Xが動いた[color=#0000ff]結果（ｇｘ）の集合はXの部分になる。[br]　これをｘの[b]Gによる軌道、G軌道(Orbit)[/b][/color]といい、[b]OGx[/b]とかくことにする。[br]　（単にG（ｘ）と書く人もいる。）[br][color=#0000ff]（例）[/color][br]　立方体を２対面の中心を通る軸で90度のｎ倍で反時計周りに回転するとき、n={0,1,2,3}なら[br]　この回転は90度回転を生成元とする巡回群C4, Z4と同型になるね。[br]　これを群Gとする。[br]　立方体は球に内接しているとして、北半球の点を北からみて反時計周りにX={p0,p1,p2,p3}とする。[br]　南半球もp0の南の頂点をq0として、北から見て反時計回りにY={q0,q1,q2,q3}とする。[br]　P0のGによる軌道OG(p0)=Xとなり、同様にOG(q0)=Yとなるね。[br]　こうして、|X|=|Y|=4となった。X+Y＝頂点全体で、XとYは共通部分がない。[br]　頂点のG軌道分解と言えるね。[br]・ｘ∈Xに対して作用してもｘを動かさない（ｇｘ＝ｘ）ｇ∈Gは[color=#0000ff][b]Gの部分群となる。[/b][br][b]　これを、ｘの安定化群（Stabilizer)または固定部分群といい、SGx[/b][/color]とかくことにする。[br]　（これらの名称や記号は人によりかなり違う、StabGｘ,StaGｘ,SGｘ、G・ｘとか色々ある。）[br][color=#0000ff]（例）[/color][br]　正多面体を原点中心とする球面に内接し、北極に１頂点があるように初期化する。[br]　そのとき、北極を動かさない安定化群、固定部分群は[br]　行列式が１の直交行列群、つまり3次の特殊直交群SO(3)の回転を表す行列群の部分群として、[br]　{{cosθ, -sinθ, 0},{sinθ, cosθ, 0},{0, 0, 1}}(θは０以上2π未満) で求められる。　[b][br][color=#0000ff][size=150][size=200]・OST[br]軌道ー安定化群の定理[Orbit-Stabilizer-Theoream][br][/size][/size][/color]（安定化群のサイズ）＝（群の位数）÷（軌道のサイズ）[/b]となる。[br]　これは、上記の[color=#0000ff][b]群の同値類への和分解と同じ議論[/b][/color]でわかるでしょう。[br]　正多面体の頂点の集合X={x1,x2,...,xn}に正多面体群Gの要素gが作用すると、[br]　x1をどこに移すか、x1のままか、x2,....,xnかによって、Gをｎ個の同値類に和分解できるね。[br]　そのx1を動かさない類がｘ1の安定化群と同じになる。[br]　だから、OG(x1)＝x1の軌道＝Xで、H=SG(x1)となるね。[br] |G|=|H|×|X|だから、([b]群のサイズ)＝(ｘの安定化群のサイズ)×[b](ｘの軌道サイズ)[/b][/b]で求められる。[br][size=150]＜[b]群の共役類分解＞[br][/b][/size]　前回、群Gの要素ｇで、要素ｘにgxg[sup]-1[/sup]をする変換fをigと名付け、[br]　y=ig(x)と移動するもとと行先のペアx,yを共役と呼ぶことにした。[br]　ｙの求め方として、辞書[b][color=#0000ff]ｘ={キー:値} のキーと値の両方にｇを作用させればよかったね。[/color][/b][br]　G＝S3＝{e,s=(1 3 2),r =(1 2 3), a=(2 3),b=(1 2),c=(1 3)}のとき、[br]　G∋g=(1 2 3) x=(1 3 2 )なら y=gx=g{1:3, 2:1, 3:2}={2:1, 3:2,1:3}=(1 3 2) と置換型が同じになった。[br]　x=(1 3) ={1:3, 2:2, 3:1} ならy={2:1, 3:3, 1:2}=(1 2)となり、置換型が同じになった。[br] 　共役（y＝gxg[sup]-1[/sup])な2要素を同値とすると、[b]共役類[/b]Cｊ(x)は、[b][color=#0000ff]同じ置換型で判断できる[/color][/b]と予想できるね。[br] 上の例では、Cj(s)={r,s}, Cj(a)={a,b,c},Cj(e)={e}と３つの共役類ができる。[br]　共役類の位数は、互換の類の位数は３，3次巡回置換の類の位数は２、単位元の位数は１[br]　[b]共役類の位数はGの約数になる[/b]ことがわかる。[br]　ｘの共役類Cj(x)はｘのG軌道でもあるから、[b][color=#0000ff]GをG軌道分解できたように共役類で和分解[/color]できる[/b]。[br][b]　共役類の位数の合計[/b]は[b]群の位数[/b]に等しい。合計すると、|G|=|{e}|+|{a,b,c}|+ |{r,s}|＝1+3+2[br] この等式を[b][color=#0000ff]類等式[/color][/b]という。[br][color=#0000ff]（例）[br][/color][b]　対称群S４の類等式[br][/b]　n=4のとき|S4|=4!=24だから、類等式で24を共役類の位数で和分解しよう。[br]　4=3+1=2+1=2+1+1=1+1+1+1に対応する巡回置換の型とそのに対応する位数は[br]　4,3+1,2+1,2+1+1,1+1+1+1→(abcd), (abc)(d),(ab)(cd), (ab)(c)(d), e[br] →(4-1)!=6, 2×4C1=8, 4C2/2=3, 4C2=6, 1[br]　だから、24=6+8+3+6+1[br]・Gのすべての要素と[b]可換な要素の集まり[/b]を[u][b][color=#0000ff]Gの中心[/color][/b]という。[/u][b][u]Z（G）[/u][/b]とかくこともある。[br]　もちろん、単位元は中心にあり、中心に属する要素は可換という性質により中心は群になる。[br]　中心は単位元だけのこともあれば、整数の加群のように可換群なら全体と一致する。[br]　ｘの共役類の要素がｘ１つなら、gでもgxg[sup]-1[/sup]=xつまり、gx=xgだから、ｘがGの[b]中心にある。[br][/b]　この逆も言える。[br]・適当なｘ∈Gに対してGによる共役の働きig(gxg[sup]-1[/sup])に対する安定化群Cx={g: gxg[sup]-1[/sup]=g}は、[br]　gx=xgとなるGの要素、つまり、[u]ｘと可換な要素gの集まりで、[b][color=#0000ff]ｘの中心化群[/color][/b]という。[b]Z[sub]G[/sub](x)[/b][/u][br]　安定化群の等式、([b]群のサイズ)＝(ｘの安定化群のサイズ)×[b](ｘの軌道サイズ)のように、[/b][/b][br]　([b]群のサイズ)＝(ｘの中心化群のサイズ)×[b](ｘの共役類のサイズ)ができる。[br][/b][/b]　ｘの中心化群とｘの共役類は、そのサイズが相反する、反比例する関係にあるね。

[size=150][b][color=#9900ff][u]質問：正４面体をgeogebraでかくには座標をどうえらんだらよいでしょうか。[br][/u][/color][/b][size=100][br]正４面体を描くには、立方体の頂点が使えます。[br]立方体は[/size][size=100]8頂点（±１,±１,±１）で作れます。[br][/size][size=100]これから、[br][/size][/size][size=150][color=#0000ff][b]-1を偶数個（０か2個）の4点(1,1,1),(1,-1,-1),(-1,1,-1),(-1,-1,1)にするか、[br]-1を奇数個の4点(-1,-1,-1),(-1,1,1),(1,-1,1),(1,1,-1)にすると[br][/b][/color][/size][size=150][size=100]正４面体ができます。だから、立方体の頂点から素な正４面体が２つ作れますね。[br][br][/size][b]＜正４面体群P4≅A4＞[br][br][/b][size=100]・正四面体群[/size][/size][size=200][color=#0000ff]P4[/color][/size][size=150][size=100]の特徴をさぐろう。[br][br][/size][/size]正四面体を自分自身に重ねる変換は、４つの頂点１，２，３，４の入れ替えになります。[br]交代群[color=#0000ff][size=200]A4[/size][/color]は4本あみだくじの偶置換が作る群だ。この２つが同型になる。[br][br]正四面体は頂点は４つある。頂点の集合X={1,2,3,4}に正多面体群P4が作用した軌道サイズは４。[br][b]１つの頂点に集まる辺数は３[/b], 頂点数=4[br]だから、[b]|P4|=１点にあつまる辺の数×頂点数[/b]＝3×4=12個。[br][br]・正四面体群P4の種類別にみてみよう。[br][b][br]イ・4頂点から底辺の中心に下した４軸での２種の回転（120度回転、240度回転）で、４×２＝８個。[br]ロ・対辺の中点どうしを結ぶ3×2÷2＝3軸での180度回転で、3個。[br]ハ・無回転が1個。[br][/b]P(4)の要素は12個＝8+3+1[br][br]A4の要素は、対称群S４の半分だから、4!÷2＝12個[br]S4は４本あみだだから、そのうち互換偶数個、つまり、偶置換をリストアップしてみよう。[br][b]イ・互換が２つで3次巡回置換は4×2=8個。 (1 2 3),(1 3 2), (1 2 4),(1 4 2), (1 3 4),(1 4 3), (2 3 4),(2 4 3) [br]ロ・互換が２つなら共通要素がない積で4-1=3個。(1 2)(3 4), (1 3)(2 4),(1 4)(2 3)[br]ハ・互換の数が０ならe[br][/b]12個=8+3+1１個。[br][br]P4のイは１頂点に集まる3頂点を2通りの向きに回すと2通りの巡回置換ができる。[br]P4のロは中点のある辺の組の選び方は4C2/2=3通りで、2組の辺の2頂点が入れ替わる。[br]まさに、P4とA4が同型であることは明白だね。

[size=150][size=100]正６面体は立方体でもあります。[br]各頂点の距離が等しいので、立方体は8頂点[br][/size][/size][size=150][b][color=#0000ff]（±１,±１,±１）[/color][/b][size=100][b][color=#0000ff]で作れます。[br][/color][/b][/size][/size][size=150][b][br]＜正６面体群P6≅S4＝P8＞[br][/b][/size]正６面体（立方体）を自分自身に重ねる変換は、[br]立方体の中心を通る４本の主対角線１，２，３，４の入れ替えになる。[br]対称群S3は4本あみだくじの群だ。この２つが同型になる。[br]正６面体は頂点は８つある。頂点の集合X={1,2,3,4,5,6,7,8}に正多面体群P8が作用した軌道サイズは8。[br]１つの頂点に集まる辺数は３、頂点数８だから[b]|P6|＝3×8=24個。[br][/b]P6の部分を種類別にみてみよう。[br][b]ア・２対面の中心を結ぶ6÷2=3軸で90度の1、２、３倍回転する、3×3=9個。[br]イ・対辺の中点どうしを結ぶ4×3÷2＝6軸での180度回転で6個。[br][/b]　２対辺を含む平面内の２対角線が交換されるが、残りの対角線は上下反転するが自分と重なる。[br][b]ウ・主対角線、4軸での120度の1、2倍回転する、4×2＝８個。[br]エ・無回転が1個。[br][/b]P6の要素は24個＝9+6+8+1[br][br]S4は４本あみだだ。リストアップしてみよう。[br][b]ア・4次巡回置換は3×2×1=6個[/b]。(1 2 3 4),(1 2 4 3),(1 3 2 4),(1 3 4 2),(1 4 2 3),(1 4 3 2)[br]　　[b]互換が２つなら共通要素がない積で4-1=3個[/b]。(1 2)(3 4), (1 3)(2 4),(1 4)(2 3)[br][b]イ・互換が１つなら4C2=6個。[/b](1 2),(1 3),(1 4),(2 3),(2 4),(3 4)だね。[br][b]ウ。互換が２つで１つは不変な3次巡回置換は4×2=8個。[/b][br]　 　(1 2 3),(1 3 2), (1 2 4),(1 4 2), (1 3 4),(1 4 3), (2 3 4),(2 4 3) [br][b]エ・互換の数が０ならeの１個。[br][/b]対称群S４の要素は4!＝24=(6+3)+6+8+1[br]立方体のときと同様に、P6とS4が同型であることは明白だね。[br]

[b][size=150][color=#9900ff][u]質問：正20面体をgeogebraでかくために座標をどう設定したらよいでしょうか。[br][/u][/color][/size][/b][br][b][color=#0000ff]黄金比はΦ=phi=(1+√5)/2です。[br][/color][/b]これは、正五角形を描くときにできる長さです。[br]正五角形の１辺を1とするときの対角線の長さがΦです。[br]対角線の長さをｘとすると、三角形の相似から１:(x-1)＝ｘ：１となり、[br]x[sup]2[/sup]-x-1=0の正の解がΦだからです。[br]また、正20面体は、北半球と南半球からなり、頂点は3×20÷5=12個ある。[br]２つの半球は合同で、1点に正3角形を５つあつめて、その周囲に正3角形を5つつけた10面の半球サラダボールを作る。頂点は北極を１、北極回りの5個を北からみて反時計回りに２～6としましょう。[br]すると、１を中心にする正５角形ができます。[br]この１辺の長さを２とする。[br]4と6を結ぶ線は正５角形の対角線だから２Φになるね。[br]南極も同じルールで番号をつけますが、区別のために１’、2'、…、６'のようにダッシュをつけます。[br]すると、1'を中心とする正五角形が球体を中心のとする4，6に点対称な4’、6’がある。[br]だから、四角形4,6',4',6は点対称で対角線の長さ44',66'が球の直径で等しいので、長方形になる。[br]この長方形はたて、よこが２と２Φになるね。[br]同様にして四角形23'2"3が合同な長方形になり、四角形15'1'5が合同な長方形になる。[br]３つの長方形が互いに球の中心で直交する。[br]これから、12頂点の座標は次のようにすることもできますね。[br][color=#0000ff][b][size=150][size=200](0,±phi,±1), (±1,0,±phi), (±phi,±1,0) [br][/size][/size][/b][/color][br][b][size=150]＜正20面体群P20≅A５=P12＞[br][/size][/b]正20面体は、北半球と南半球からなる。[br]正20面体の頂点は3×20÷5=12個、辺は3×20÷2=30個。[br][b]|P12|＝頂点数×1頂点にあつまる辺数=20×3=60[br]|P20|＝頂点数×1頂点にあつまる辺数=12×5=60[br][/b]２つの半球は合同で、1点に正3角形を５つあつめて、その周囲に正3角形を5つつけた。10面の半球サラダボールを作る。頂点は北極を１、北極回りの5個を北からみて反時計回りに２～6としましょう。[br]南極も同じルールで番号をつけますが、区別のために１’、2'、…、６'のようにダッシュをつけます。[br]また、面には[br]北極の周りを三角形１４５を①、三角形１２３を④として、反時計回りに①～⑤の番号をつけます。[br]その下の１周は③の下の三角形６２４’を①として、反時計回りに①から⑤の番号をつけます。[br]その下の１周は三角形３5'6'を①として、反時計回りで①～⑤として番号をつけます。[br]最後の１周は三角形１'２'３'を①として反時計回りに①～⑤と番号分けしましょう。[br]頂点１の周りは外からみて①②③④⑤が反時計回りに取り囲み、[br]頂点１’の周りは外からみて①②③④⑤が時計回りに取り囲みます。[br]頂点６の周りは外からみて①③②⑤④が反時計回りに取り囲み、[br]頂点６’の周りは外からみて①③②⑤④が時計回りに取り囲みます。[br]省略しますが、６頂点xの周りは①から⑤までの円順列が反時計回りに取り囲み、[br]同じ番号の６頂点ｘ’の周りはｘと同じ順に時計回りに取り囲みます。[br]交代群A5は対称群S5は5本あみだくじの群のうちの偶置換だ。P20とA5が同型になる。[br][br][b]ア・2対面の中点どうしを結ぶ20÷2＝10軸での360÷3=120度の1,2倍回転で10×2=20個。[br][/b] 三角形35’6’と三角形3'56の中点どうしを結ぶ軸での120度回転で(②③④）の巡回置換が起きる。[br]　　三角形123と三角形1'2'3'の中点どうしを結ぶ軸での120度回転で(②⑤③）の巡回置換が起きる。[br][b]イ・同じ番号の頂点ｘｘ’を結ぶ軸で360÷5＝72度の1,2,3,4倍回転、6×4=24個。[br][/b]　　頂点1と1'軸で72度回転すると(①,②,③,④,⑤)と巡回置換を起こす。[br]　　頂点6と6'軸で72度回転すると(①,③,②,⑤,④)と巡回置換を起こすね。[br][b]ウ・2対辺の中点どうしを結ぶ30÷2=15軸での180度回転で、15個。[br][/b]　　2対辺12と1'2'の中点どうしを結ぶ軸での180度回転で辺をはさむ（①⑤)(③④）の互換の積がおきる。[br]　　2対辺23と2'3'の中点どうしを結ぶ軸での180度回転で辺をはさむ（②④)(③①）の互換の積がおきる。[br][b]エ・無回転が1個。[br][/b]P20の要素は60個＝20+24+15+1[br][br]交代群A5の要素は5!÷2＝60個。S5は5本あみだだ。そのうちの偶置換をリストアップしてみよう。[br][b]ア・互換が２つで3次巡回置換は5C2×2=20個。 [br][/b](3 4 5),(3 5 4), (2 4 5),(2 5 4),(2 3 5),(2 5 3),(2 3 4),(2 4 3),(1 4 5),(1 5 4), [br](1 3 5),(1 5 3), (1 3 4),(1 4 3),(1 2 5),(1 5 2),(1 2 4),(1 4 2),(1 2 3),(1 3 2)[br][b]イ・互換が4つで5次巡回置換は4×3×2×1＝24個[br][/b] (1 2 3 4 5),(1 2 3 5 4),(1 2 4 3 5),(1 2 4 5 3),(1 2 5 3 4),(1 2 5 4 3)[br] (1 3 2 4 5),(1 3 2 4 5),(1 3 4 2 5),(1 3 4 5 2),(1 3 5 2 4),(1 3 5 4 2)[br] (1 4 2 3 5),(1 4 2 5 3),(1 4 3 2 5),(1 4 3 5 2),(1 4 5 2 3),(1 4 5 3 2)[br] (1 5 2 3 4),(1 5 2 4 2),(1 5 3 2 4),(1 5 3 4 2),(1 5 4 2 3),(1 5 4 3 2)[br][b]ウ・互換が２つ共通要素がない積で5×4C2÷2=15個。[br][/b] (5 2)(3 4), (5 3)(2 4),(5 4)(2 3)、 (1 5)(3 4), (1 3)(5 4),(1 4)(5 3)、 (1 2)(5 4), (1 5)(2 4),(1 4)(2 5)[br] (1 2)(3 5), (1 3)(2 5),(1 5)(2 3)、 (1 2)(3 4), (1 3)(2 4),(1 4)(2 3) [br][b]エ・互換の数が０ならeの１個。[br][/b]1対１に対応を検証するのは大変なので省略しますが、構造上の同一性から、[br]細部の検証をしなくてもP20とS4が同型であることは類推できるね。[br][br]