群にも相似と合同がある?

1.ほぼ同じとぴったり同じ
[b][size=150][b]このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][/b][br]<イメージトレーニング>[/size][/b][br]厳密に考える前にイメージトレーニングをしてみよう。[br][br]2つの図形が似てる場合は[b]相似[/b]があるね。形が同じだから。[br]さらに、図形の辺の長さまで同じ相似形は[b]合同[/b]といったね。[br][br]しくみ、つまり、2つの群の形、つながり方が同じなのが[b][color=#0000ff]準同型homo[/color]-[/b]morphism[b](群の相似)[/b]で、[br]さらに、群のサイズ、[b]位数とまで同じ[/b]で、ぴったり重ねられるのが[b][color=#0000ff]同型iso[/color]-[/b]morphism[b](群の合同)[/b][br]語源的にも、[b]morph[/b]はshape、形のことで、[br][b]homo[/b]はsimilar、つまり似ているだけだから、相似と同じ。[br][b]iso[/b]はsame、equal、つまりぴったり等しいから、合同。[br]ついでに、対称図形のように自分に重ねられる[color=#0000ff][b]自己同型[/b][/color][b][color=#0000ff]auto[/color]-[/b]morphism[b](対称性のある群)[/b]がある。[br][br][size=150]三角形ABCと三角形DEFが[b]合同[/b]なとき、[b]△ABC≡△DEF[/b]とかいた。[br][size=150]群Gと群Hが[b]同型[/b][/size]なとき、[b][size=200][color=#0000ff]G≅H[/color][/size][/b]とかく。[br]同型では単位元と単位元が1対1に対応し、逆元は逆元に対応する。また、各要素の位数も維持される。だから、[b]同型っていうのは、同じ構造の別名、エリアスという感じだ。[br][br]<余りと準同型の例>[/b][/size][br]たとえば、[br]群G1=<N,+>[br]領域N:整数のあつまり。[br]領域のサイズ:無限[br]演算+:2数の和。(N, N)->N[br]単位元は0,xの逆元は-x。[br][br]群G2=<Z4,⊕>[br]領域Z[sub]4[/sub]:{0,1,2,3}[br]領域のサイズ:4[br]演算⊕:2数の和を4で割った余り。(Z[sub]4[/sub],Z[sub]4[/sub])->Z[sub]4[/sub][br]単位元は0, xの逆元は-x(具体的には0⊕0=0,1⊕3=3⊕1=0, 2⊕2=0)[br][br]写像f:G1→G2について、[br][b][color=#0000ff]N→Z[sub]4[/sub][sub][/sub][/color][/b]でNを4で割った余りを求める。[br]たとえば、f(12+13)=f(25)=1 、f(12)⊕f(13)=0⊕1=1から、f(12+13)=f(12)⊕f(13)[br]一般に、どんなx、yについてもf(x + y) =f(x)⊕f(y) [br][color=#0000ff][u][b]演算結果の写像は、写像の演算結果に等しい[/b][/u][/color]。[br]2つの群で、これが言えるときにfを[b]準同型写像[/b]という。[br][br][b]三角形の相似でイメージしてみよう。[br]平面G1にある3点A,B,Cがx、x+y、yで、Bにできる角は演算+できまる。[br]平面G2にある3点A',B',C'がf(x),f(x)[b]⊕f([/b]y),f(y)で、B'にできる角は演算⊕で決まる。[br]すると、平面G1の角x+yを写した先f(x+y)が[b]f(x)[b]⊕f([/b]y)に重なるということだね。[/b][br][br]写像fが演算による[color=#0000ff][size=150]要素のつながり具合、つまり、形を保つ[/size][/color][color=#0000ff][size=150]相似な写像[/size][/color]といえる。[br]それが準同型写像だ。[br][br][/b]すると、[br]・f(0)=0 だから、[color=#0000ff]f(単位元)=単位元[/color]となる。[br]・f(x)=y、f(-x)=zとする。f(0)=f(x+(-x))=f(x)⊕f(-x)=y⊕z=0だから、z=-y。つまり、[color=#0000ff]f(逆元)=逆元[/color]となる。[br]2つの領域はちがうが、演算の効果は対応している。まるで、2つの図形の相似のようだ。[br][b][br][size=150]<準同型fで大切なこと>[br][/size](必要なこと)[br]・G1で演算した後にfで写しても、fで写した後でG2で演算しても、同一になる。[br][/b]・fでG1の[b]単位元が[/b]G2の[b]単位元にうつる[/b]。[br] 準同型なら、f(e)=f(e*e)=f(e)×f(e) となるね。[br] 両辺にf(e)の逆元をかけて、左辺=f(e)[sup]-1[/sup]×f(e)=単位元、右辺=f(e)だから、f(e)=単位元[br]・fでG1の[b]逆元が[/b]G2の[b]逆元にうつる[/b]。[br] 準同型なら、f(e)=f(x*x[sup]-1[/sup])=f(x)×f(x[sup]-1[/sup])となるね。[br] 両辺にf(x)の逆元をかけて、左辺=逆元、右辺=f(x[sup]-1[/sup])となるから、f(x[sup]-1[/sup])=逆元[br][b](なくてもよいこと)[br][/b]・単射、1対1の写像(別の出発点からfによる行先で同じかぶらない)[b]one-to-one[/b][br]・全射(上への写像)fの像が写像先の領域を全部の上を覆って向かっている。[b]onto[br](部分群にも着目しよう)[br][/b]2つの群の写像fが準同型のとき、[br]・G1のfの像f(G1)を[color=#0000ff][b]Imf[/b][/color]とかく。imfはG2の部分で、単位元の像もあるから[b]部分群[/b]になる。[br]・[b]fの行先が単位元となるもと,核kernel[/b]をf[sup]-1[/sup](1[sub]G2[/sub])を[color=#0000ff][b]kerf[/b][/color]とかく。[br] [b]kerf[/b]は、G1の部分で単位元のもとの単位元たちもあるから[b]部分群[/b]になる。[br]・もしも、kerf=1[sub]G1[/sub]ならG1,G2の単位元が1対1対応となるから、fが[b]単射[/b]ということだね。[br]・[b]部分群は部分群にうつる[/b]。[br] 部分群の単位元、逆元はfで上述の議論と同様にして、単位元、逆元は単位元、逆元にうつるので、[br] imf(部分群)は部分群を作るね。[br] [br][b][size=150]<回転と準同型の例>[/size][/b][br]領域C4:{1, i, -1,-i}[br]領域のサイズ:4[br]演算*:複素数の積。(C4,C4)->C4[br]単位元は1, xの逆元はx[sup]-1[br][/sup][br]領域 行列R4:{R(0),R(π/2),R(π),R(3/2 π)}[br] R(k)=R(π/2 *k)={{sin(π/2*k) , -cos(π/2*k)}, {cos(π/2*k), sin(π/2 *k)}}(K=0,1,2,3とおける。)[br]領域のサイズ:4[br]演算 @:行列の積。(R,R)->R[br]単位元はR(0) , R(x)の逆元はR(-x)。[br][br]写像 [b][color=#0000ff][size=150]f: i ^k->R(π/2*k) [/size][/color][/b][br]つまり、この順にf: {1, i, -1,-i}->{R(0),R(π/2),R(π),R(3/2 π)}に移そう。[br]そうすると、[br]たとえば、f(i*i)=f(-1)=R(π)、f(i)@f(i)=R(π/2)@R(π/2)=R(π) iの2乗は90度回転の2乗。[br]一般に、f(x * y) =f(x)@f(y)[br][u][b][color=#0000ff]積に対応する回転は、対応する回転の積に等しい[/color]。[br][/b][/u]f(1)=R(0)。[color=#0000ff]f(単位元)=単位元[/color][br]f(x)=y、f(-x)=zとする。f(0)=f(x*(-x))=f(x)@f(-x)=y@z=R(0)だから、z=-y。[br]つまり、[color=#0000ff]f(逆元)=逆元[/color]となる。[br][br]領域はちがうけれど、サイズは4で等しい。[br][b]要素が1対1対応(単射)で全射、つまり全単射。[br]つまり、[color=#0000ff]写像が全単射だから、逆向きでも同じく準同型になる[/color]。[br][/b]このように、双方向に準同型になるときは、2つの群は[b]同型[/b]といえるし、[br]写像も同型だ。図形でいうと[b]合同[/b]だね。[br][b][size=200]C4≅R4[/size][/b]になるね。
2.準同型を同型にするわり算
[b][size=150]<剰余系で、準同型を同型にしよう>[br][/size][/b]整数全体Nと領域Z4ではサイズがちがいすぎて、同型のはずがない。[br]そこで、領域Nを写像先と同じサイズの4に分割しよう。[br]4の倍数、H0=4ZでNを分割する。[br][br]H0は4の倍数の集合[br]H1は4で割って1余る数の集合[br]H2は4で割って2余る数の集合[br]H3は4で割って3余る数の集合[br]領域H4:{H0,H1,H2,H3}[br]領域のサイズ:4[br]演算+:2数からとった要素の和が属する集合。(N, N)->N[br]単位元はH0,H[sub]x[/sub]の逆元はH[sub]-x[/sub]。(具体的にはH0+H0=H0,H1+H3=H3+H1=H0, H2+H2=H0)[br][br]領域Z[sub]4[/sub]:{0,1,2,3}[br]領域のサイズ:4[br]演算⊕:2数の和を4で割った余り。(Z[sub]4[/sub], Z[sub]4[/sub])->Z[sub]4[/sub][br]単位元は0, xの逆元は-x(具体的には0⊕0=1,1⊕3=3⊕1=0, 2⊕2=0)[br][br]写像f:H4→Z[sub]4[/sub]でNを4で割った余りを求める。[br] fは順に{H0,H1,H2,H3}->{0,1,2,3}の対応になる。[br]これは明らかに同型写像だね![br][b][color=#0000ff]領域の要素が全単射になれば、準同型+全単射=同型だね。[br][size=200]H4≅Z[sub]4[/sub][/size]だ。[br][/color][/b][br][size=150][b]<空間でも同型写像>[br][/b]領域:線形空間V[br]演算+: 位置ベクトルは和について閉じているから加法群、線形空間。[br][size=100]写像f:V->V[br]Vの各要素に対する計算結果でVをVに変換する。[br][/size][/size]線形代数でも準同型を同型にするために空間を割る方法がある。[br][b][size=150]<dim>は、線形空間の次元[/size][/b][br][size=150][b]<Im[i]f[/i]>は、[/b][/size][size=150][size=100]線形空間の[b]fによる行先、像としての線形空間V[br][/b][size=150][b]<Ker[i]f[/i]>は、[/b][/size][b]f[sup]-1[/sup](0)、つまりfの像が0になる部分空間[/b]。[b]核[Kernel to zero][/b][/size][/size][br][b][size=150][size=200][color=#0000ff][size=100]dimV=dim(Ker[i]f[/i])+dim(rankA)[/size][/color][/size][/size][/b][br]・平面(dimV=2)が直線(dim(Imf)=1)にうつるなら、残った次元は2-1=1が[b]核の次元[/b]だね。[br]・空間が(dimV=3)が直線(dim(Imf)=1)にうつるなら、残った次元は3-1=2元が[b]核の次元[/b]になるね。[br]・また、[size=150][size=100]dim(V/Kerf)=dim(Imf)だから、[b]空間の次元サイズが同じ[/b]なり、V/KerfとImfは同型と言える。[br][/size][/size][color=#0000ff](例)[/color][br]R[sup]2[/sup]からR[sup]2[/sup]への線形写像fの表現がA= [math]\left(\begin{matrix}-1,2\\3,-6\\\end{matrix}\right)[/math]のとき、1行目の3倍を2行目にたすと、[br]A'=[math]\left(\begin{matrix}-1,2\\0,0\end{matrix}\right)[/math]となり、rankは1だから[br][b]dim(Imf)=dim(rankA)=1(Imfは直線)[br][/b]Ax=0とする。[br]x=(x,y)とおくと-x+2y=0でkerfは直線y=1/2で、[b]dim(kerf)=1[/b][br](X,Y)=(-x+2y, 3x-6y) Y=-3Xだから、Imf :y=-3x。[b]dim(Imf)=1(Imfは直線)[/b][br][size=100][size=150][b]dimV=2=1+1=dim(Kerf)+dim(rankA)[br][/b][/size][/size]fは2次元を1次元につぶしているから同型ではない。[br][color=#0000ff][b][br]V/Kerfによって、Vを直線Kerfと同じ傾きの直線の集合に分割する。[br]平面を直線に分類することで、[br][/b][b][br]f’:1直線→1点[br][b]f’:[/b]直線をスライドする→点がスライドする[br][/b]という対応関係ができるから、[br][b][u][br]f:平面→点群の準同型写像(相似)[br][/u]核の割り算によって、[br][u]f’:線群→点群の同型写像(合同)[br][/u][/b]に改造できたとうことだね。[br][b][br]直線を移動すると、その写像f(V/Kerf)はImf上の点となり、点が移動するね[/b][/color]。[br]これで、準同型写像が同型写像に整形できる。[br][color=#0000ff][b][size=150]f’:V/Kerf→imfが同型写像だ。[br][/size][/b][/color][size=200][color=#0000ff][b]V/Ker[i]f[/i]≅im[i]f[/i][/b][/color][/size]だ。
v/Kerfでimfと2つの線形空間を同型にしよう。
4.自己同型から正規部分群を作る
さっきの逆を考えてみよう。[br]これまでの準同型、同型は、2つの異なる領域での[b]異なる2群の関係性[/b]がテーマだった。[br]こんどは1つの領域の[b]1つの群を自分に重ねる方法、つまり、自己同型(変換)[/b]をさぐってみよう。[br]図形でいえば、対称図形を対称移動して自分に重ねる重ね方をさぐるようなものだね。[br][br][b][size=150]<内部自己同型でペアは巡回で計算できる>[br][/size][/b]「群Gの要素gで、要素xにgxg[sup]-1[/sup]をする変換fをigと名付けよう。この写像igは自己合同変換だ。」[br] 理由は、fは、f(xy)=gxyg[sup]-1[/sup]=gxg[sup]-1[/sup]gyg[sup]-1[/sup]=f(x)g(y)だから、準同型写像。[br] e=f(e)[sup]-1[/sup]f(e)=f(e)[sup]-1[/sup]f(ee)=f(e)だから、単位元が単位元にうつるから全単射。だから自己合同だね。[br][color=#0000ff]そこで、この変換igをgによる[b]内部自己同型[/b]と呼び、[br]y=ig(x)と移動するもとと行先のペアx,yを[b]共役[/b]と呼ぶことにする。[br][/color]xのペアyの求め方は、もちろんgxg[sup]-1[/sup]を計算すればよいが、y=gxg[sup]-1[/sup]の面白い方法がある。[br]群Gが対称群Snのとき、y=[math]\binom{\begin{matrix}g\left(1\right),g\left(2\right),....,g\left(n\right)\end{matrix}}{gx\left(1\right),gx\left(2\right),....,gx\left(n\right)}[/math] [br]辞書形式に書くと[br]x={1:x(1), 2:x(2),......, n:x(n)}, g={1:g(1), 2:g(2),......,n:g(n)}のとき、[br]y={g(1):g(x(1)), g(2):g(x(2)),......,g(n):g(x(n))} となる。[br][b][color=#0000ff]つまり、xのキーも値もgを作用させるだけということだ。[br][/color][/b](例)[br]S3で、g=(1 2 3) , x=(1 3 2 )なら, x={1:3, 2:1, 3:2}だからgでサイクリックにxの要素がシフトして、[br] y={2:1, 3:2,1:3}=(1 3 2) となる。x=(1 3) ={1:3, 2:2, 3:1} なら、y={2:1, 3:3, 1:2}=(1 2)となるね。[br]だから、g=(1 2 3)による[color=#0000ff]共役ペアは(1 3 2)→(1 3 2) , (1 3) →(1 2)のようになるね。[br][b]共役は、添字の読み替えをしているだけともいえるので、置換の型は不変だということもわかるね。[br][/b][/color][br][size=150][b]<内部自己同型のペアではみ出さないものたちが正規部分群>[br][/b][/size]・次に、gを動かしてみよう。すると変換igも動いていく。すると、共役のペアも変わると予想される。しかし、特定のかたまりは共役で閉じていることもあるだろう。[br]特に、[b]群Gの部分群Nに対して、gをいろいろ変えて変換igをしても、Nに収まるとき、Nを正規部分群[/b]とする。正規部分群には、こういう定め方もある。[br](Gの自己同型の集合全体を[b]Aut G[/b]とか[b]Auto G[/b]とかく。)[br][br][br][color=#9900ff][b][u][size=150]質問:S3={e,r,s,a,b,c}, N={e,r=(1 2 3),s=(1 3 2)},T={a=(2 3),b=(1 2),c=(1 3)}として、igを変化させてもNの共役がNにとどまることをコードでしらべるにはどうしたらよいでしょう。[br][/size][/u][/b][/color][br]置換で変化しない部分も形式的に統一するために[b]anykey関数[/b]を作り、すべてのキーの変換先を出すようにしましょう。[br][b]igx関数[/b]で、g,xから置換辞書xから共役な置換辞書yを返します。[br][b]igxs関数[/b]は、1つの置換xではなく、群の置換ぜんぶをxsで渡して、ぜんぶ共役にしたリストを返します。[br]make_auto関数は、群Gの部分群Hを渡すと、その全部の要素の、Gの要素gによる共役を計算したリスト[br][b]nameList[/b]を計算しながら表示します。そして、もとのHの要素の集合とnameListを蓄積したリストをユニークな集合にします。最後にそれを比較して、Hが正規部分群かどうかのメッセージを出します。[br]#[IN]Python==============================================================[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]# kの辞書dic_aによる行先を返す。辞書にないなら行先はk。[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]#==================================以上が基本関数====================[br]#辞書リストS,名リストSNから(辞書、名)のタプルのリストにする。[br]def Ndic(S,SN):[br] return list(zip(S,SN))[br]def igx(g,x):[br] global Ssize[br] n = Ssize[br] keys=[ami_go(k,g) for k in range(1,n+1)][br] vals=[ami_go(ami_go(k,x),g) for k in range(1,n+1)][br] return dict(zip(keys,vals))[br]def igxs(g,xs):[br] return [igx(g,x) for x in xs][br]def anykey(d):[br] global Ssize[br] n = Ssize[br] keys=[k for k in range(1,n+1)][br] vals=[ami_go(k,d) if ami_go(k,d)!=None else k for k in range(1,n+1)][br] return dict(zip(keys,vals))[br]#=========ここからがデータ入力[br]Ssize=3[br]e={1:1,2:2,3:3}[br]s=anykey(ami2dic([1,2,3]))[br]r=anykey(ami2dic([1,3,2]))[br]b=anykey(ami2dic([1,2]))[br]c=anykey(ami2dic([1,3]))[br]a=anykey(ami2dic([2,3]))[br]S=[e,r,s,a,b,c][br]E=[e,r,s][br]A=[e,a][br]B=[e,b][br]C=[e,c][br]SN=["e","r","s","a","b","c"][br]Nlist=Ndic(S,SN)[br]#内部自己同型の演算表を作る[br]def make_auto(H):[br] global Nlist[br] targetset = set(names(H))[br] goalList= [][br] G = [x[0] for x in Nlist][br] print("igの対象=",names(H))[br] for item in G:[br] nameList= names(igxs(item,H))[br] print(name(item),"→",nameList)[br] goalList.extend(nameList)[br] goalset=set(goalList)[br] print(targetset,"→",goalset)[br] msg = f"だから、{targetset}は正規部分群"[br] msg += "です。" if targetset == goalset else "ではありません。" [br] print(msg)[br] return True[br]print("G∍gによる内部自己同型")[br]make_auto(E)[br]make_auto(A)[br]make_auto(B)[br]make_auto(C)[br][OUT]====================[br]G∍gによる内部自己同型[br]igの対象= ['e', 'r', 's'][br]e → ['e', 'r', 's'][br]r → ['e', 'r', 's'][br]s → ['e', 'r', 's'][br]a → ['e', 'r', 's'][br]b → ['e', 'r', 's'][br]c → ['e', 'r', 's'][br][b]{'e', 'r', 's'} → {'e', 'r', 's'}[br]だから、{'e', 'r', 's'}は正規部分群です。[br][/b]igの対象= ['e', 'a'][br]e → ['e', 'a'][br]r → ['e', 'b'][br]s → ['e', 'c'][br]a → ['e', 'a'][br]b → ['e', 'c'][br]c → ['e', 'b'][br][b]{'e', 'a'} → {'e', 'c', 'b', 'a'}[br]だから、{'e', 'a'}は正規部分群ではありません。[/b][br]igの対象= ['e', 'b'][br]e → ['e', 'b'][br]r → ['e', 'c'][br]s → ['e', 'a'][br]a → ['e', 'c'][br]b → ['e', 'b'][br]c → ['e', 'a'][br]{'e', 'b'} → {'e', 'c', 'b', 'a'}[br]だから、{'e', 'b'}は正規部分群ではありません。[br]igの対象= ['e', 'c'][br]e → ['e', 'c'][br]r → ['e', 'a'][br]s → ['e', 'b'][br]a → ['e', 'b'][br]b → ['e', 'a'][br]c → ['e', 'c'][br]{'e', 'c'} → {'e', 'c', 'b', 'a'}[br]だから、{'e', 'c'}は正規部分群ではありません。[br]
3.正規部分群から同型を作る
[b][size=150]<あみだくじでも同型にする>[br][/size][/b]3本あみだG=S3={e, r=(1 2 3),s=(1 3 2), a=(2 3), b=(1 2), c=(1 3)]とするとき、 [br]群Gを正規部分群N={e,r,s}で,NとT={a,b,c}の2つの剰余類に分割した。[br]すると、剰余類というマスクをかけることで、G/Nは奇数1,偶数0の加法群と同型な群になったね。[br]そのせいで、sN=Ns,aN=Na,......などになり[br]G=N+aN=N+Na=N+Tのように、Gを1つの決まった分解で表現できる。[br]G全体を正規部分群単位のわり算によって、きれいに分解できたわけだ。[br]あのガロアは、この分解のことを「固有分解」と呼んでいる。[br]6÷3=2個の類(コセット)。[br]群÷群のところの回でわかったように、[br][color=#0000ff][b][size=150]剰余類(コセット)どうしの演算を代表元を使っても群となる[/size][/b][/color]。これを[color=#0000ff][b]剰余群[/b][/color]という。[br][color=#0000ff][b]群(G,*)と正規部分群N◁Gから新しい剰余群(G/N, ★)が作れた。[br]これって、群の同型を作る方法になっていたんだね。[br][br][/b][/color]f:G/N → Z[sub]2[/sub]={0 ,1}[br]演算:あみだの連結→剰余の加法[br]サイズ:ともに2[br][size=150][color=#0000ff][b][size=200]G/N≅Z[sub]2[/sub][/size][/b][/color][/size]だね。[br][b][size=150][br]<一般化しよう>[/size][/b][br]G=S3の正規部分群NでGを割ると、G/NはNとTの固まりに分かれ、剰余群(G/N.★)[br]Nが0、Tが1の、2で割ったあまりの群Z2と[br]同型になった。これを写像fとすると、[br]f(N)→0になるから、N=kerf(fの核は正規部分群)ということだ。[br]そして、Z[sub]2[/sub]=f(G)[br]G/N=G/Kerfだから、[br][color=#0000ff][b][size=200]G/Kerf≅f(G)[br][/size][/b][/color][br]同様にして、n次交代群はn次対称群の正規部分群となるね。[br]G=Snの正規部分群N=AnをGで割ったG/NはNとTの類に分かれる剰余群(G/N,★)[br]Nが1,Tが1の2で割った余りの群Z2と同型になる。[br]これを写像fとするとf(N)→0でA5=Ker f だから、[b][size=200]Sn/ An[/size][/b][b][size=200]≅Z2[br][/size][/b]
5.置換の型から正規部分群を作る
どんな置換の辞書も行先を出発点にしてたどり、たどり切れない出発点から同じことを繰り返すと、[br]巡回置換の集まりになるね。[br][color=#0000ff]この事実を、どんな置換も[b]互いに素な巡回置換の積に分解[/b]できると言い表すこともできるね。[br][/color](例)[br]対称群S10を考えよう。[br]置換A=(1 2 3 4 5)(6 7 8)(1 2)と巡回置換への積分解ができるなら、置換Aの型は[b](5,3,2)型[/b]だという。[br]置換B=(2 3 4 5 6)(7 8)(1 6 9)と巡回置換への積分解ができるなら、置換Bの型も[b](5,3,2)型[/b]だという。[br]大から小へ巡回置換のサイズをならべると同じになるとき、[color=#0000ff]置換Aと置換Bは[b]同じ型[/b]と呼ぶ[/color]ことにしよう。[br][br][color=#0000ff]対称群Snにかぎっては、部分群Nの[b]どの置換の型も、NとN以外にまたがることがない[/b]。[br][/color]つまり、置換の「同じ型について閉じている」なら部分群Nは[b]正規部分群[/b]だ。[br](例)S3={e,r,s,a,b,c}, N={e,r=(1 2 3),s=(1 3 2)},T={a=(2 3),b=(1 2),c=(1 3)}とすると、[br]Nのr,sは3型、e=(1,1,1)型でこれらの型はNの中に閉じ込められているから、Nは正規部分群だ。[br]たとえば、P={e,a}のような群では、aの方が2型で、2型はPの外にもあるから、Pを正規部分群にすることはできないね。
++記号の演習
数学の抽象化は概念化、[br]つまり「用語と記号」の「約束」の世界だ。[br]群の「約束記号と用語」になれるために、[color=#0000ff][b]群の性質[/b][/color]を記号・用語で確認する演習をしたい人はどうぞ。[br][b][size=150]<準同型写像>[br][/size][/b][size=100]群Gから群G'への写像fで、演算結果の写像が写像の演算結果に等しいのが準同型写像。[br][/size]「どんなx,y∈Gについてもf(x * y) =f(x)⊕f(y)とか、演算記号を略してf(xy)=f(x)f(y)」などとかける。[br]写像の直積f×fを使ってかくと、G上の演算*を写像P, G'上の演算⊕を写像Qとかくと、[br]f×f:G×G→G'×G': (x,y) →(f(x),f(y))という順序対の写像で、[br]演算結果の写像は、f×f(P(x,y))=f(x*y)[br]写像の演算結果は、Q(f×f(x,y))=Q(f(x),f(y))=f(x)⊕f(y)。この2者が等しいのが準同型写像。[br]・準同型写像では単位元eは単位元e'に、逆元g[sup]-1[/sup]は逆元g'[sup]-1[/sup]に写る。[br]・写像fによるGの像をim f。[b]imfは終域G'の部分群[/b]。[br][size=150][b]<正規部分群と同型>[br][/b][size=100]・x∈Gの群Nによる左剰余類と右剰余類が等しくなる(xN=Nx)ときのNが正規部分群で、[br] N◁Gとかく。これは前回やりました。[br][/size][size=100]・群Gの部分群Nに対してすべてのgでした変換結果ig(N)がNに収まるとき、Nは[b]正規部分群[/b]だ。[br][/size][/size]・[b]終域の単位元e'の原像、核[/b]をK=ker f とかく。核はGの正規部分群である。[br] k1,k2∈Kとすると、f(k1*K2[sup]-1[/sup])=f(k1)⊕f(k2-1)=e⊕e=e'で、k1*k2[sup]-1[/sup]∈Kだから、KはGの[b]部分群[/b]。[br] k∈Kにg∈Gで共役作用するとig(k)=gkg-1だから、f(ig(k))=f(g)f(k)f(g[sup]-1[/sup])=e'となり、[br] ig(F)がFに収まるから、Fは[b]正規部分群[/b]になる。[br]・ker f ={e}となるとき、GとG'は同型という。e→e'が単射だからぴったり重なるからです。[b]G≅G’[/b]とかく。[br]・同型は同値関係です。自同律、反射律、推移律が成り立つからです。[br][color=#9900ff][b][size=150]・準同型定理(第1同型定理)[br][/size][/b][/color][b] 準同型写像fから,fの核による商群とfの像との同型ができる。[b]G/Ker f [b]≅im f[/b][/b][br][/b] 群G,G'と準同型写像f:G→G' ;x →f(x)があるとき、商群G/Ker f によって、[br] 同型f':G/Ker f→G';x + Ker f →f(x)に加工できる。[br][br][b][color=#9900ff][u][size=150]質問:可換図式としてコードで表すにはどうしたらよいでしょうか。[br][/size][/u][/color][/b][br]可換図式は、AからBにいくのに、Cを経由してA→C→Bでいけるという図式です。[br]道順ではなくて、写像で2通りの生き方で同じ像にいきつくというのが可換図式だね。[br][br]グラフパッケージというのは、設定を細かくしなくても見やすくレイアウトしてくれたり、レイアウトの[br]型を指定することで、大量のデータを視覚化できる利点があるね。[br]でも、少ないデータで希望のレイアウトにすることがかえって大変なこともある。[br][br]graphvizは日本語対応しているけれど、かってに、ノード位置を変えたり、線を曲線にしてしまう。[br]線を直線に限定することは指定で変えられるけれども、群を直角三角形に配置することが難しい。[br]そこで、networkxというパッケージを選ぼう。ただし、matplotlib配下で描画しているので、日本語化[br]を先にしなければならない。[br][br]まず、matplotlibを日本語化しましょう。[br]たとえば、chromebookでは、jupyter notebook上で[br]日本語フォントをmatplotlib用にインストールします。[br][b][IN][br]pip install japanize-matplotlib[/b][br]インストールされたフォント家族の名前を表示します。[br][IN][br][b]print( plt.rcParams['font.family'] )[br][/b][OUT][br]['sans-serif']から、['[color=#0000ff][b]IPAexGothic[/b][/color]']に変わったとしたら、[br]networkxでのラベル表示でこのフォント家族を指定することをお忘れなく。[br]辺を矢線でかきます。だから、Graphではなく、DiGraphです。[br][b][color=#0000ff]G = nx.DiGraph()[br][/color][/b]あとで、2部グラフ([b][color=#0000ff]bipartite_layout[/color])[/b]に指定したレイアウト位置([b][color=#0000ff]pos[/color][/b])を取得して、あとで使います。[br]fが左側にかく群、nが右側にかく群です。[br]描画の順番の関係上、f,nのそれぞれで0番目が下に、1番目が上にくるので要注意です。[br]直角三角形がうまくかけないので、空の名前を使い長方形状に配置します。[br]そして、空のノードを消したいので、ノードの色を'[b]white[/b]'にすることで空のノードを[br]消すことができるでしょう。[br]最後に描画する関数の引数は、グラフ構造体Gとレイアウト位置が位置の決まったpositionalパラメータ[br]だけど、そのあとは、自分で調べて、→の形状や色、文字の大きさをoptionalパラメータで入れてみよう。[br]たとえば、こんな感じだ。[br]nx.[b]draw_networkx_edge_labels[/b](G, pos, [br]edge_labels=labels,font_family='IPAexGothic',font_size=15,rotate = False,verticalalignment='baseline')[br]nx.[b]draw_networkx[/b](G,pos,[br]node_color=colorList,edge_color ='green',font_size=20,verticalalignment='baseline',arrowsize=20)[br][br][br][IN][br]import japanize_matplotlib[br]import numpy as np [br]from matplotlib import pyplot as plt[br]import networkx as nx[br][br]def kakanzushiki(f,n,funcs,E):[br] # グラフの作成[br] G = nx.DiGraph()[br] G.add_nodes_from(f, bipartite=0)[br] G.add_nodes_from(n, bipartite=1)[br] G.add_edges_from(E)[br] [br] # グラフを描画[br] pos = nx.bipartite_layout(G, f)[br] colorList = ['white']*(len(f) + len(n))[br] labels = nx.get_edge_attributes(G, 'label')[br] nx.[b]draw_networkx_edge_labels[/b](G, pos, edge_labels=labels,[br] font_family='IPAexGothic',font_size=15,rotate = False,verticalalignment='baseline')[br] nx.[b]draw_networkx[/b](G,pos,node_color=colorList,edge_color ='green',font_size=20,[br] verticalalignment='baseline',arrowsize=20)[br] plt.show()[br] [br]# グラフの設定と実行================================================================[br]#下におく群の名前を先にする。[br]f = ["A","C"][br]n = ["B"][br]funcs=["f", "g","h"][br]f.reverse()[br]n=n+[""][br]n.reverse()[br]E = [(f[1],n[1], {'label':funcs[0]}),(f[1],f[0], {'label': funcs[1]}),(f[0],n[1], {'label':funcs[2]})][br]kakanzushiki(f,n,funcs,E)
一般の可換図式
準同型定理の可換図式
第1同型定理の可換図式1
第1同型定理の可換図式2
・2要素の積の集合[color=#0000ff][b]HN={h*n|h∈H[/b][/color][math]\le[/math][color=#0000ff][b]G,n∈N◁G}[/b][/color]について、[b][color=#0000ff]N◁HN[/color][/b][math]\le[/math][b][color=#0000ff]G[/color][/b]となる。[br] h,h1,h2∈H,n,n1,n2∈N、x=h1*n1,y=h2*n2∈HNとおき、x*y[sup]-1[/sup]=(h1*n1)*(h2*n2)[sup]-1[/sup]=h1*n1*[u]n2[sup]-1[/sup]*h2[sup]-1[/sup][/u]=[br] h1*[u]h2[sup]-1[/sup]*h2[/u]*n1*n2[sup]-1[/sup]*h2[sup]-1[/sup]=h1*h2[sup]-1[/sup]*(h2*n1*n2[sup]-1[/sup]*h2[sup]-1[/sup])=h*(h2*n*h2[sup]-1[/sup])∈HN。[br](カッコの中は、正規部分群に共役作用をしているのでNに収まるから。)だから、HNはGの部分群。[br] e∈Hだから、N∋n=ne∈HNとなり、N[math]\subset[/math]NHだから、N[math]\le[/math]HN。[br] またN◁Gだから、x∈HNでNを共役なxNx[sup]-1[/sup]はNに収まり[b][color=#0000ff]NはHNの正規部分群[/color][/b]。[br][b][size=150]<同型定理>[br][/size][color=#0000ff]・第2同型定理[br][/color][/b] Gの部分群Hと正規部分群Nに対して、[br] HからHN/Nへの全単射準同型fの核は(H∩N)で、H∩NはHの正規部分群だから、[b]HN/N≅H/(H∩N)[br] これを可換図式にあてはめて表示してみよう。[br][/b]・HからHN/Nへの全単射準同型fの核が(H∩N)であることさえ言えれば図式から明らかだね。[br] x∈H∩Nは群Hの要素でもありNの要素でもあるから、[br] xNはNに収まるので、Nで割れば単位元に属する。つまり、f(H∩N)=e。[br] だから、H∩Nはfの核になる。fの核はHの正規部分群だから、fの核H∩NでHを割った剰余類と[br] fの像NH/Hは同型になるね。[br](例)G=S4のとき、その部分群H={x|x(1)=1}≅S3に対して、N=V4={(1),(12)(34),(13)(24),(14)(23)}とする。Nの(1)以外の置換の(ab)(cd)型は、Nにすべて含まれるので、共役作用でNに収まるからNはGの正規部分群。しかも、上の定理から[color=#0000ff]HN={h*n|h∈H[/color][math]\le[/math][color=#0000ff]G,n∈N◁G}[/color]について、[color=#0000ff]N◁HN[/color][math]\le[/math][color=#0000ff]G[/color]となる。[br]HからHN/Nへの全単射準同型fの核は(H∩N)=(1)でHの正規部分群でHN/N[b]≅H/(1)=H=S3となる。[br][/b]|N|=4, |S3|=3!=6だから、|HN|=4☓6=24=4!=|S4|となる。
[color=#0000ff][b]・第3同型定理[/b][/color][br] 群Gの2つの正規部分群H,NでN[math]\le[/math]Hのときは[br] G/NからG/Hへの準同型写像fで、f(xN)=xHとなるものがある。[br]fの核はH/Nだから、核で割った剰余群(G/N)/(H/N)とG/Hは同型。つまり、[b]G/H≅(G/N)/(H/N)[/b][br]これを可換図式でかこう。[br]Gの要素xに対するNによる剰余類xNからHによる剰余類xHへの写像を考える。[br]y∈Nとすると、N[math]\le[/math]Hだから、y∈Hでもある。だから、xyH=xHとなるので、xNからxHへの準同型ができる。[br](例)G=<x>=C8, N=C2=<x[sup]4[/sup]>,H=C4=<x[sup]2[/sup]>とすると、N,HはGの正規部分群で、N[math]\le[/math]H。[br]G/H=C8/C4。(G/N)/(H/N)=(C8/C2)/(C4/C2)。だから、分数の性質みたいに同型になる。

Informazioni: 群にも相似と合同がある?