壊
壊れた扉さん (8ewhcx4n)2022/10/14 16:16削除(2)の解説
>(2)4次の2面体群D4の部分集合Sによって生成された部分群を調べてみよう。
<r1,r3>=<r1>
<r2,s1>={r0,r2,s1,s2}
<s1,t1>=D4
<s1,t1>=D4を調べてみよう。
D4の群表
・ r0 r1 r2 r3 s1 s2 t1 t2
r0 r0 r1 r2 r3 s1 s2 t1 t2
r1 r1 r2 r3 r0 t2 t1 s1 s2
r2 r2 r3 r0 r1 s2 s1 t2 t1
r3 r3 r0 r1 r2 t1 t2 s2 s1
s1 s1 t1 s2 t2 r0 r2 r1 r3
s2 s2 t2 s1 t1 r2 r0 r3 r1
t1 t1 s2 t2 s1 r3 r1 r0 r2
t2 t2 s1 t1 s2 r1 r3 r2 r0
s1,s1^2=r0,s1^3=s1,s1^4=r0,…
t1,t1^2=r0,t1^3=t1,t1^4=r0,…
∴s1^e1・t1^e2=s1・t1,s1・r0,r0・t1,r0・r0=r1,s1,t1,r0
∴<s1,t1>={r0,r1,s1,t1}
よって、<s1,t1>≠D4である。
因みに、<r1,t1>を調べてみると、
r1,r1^2=r2,r1^3=r3,r1^4=r0,…
∴r1^e1・t1^e2=r1・t1,r1・r0,r2・t1,r2・r0,r3・t1,r3・r0,r0・t1,r0・r0
=s1,r1,t2,r2,s2,r3,t1,r0
∴<r1,t1>={r0,r1,r2,r3,s1,s2,t1,t2}=D4
よって、<r1,t1>の誤記だろう。因みに、正解はこれ1つではないが、省略。
おまけ: