[b]このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][/b][br][br]英語でも日本語でも最初の文字をとって[br]名前を縮めるのはよくやるね。[br][br]群論の導入では、[br]あみだくじをつかうこともあるけれど、[br][b]対称性[/b]に着目したり、[br]いろいろな[b]群表[/b]をかいて群の要素の関係性を目と手で実感したり、さまざまだ。[br]いろんな[b]群の書籍[/b]にスムーズに入ったり、[b]先に進む[/b]ときに、[br]あみだくじだけではイメージが乏しい。[br][br][b][color=#0000ff]イメージを豊かにする[/color][/b]という目的で、[br]今回は、群の中身を正面からさぐるのではなく、群の事例を増やすために、[br][color=#0000ff][b]群のサンプルと戯れる、群の周辺お散歩[/b][/color]をしてみよう。[br][br][b][size=150]＜Gは群GroupのG＞[br][/size][/b]そのまんま、ストレートな名前だ。[br]だから、とてもよく登場する。[br][b]群といえばG。[br][/b]一般名だから、群であればいつでも使われる。[br][br]一番カンタンな群は、かけ算で要素が１だけの集合[b]G(｛1},×)[/b][br]1×1=1。１をかけてもかわらないから、単位元は１だ。[br]1×1=1。だから、１の反対は１だ。１の逆元は１だ。[br]1×1は閉じているし、1×1×1は結合法則が成り立つ。[br]１だけしかないが、立派な群といえるね。[br][br]もう少しおもしろいのは、[br]偶数の代表元０と奇数の代表元１のたし算の集合[b]G({0,1},+)[/b][br]1+0=1 , 0+0=0。０をたしても偶数、奇数は変えないから０が無変化にする要素。単位元だ。[br]1+1=0, 0+0=0。1の反対は１，０の反対は０だ。自分自身が逆元になるね。[br]奇数と偶数の代表のたし算は閉じているし、たし算は結合法則が成り立つ。[br]だから、これは群だ。[br][b][size=150]＜H、Nは部分群向け＞[br][/size]H[/b]はGの部分群になっているものによく使われる。[br][b]N[/b]は[b]Normal[/b]な部分群、[b]正規部分群[/b]向けによく使われる。[br]

[b][size=150]＜Sは対称[color=#0000ff]Symmetry[/color]のS＞[br][/size]対称群S[sub]n[/sub][/b]というのは[color=#0000ff][b]番号の順列の群[/b][/color]だ。[br]あみだくじとか、席替えのイメージだね。[br]S1,S2,S3,.....,Snとｎを変えると、いくらでも対称群は作れる。[br]３本あみだの群はS3ということになるね。[br]要素の数が４つの対称群とはたとえば、[br]１，２，３，４の座席があって、[br]１は２に、２は３に、３は４に、４は１にと順送りに移動する[br]など、[color=#0000ff]４つの番号の変更（無変更も含む）の仕方は[br]順列になるね。４！=24通りの移動がある。[br]これが対称群S[sub]4[/sub]だ[/color]。[br]S4は４本あみだだから、S3と同様に分類してみよう。[br]互換の数が０ならeの１個。[br]互換が１つなら4C2=6個。(1 2),(1 3),(1 4),(2 3),(2 4),(3 4)だね。[br]互換が２つなら共通要素がない積で4-1=3個。(1 2)(3 4), (1 3)(2 4),(1 4)(2 3)[br]互換が２つで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次巡回置換は3×2×1=6個。(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]1+6+3+8+6=24個[br][br][b][size=150]＜Aは交代[b][size=150][b][size=150][color=#0000ff]A[/color][/size][/b][/size][/b][color=#0000ff]lternating[/color]のA＞[br][/size]対称群Sn[/b]は置換として区分すると、偶置換と奇置換に２種類に区分できる。[br]偶置換というのは２要素の交換（互換）が偶数個のものだ。[br]偶置換になる対称群を、特別に交代群という。[br]S3の正規部分群N＝{e, (1 2 3), (1 3 2)}は偶置換の集まりだったから、A3ということになるね。[br][br][b][size=150]＜Dは２面体[color=#0000ff]Dihedral[/color]のD＞[br][/size][/b]２面体という名前は、初めて聞くとあれっと思う人もいるでしょう。[br]２面の立体はないよね？と感じるでしょう。[br][color=#0000ff][b]正ｎ角形[/b]を空間の中で移動すると、回転や裏返して自分に重ねると[br]頂点が入れ替わるの。これを[b]Dn[/b]と呼ぶ。[br]二面体群Dnは位数ではなく、正ｎ角形のｎからきているので注意しよう。[br][br][/color]・D6は正六角形の6個の番号の移動と考えることもできるから、対称群S6の部分群になる。[br]・例えば正三角形の移動して自分に重ねる群はD3ということになる。[br]　D3はR0,R1,R3(反時計回りに60*0,1,2回転)、[br] S0,S1,S2(x軸と作る角が60*0,1,2度の軸で裏返し）の3*2=６要素。[br]・例えば正方形を自分に重ねる群はD4ということになるね。[br]　D4はR0,R1,R3,R4(反時計回りに45*0,1,2,3回転)、 [br] S0,S1,S2,S4(x軸と作る角が45*0,1,2,3度の軸で裏返し)の4*2=８要素[br]

[b][size=150]＜Cには[color=#0000ff]巡回Cyclic[/color]のC＞[br][/size][/b]アナログ時計の長針は５分ごとに、１２から１，２，３，…と１つの数字を進む。[br]1回で30度進み、12回でもとにもどる。[br]このように、1回で円のｎ等分進む動きを１として、これを繰り返して１周の動きになるとき[br]スタートから動いたメモリ数は{0,1,2,.....,n-1}になる。[br]このように[color=#0000ff]動きを繰り返して周期ができる群が巡回群のイメージだ。[br][/color]足し算以外での回転を表すことができるね。[br]たとえば、G=｛i[sup]0[/sup],i[sup]1[/sup],i[sup]2[/sup],i[sup]3[/sup]}={1,i,-1,-i}は[br]かけ算の繰り返しで、座標平面での９０度回転の繰り返しを表しているね。[br]要素数が４だから、[b]C[sub]4[/sub][/b]とかく。[br]・群の位数と同じ位数になる元を[b][color=#0000ff]巡回群の生成元[/color][/b]と呼びます。[br]iは4乗して１（単位元）になりますが、[br]－1は2乗しただけで1（単位元）になるので、生成元にはなれません。[br]巡回群は＜生成元＞という表記をすることがよくあります。[br]だから、この[b][color=#0000ff]G＝[/color][/b][i]とかけますね。[br]・[/i][b]巡回群は[color=#0000ff]可換群[/color][/b][i]。[br]　巡回群のかけ算の結果は、生成元のｎ乗で表した[b]かけ算は指数の和で表せる[/b]から。[br]　和は[b]交換法則[/b]が成り立つから、巡回群が可換群になることは明らかだね。[br]　可換群のことを、アーベルさん敬意を表して？[b][color=#0000ff]アーベル群[/color][/b]と呼ぶことがよくあるね。[br]・[/i][b]巡回群の部分群は巡回群[/b][i][br]　巡回群の位数が合成数ならば、位数の約数をｄとして、生成元のｄ乗を新たな生成元とすると、[br]　同じ指数にするともとにもどり、巡回群となり、要素は部分集合だから、部分群になるね。[br][br][/i][b][size=150]＜Znは[color=#0000ff]整数Zhal[/color]を[color=#0000ff]ｎで割った剰余[/color]の群＞[br][/size][/b]整数全体を４で割った余りで分類すると、剰余類ができますね。[br]その代表元でZn＝｛０，１，２，３｝とするとき、[br]加法[i]＋[/i]をたし算の結果を４で割った余りにするところまで決めておけば、[br]＜Zn,[i]＋[/i]＞は、４要素について閉じているし、単位元が０、生成元が１の加法群になりますね。[br]だから、＜Zn,[i]＋[/i]＞は４次の巡回群C4になり、1を生成元としているので、＜Zn,[i]＋[/i]＞＝<1>とかけますね。[br][b][size=150]＜V4は[color=#0000ff]クラインの４元群[/color]＞[br][/size][/b][i]クラインの４元群[/i][b]V4[/b][i]は至る所に出てくるやつだ。[br][/i][color=#0000ff]ｘ軸対称移動、ｙ軸対称移動、原点対称移動、無移動の４つ。[br][/color][i]G={e,a,b,c}とすると、a[/i][sup]2[/sup][i]=e,b[/i][sup]2[/sup][i]=e,c[/i][sup]2[/sup][i]=e　となる。abがaでもbでもeでもないとすると、[br]ab=c。原点対称はｘ軸対称とｙ軸対称の結合になっている。[br]生成する元がa,bの２つある。[br]同じ４個の元でも、巡回群とはちがう。[br]aは生成元なのにaは２乗で戻るのに群のサイズは４だから。[br][br][/i][size=150][b]＜GLは[color=#0000ff]一般線形群generalLiner[/color]のGL＞[/b][br][/size][i]ｎ次の[/i][b]正則（逆行列がある）な正方行列[/b][i]のあつまりをGLｎとかきます。[br]成分が実数Rのときは、GLn(R), 成分が複素数のときはGLn(C)とかきます。[br]行列の積は可換とはかぎらないけれど、閉性、結合法則、単位元、逆元があれば[br]群になることはすぐにわかるね。[br]（ちなみに、GLｎのうち、行列式が１のものを[/i][b]特殊線形群SLｎ[/b][i]、成分が整数で行列式の絶対値が１のものを[/i][b]モジュラー群[/b][i]、転置行列との積が単位行列になる群を[/i][b]直交群O(n)[/b][i]、複素共役行列との積が単位行列になるものを[/i][b]ユニタリー群U(n)[/b][i]と読んだり書いたりすることがあります。）[br][br][/i][b][size=150]＜Qは[color=#0000ff]４元数quaternionクォータニオン[/color]のQ＞[br][/size][/b][i]もともと、4元数というのは、[br]虚数単位i,j,kを使って４つの元a,b,c,dの組み合わせで[br]x=a[/i][i] + bi[/i][i] + cj[/i][i] + dk[br][/i][i]と表す数です。[br][/i][color=#0000ff]ここで、[i]a[/i], [i]b[/i], [i]c[/i], [i]d[/i] は[url=https://ja.wikipedia.org/wiki/%E5%AE%9F%E6%95%B0]実数[/url]であり、虚数単位 [i]i[/i], [i]j[/i], [i]k[/i] は以下の関係を満たす。[br][img]https://wikimedia.org/api/rest_v1/media/math/render/svg/899610c19f2ca4230e116b0465112141eaced989[/img][br][/color][i]これが、４元数。交換法則は成り立たない。[br]1も含めて、単位に±をつけた8要素の集合は群をなします。[br]これを、[/i][b]4元数群Q8[/b][i]といいます。[br][/i][b]Q8 = {±1, ±i, ±j, ±k} [br][/b][i]また、i=x, j=y, k=xyとおくことによって、[br]x[/i][sup]4[/sup][i]=y[/i][sup]4[/sup][i]=1なので、ｘとｙの位数は4です。[br]x[/i][sup]2[/sup][i]=y[/i][sup]2　[/sup][i]は他の元と可換（群の中心）です。[br] y[/i][sup]-1[/sup][i]xy=x[/i][sup]-1[/sup][i]とｘとｙの交換関係があります。[br][/i][b]Q8＝{1, x, x[sup]2[/sup], x[sup]3[/sup], y, xy, x[sup]2[/sup]y, x[sup]3[/sup]y}[br][/b][i]とおくこともあります。この場合はx,yが群の生成元になりますね。[br]4元数の行列は、ゲームソフト開発や航空機での姿勢や運動の制御には役立つようです。[/i]

あみだの群（対称群S3）から始まって、[br]前回までに巡回群C6、交代群A3（S3の正規部分群であり、巡回群C3でもあった）[br]はあつかってきたことになるね。[br][br][color=#9900ff][b][u][size=200][size=150]質問：置換を利用して、クラインの4元群の群表を作るコードはどうやってつくれますか。[br][/size][/size][/u][/b][/color][br]座標平面にある４つの象限を代表する4点を１：(1,1)、2：(-1,1)、3：(-1,-1)、4：(1,-1)[br]としてみよう。[br]x軸対称移動はX={1:4, 2:3,3:2,4:1}という辞書[br]y軸対称移動はY={1:2, 2:1,3:4,4:3}という辞書[br]原点対称移動はO={1:3, 3:1,2:4,4:2}という辞書[br]無移動はE={1:1}という辞書にして、V4の群表を作ってみよう。[br]同じ位数４でも、巡回群C4とどうちがうのかを群表を作って比べてみよう。[br][IN]Python[br]#=================================================[br]def ami2dic(ami):[br] return dict(zip(ami , ami[1:] + [ami[0]]))[br]def amis2dics(amis):[br] return [dict(zip(ami , ami[1:] + [ami[0]])) for ami in amis][br]# ｋの辞書dic_aによる行先を返す。辞書にないなら行先はｋ。[br]def ami_go(k,dic_a):[br] return dic_a[k] if k in dic_a.keys() else k[br]#あみだの辞書a,bの連結をする。[br]def conL(a,b):#a,bの順に演算する。[br] keys = list(set(list(a.keys()) + list(b.keys())))[br] dic ={key:ami_go(ami_go(key,a),b) for key in keys if key !=ami_go(ami_go(key,a),b)}[br] if len(dic)==0:[br] dic={1:1}[br] return dic[br]def conR(a,b):#b,aの順に演算する。[br] return conL(b,a)[br]#アミダを、(辞書,名)のタプルのリストにする。[br]def rotdic(S,SN):[br] dic=[ami2dic(x) for x in S][br] return list(zip(dic,SN))[br]# あみだ辞書dic_aを名で返す。[br]def name(dic_a):[br] global Nlist[br] return [item[1] for item in Nlist if item[0]==dic_a][0][br]# あみだ辞書集dicsを名のリストで返す。[br]def names(dics):[br] global Nlist[br] return [item[1] for item in Nlist for b in dics if item[0]==b][br]# あみだ辞書の集合Hと辞書aを演算した結果リストを返す。[br]def Ha(H,a):[br] global Nlist[br] res=[][br] for b in H:[br] res +=[item[1] for item in Nlist if item[0]==conR(b,a)][br] return res[br]def aH(a,H):[br] global Nlist[br] res=[][br] for b in H:[br] res +=[item[1] for item in Nlist if item[0]==conR(a,b)][br] return res[br]#辞書リストS,名リストSNから（辞書、名）のタプルのリストにする。[br]def Ndic(S,SN):[br] return list(zip(S,SN))[br]def pow(G,n):[br] return polymultiR([ G for x in range(1,n+1)]) if n>0 else {1:1}[br]#群表を作る[br]def maketable():[br] global Nlist[br] G = [x[0] for x in Nlist][br] print("* ",names(G))[br] for item in G:[br] print(name(item),aH(item,G))[br] return True[br][b][color=#0000ff]#==================================以下がクラインの４元群====[br]#x軸対称移動はX={1:4, 2:3,3:2,4:1}という辞書[br]#y軸対称移動はY={1:2, 2:1,3:4,4:3}という辞書[br]#原点対称移動はO={1:3, 3:1,2:4,4:2}という辞書[br]#無移動はE={1:1}という辞書にして、群表を作ってみよう。[br][br]E={1:1}[br]X={1:4,2:3,3:2,4:1}[br]Y={1:2,2:1,3:4,4:3}[br]O={1:3,3:1,2:4,4:2}[br]S=[E,X,Y,O][br]SN=["E","X","Y","O"][br]Nlist=Ndic(S,SN)[br]print("クラインの4元群V4の群表")[br]maketable()[br]#=================================以下が4次の巡回群=====[br]g=[1,2,3,4][br]S=[pow(ami2dic(g),index) for index in range(4)][br]SN=["g" + str(x) for x in range(4)][br]SN[0]='E '[br]Nlist=Ndic(S,SN)[br]print("4次の巡回群C4の群表")[br]maketable()[br]#===================================================[br][/color][/b][OUT][br][size=150][b]クラインの4元群V4の群表[br]* ['E', 'X', 'Y', 'O'][br]E ['[/b]E[b]', 'X', 'Y', '[/b]O[b]'][br]X ['X', '[/b]E[b]', '[/b]O[b]', 'Y'][br]Y ['Y', '[/b]O[b]', '[/b]E[b]', 'X'][br]O ['[/b]O[b]', 'Y', 'X', '[/b]E[b]'][br]4次の巡回群C4の群表[br]* ['E ', 'g1', 'g2', 'g3'][br]E ['[/b]E[b] ', 'g1', 'g2', '[/b]g3[b]'][br]g1 ['g1', 'g2', '[/b]g3[b]', '[/b]E[b] '][br]g2 ['g2', '[/b]g3[b]', '[/b]E[b] ', 'g1'][br]g3 ['[/b]g3[b]', '[/b]E[b] ', 'g1', 'g2'][br][/b][/size]

[color=#9900ff][u][b][size=150]質問：置換を利用して、2面体群D3,D4の群表を作るにはどんなコードで実現できますか。[br][/size][/b][/u][/color][br](D3)[br]正3角形の頂点1,2,3の移動は回転と裏返しによって、3*2=6個の状態に移動できる。[br]回転は3次の巡回群と同じで、{e, r, s=r^2}が要素となるね。[br]裏返しは固定する頂点が1,2,3のどれかなので、残りの互換になるから、{(1,2),(2,3),(3,1)}が要素になる。[br](D4)[br]正4角形の頂点1,2,3,4の移動は回転と裏返しによって、4*2=6個の状態に移動できる。[br]回転は4次の巡回群と同じで、{e, r, s=r^2,t=r^3}が要素となるね。[br]裏返しは軸が向かい合う辺の中点の連結線か対角線かで互換の積か互換になるので、[br]{(1,2)(3,4),(1,4)(2,3),(1,3),(2,4)}が要素になる。[br]コードは基本関数以外の部分だけ作ろう。[br]#(D3)===============================================[br]e={1:1}[br]r=ami2dic([1,2,3])[br]s=ami2dic([1,3,2])[br]a=ami2dic([1,2])[br]b=ami2dic([2,3])[br]c=ami2dic([3,1])[br]S=[e,r,s,a,b,c][br]SN=[[b]'E','R','S[/b]','a','b','c'][br]Nlist=Ndic(S,SN)[br]print("２面体群D3の群表")[br]maketable()[br]#(D4)===============================================[br][br]e={1:1}[br]r=ami2dic([1,2,3,4])[br]s=pow(r,2)[br]t=pow(r,3)[br]a=conR(ami2dic([1,2]),ami2dic([3,4]))[br]b=conR(ami2dic([1,4]),ami2dic([2,3]))[br]c=ami2dic([1,3])[br]d=ami2dic([2,4])[br]S=[e,r,s,t,a,b,p,q][br]SN=['[b]E','R','S','T'[/b],'a','b','c','d'][br]Nlist=Ndic(S,SN)[br]print("２面体群D4の群表")[br]maketable()[br]#===================================[br][OUT][br]２面体群D3の群表[br]* ['E', 'R', 'S', 'a', 'b', 'c'][br]E ['[b]E', 'R', 'S[/b]', 'a', 'b', 'c'][br]R [[b]'R', 'S', 'E'[/b], 'c', 'a', 'b'][br]S [[b]'S', 'E', 'R'[/b], 'b', 'c', 'a'][br]a ['a', 'b', 'c', [b]'E', 'R', 'S'[/b]][br]b ['b', 'c', 'a', [b]'S', 'E', 'R'[/b]][br]c ['c', 'a', 'b', [b]'R', 'S', 'E'[/b]][br]２面体群D4の群表[br]* ['E', 'R', 'S', 'T', 'a', 'b', 'c', 'd'][br]E [[b]'E', 'R', 'S', 'T'[/b], 'a', 'b', 'c', 'd'][br]R [[b]'R', 'S', 'T', 'E'[/b], 'c', 'd', 'b', 'a'][br]S [[b]'S', 'T', 'E', 'R'[/b], 'b', 'a', 'd', 'c'][br]T [[b]'T', 'E', 'R', 'S'[/b], 'd', 'c', 'a', 'b'][br]a ['a', 'd', 'b', 'c', [b]'E', 'S', 'T', 'R'[/b]][br]b ['b', 'c', 'a', 'd', [b]'S', 'E', 'R', 'T'[/b]][br]c ['c', 'a', 'd', 'b', [b]'R', 'T', 'E', 'S'[/b]][br]d ['d', 'b', 'c', 'a', [b]'T', 'R', 'S', 'E'[/b]][br][br]2面体群の群表は回転系と裏返し系に行列を２分割してみると、群表が4等分される。[br][b]回転系同士は閉じていて、裏返し系同士は回転系になり、両方系は裏返し系になる[br][/b]という傾向が、D3,D4の両方でみられるね。

[color=#9900ff][b][u][size=150]質問：行列を使って4元数群Q8を作り、非可換であることをコードで確かめるにはどうしたらようですか。[br][/size][/u][/b][/color][br]今まで辞書で作った群の要素の演算をする関数たちを、[br]行列を群の要素にしたものに作りかえましょう。[br]行列の2項演算は右から左へかけるので、conをconR,conLと区別する必要はありませんね。[br]その上で、８要素の行列の要素をmaketable()で演算して名前を表示してみよう。[br]行列の計算では、[b][color=#0000ff]パッケージnumpyをnpの名でimport[/color][/b]します。[br]また、[br]行列AとBのかけ算は[b]A@B[/b]でできます。[br]行列A==Bの確認は[b]np.all(A==B)[/b]というように,np.all()でくるみましょう。[br]行列で作る[b]4元数群Q8は、一般線形群GL2(C)の部分群で正則[/b]です。[br]Aの逆行列はpythonでは、[b]np.linalg.inv(A)[/b]のようにかいて求められます。[br][color=#0000ff]虚数単位はpythonではiではなくて、jになるので、注意しよう。[br][/color]#[IN]Python[br]#=====================================================[br][b]import numpy as np[br][/b]#行列mat_aの名を返す[br]def name(ma):[br] global Nlist[br] return [item[1] for item in Nlist if [b]np.all(item[0]==ma)[/b]][0][br]# 行列集mdicsを名のリストで返す。[br]def names(mdics):[br] global Nlist[br] return [item[1] for item in Nlist for b in mdics if [b]np.all(item[0]==b)[/b]][br]#行列リストS,名リストSNから（行列、名）のタプルのリストにする。[br][b]def Nmat(S,SN):[br] return list(zip(S,SN))[br]def con(a,b): #行列a,bの積する。[br] return a@b[br][/b]def polymulti(mat_Lst):[br] global e[br] listsize=len(mat_Lst)[br] a = mat_Lst[0][br] for num in range(1,listsize):[br] b = mat_Lst[num][br] a = con(a,b)[br] mat = a[br] #空の行列は形式的に単位元とする。[br] if len(mat)==0:[br] mat = e[br] return mat[br]# あみだ辞書の集合Hと辞書aを演算した結果リストを返す。[br]def Ha(H,a):[br] global Nlist[br] res=[][br] for b in H:[br] res +=[item[1] for item in Nlist [b]if np.all(item[0]==con(b,a))[/b]][br] return res[br]def aH(a,H):[br] global Nlist[br] res=[][br] for b in H:[br] res +=[item[1] for item in Nlist [b]if np.all(item[0]==con(a,b))[/b]][br] return res[br][br]def powM(M,n): #行列aのn乗[br] return polymulti([M for x in range(1,n+1)] ) [br][br]#群表を作る[br]def maketable():[br] global Nlist[br] G = [x[0] for x in Nlist][br] print(" @ ",names(G))[br] for item in G:[br] print(name(item),aH(item,G))[br] return True[br] [br][color=#0000ff]e = np.array([[1,0],[0,1]])[br]x = np.array([[0,1j],[1j,0]])[br]y = np.array([[0,1],[-1,0]])[br]x2=x@x[br]x3=x2@x[br]x4=x3@x[br]xy=x@y[br]x2y=x2@y[br]x3y=x3@y[br]S=[e,x,x2,x3,y,xy,x2y,x3y][br]SN=['e ','x ','x^2 ','x^3 ','y ','xy ','x^2y','x^3y'][br]Nlist=Nmat(S,SN)[br]print("x^4=y^4=1==============")[br]print(f"{powM(x,4)}\n={powM(y,4)}\n={name(e)}")[br]print("x^2=y^2================")[br]print(f"{powM(x,2)}\n={powM(y,2)}")[br]print("y^(-1)xy=x^(-1)========")[br]print(f"{[b]np.linalg.inv[/b](y)@x@y}\n={[b]np.linalg.inv[/b](x)}")[br]print(" Q8の要素===============")[br]Q8=list(zip(S,SN))[br]for item in Q8:[br] print(f"{item[0]}={item[1]}")[br]print(" Q8＠Q8の群表=============")[br]maketable()[br][/color]

#=====================================================[br][OUT][br]x^4=y^4=1==============[br][[1.+0.j 0.+0.j][br] [0.+0.j 1.+0.j]][br]=[[1 0][br] [0 1]][br]=e [br]x^2=y^2================[br][[-1.+0.j 0.+0.j][br] [ 0.+0.j -1.+0.j]][br]=[[-1 0][br] [ 0 -1]][br]y^(-1)xy=x^(-1)========[br][[0.+0.j 0.-1.j][br] [0.-1.j 0.+0.j]][br]=[[0.+0.j 0.-1.j][br] [0.-1.j 0.+0.j]][br] Q8の要素===============[br][[1 0][br] [0 1]]=e [br][[0.+0.j 0.+1.j][br] [0.+1.j 0.+0.j]]=x [br][[-1.+0.j 0.+0.j][br] [ 0.+0.j -1.+0.j]]=x^2 [br][[0.+0.j 0.-1.j][br] [0.-1.j 0.+0.j]]=x^3 [br][[ 0 1][br] [-1 0]]=y [br][[0.-1.j 0.+0.j][br] [0.+0.j 0.+1.j]]=xy [br][[ 0.+0.j -1.+0.j][br] [ 1.+0.j 0.+0.j]]=x^2y[br][[0.+1.j 0.+0.j][br] [0.+0.j 0.-1.j]]=x^3y[br] Q8＠Q8の群表=============[br] @ ['e ', 'x ', 'x^2 ', 'x^3 ', 'y ', 'xy ', 'x^2y', 'x^3y'][br]e ['e ', 'x ', 'x^2 ', 'x^3 ', 'y ', 'xy ', 'x^2y', 'x^3y'][br]x ['x ', 'x^2 ', 'x^3 ', 'e ', 'xy ', 'x^2y', 'x^3y', 'y '][br]x^2 ['x^2 ', 'x^3 ', 'e ', 'x ', 'x^2y', 'x^3y', 'y ', 'xy '][br]x^3 ['x^3 ', 'e ', 'x ', 'x^2 ', 'x^3y', 'y ', 'xy ', 'x^2y'][br]y ['y ', 'x^3y', 'x^2y', 'xy ', 'x^2 ', 'x ', 'e ', 'x^3 '][br]xy ['xy ', 'y ', 'x^3y', 'x^2y', 'x^3 ', 'x^2 ', 'x ', 'e '][br]x^2y ['x^2y', 'xy ', 'y ', 'x^3y', 'e ', 'x^3 ', 'x^2 ', 'x '][br]x^3y ['x^3y', 'x^2y', 'xy ', 'y ', 'x ', 'e ', 'x^3 ', 'x^2 '][br][br]群表をながめてみましょう。[br]x@y=xyになりますが、[br]y@x=x^3yになってますね。[br]xy@x=yですが、[br]x@xy=x^2yです。[br]１つでも非可換があれば非可換群なので[br]4元数群が非可換であることが、この表でも確認できますね。[br]