「A4は自己同型群ではない」という表示が出るのは,群同型判定で真を返していないためだ.「置換リストを使わない」は真になっているので,実行されているのはPermutation.Createだけだ.この関数はArrayListを返しているだけなので,同型判定の結果についてはここでは何も言えない.対象となっている準同型にはアクセスできるので,ここに結果を格納できるようにしておこう.⇒結果は同じだ.A4は恒等写像以外に自己同型となるような置換(全単射)を持っていないように思われる.⇒V4で試してみたが結果は同じだ.
おかしい.どこか壊してしまったのだろうか?「置換リストを使わない」オフで置換数不一致が発生してしまった.⇒肝心なところが止めてあった.これを復活させて,V4は自己同型群であるということになった.V4は群同型写像を5つ持っている.
#1. 群同型写像:map1=1,2,4,3, map2=1,2,3,4, (3 4)
#2. 群同型写像:map1=1,3,2,4, map2=1,2,3,4, (2 3)
#3. 群同型写像:map1=1,3,4,2, map2=1,2,3,4, (2 3 4)
#4. 群同型写像:map1=1,4,2,3, map2=1,2,3,4, (2 4 3)
#5. 群同型写像:map1=1,4,3,2, map2=1,2,3,4, (2 4)
これは正しいのではないかと思う.従って,「A4は自己同型群ではない」という言い方は,少なくともこの場では通用する.⇒従来論理,つまり「置換リストを使う」の答えが正しいとすれば,「置換リストを使わない」では間違えていることになる.見直しが必要だ.その都度テストするのとまとめてテストするので結果が異なるというのはおかしい.パラメータの渡し方が悪いのだろうか?⇒どこかで群Aの台集合を書き換えている!⇒群Aの台集合と一致するか否かの検査をパスするようにして同型判定に入れるようになったが,今度は24個の全単射のすべてが同型ということになってしまった.
従来論理では5個のみということになっているので,これは明らかにおかしい.準同型検定でAとBのmapが同一になっている.これもかなりおかしい.この動作は「置換リストを使わない」場合に限られている.どこかで余分なことをしているようだ.どうも,この論理には何かかなりひどい欠陥があるように思われる.おそらく,配列の参照に関わる事象と思われるが,使いまわししているアドレスが参照になっていて,書き込まれているような感じだ.⇒map1とmap2が繋がってしまっている.map1にはA.台集合,map2にはB.台集合が入っている.
おそらく,最初からA=Bになっているのだろう.準同型や写像のコンストラクタで=ではなく,コピーしなくてはダメなのではないか?⇒確かにそのようだ.かなり面倒な話になってきた.すべてのクラスを作り直さなくてはならない.一度終了して出直すことにしよう.
▲群の検査でスタックオーバーフローが発生した.⇒群の検査の中で自己同型検定を実施しなければスタックオーバーフローは起きない.
ようやくノーマルな動作になった.V4では恒等写像を含め6個の同型写像が確認された.自己同型検定では写像と準同型をnewで生成しているが,準同型のコンストラクタでは群1,群2,写像をそれぞれ生成している.これは参照でもよいのでは?⇒問題なさそうだ.これでよいのではないかと思う.共役変換検定も復活できた.A4をテストして恒等写像を含め3つの同型写像が検出されたが,その後無応答の状態に陥った.
#1 Permute 準同型:a,b,c,d,e,f,g,h,i,j,k,l,
#2 Permute 準同型:a,b,c,i,h,g,k,j,l,e,f,d,
#3 Permute 準同型:a,b,c,l,j,k,f,e,d,h,g,i,
この後どのくらい掛かるのか見当も付かない.⇒一昼夜放置して,#24まで進んだ.
#1 Permute 自己同型:a,b,c,d,e,f,g,h,i,j,k,l,
#2 Permute 自己同型:a,b,c,i,h,g,k,j,l,e,f,d,
#3 Permute 自己同型:a,b,c,l,j,k,f,e,d,h,g,i,
#4 Permute 自己同型:a,c,b,d,f,e,j,k,l,g,h,i,
#5 Permute 自己同型:a,c,b,i,g,h,e,f,d,k,j,l,
#6 Permute 自己同型:a,c,b,l,k,j,h,g,i,f,e,d,
#7 Permute 自己同型:a,e,g,d,k,c,h,f,l,b,j,i,
#8 Permute 自己同型:a,e,g,i,b,j,c,k,d,f,h,l,
#9 Permute 自己同型:a,e,g,l,f,h,j,b,i,k,c,d,
#10 Permute 自己同型:a,f,j,d,h,b,k,e,i,c,g,l,
#11 Permute 自己同型:a,f,j,i,e,k,g,c,l,h,b,d,
#12 Permute 自己同型:a,f,j,l,c,g,b,h,d,e,k,i,
#13 Permute 自己同型:a,g,e,d,c,k,b,j,i,h,f,l,
#14 Permute 自己同型:a,g,e,i,j,b,f,h,l,c,k,d,
#15 Permute 自己同型:a,g,e,l,h,f,k,c,d,j,b,i,
#16 Permute 自己同型:a,h,k,d,g,j,e,b,l,f,c,i,
#17 Permute 自己同型:a,h,k,i,f,c,j,g,d,b,e,l,
#18 Permute 自己同型:a,h,k,l,b,e,c,f,i,g,j,d,
#19 Permute 自己同型:a,j,f,d,b,h,c,g,l,k,e,i,
#20 Permute 自己同型:a,j,f,i,k,e,h,b,d,g,c,l,
#21 Permute 自己同型:a,j,f,l,g,c,e,k,i,b,h,d,
#22 Permute 自己同型:a,k,h,d,j,g,f,c,i,e,b,l,
#23 Permute 自己同型:a,k,h,i,c,f,b,e,l,j,g,d,
#24 Permute 自己同型:a,k,h,l,e,b,g,j,d,c,f,i,
まだ,初期画面は出ていない.