原创 A~K系列有限環序列的n階矩陣表示(3個1階表示,2個4階表示,6個2階表示)

D:\MathTool\gaptool>IRing A4=R4_1:N0n0bAbOn1n2n4n5n6n7n8S1N2=[1,1,2],4,1,0,4,1,3,3,16,3,4,[1,1,2],[] B4=R4_2:N0n0bAbOn1

原创 16階環的結構分析(二)

16階環M2(Z/(2))的單個和2個生成元的真子環的子環ID分佈I1I2: R16_300:N0n0bAbOn1n2n4n5n6n7n8S1N2=[1,15,0,0,0],2,0,1,10,8,3,3,58,9,2,[1,10,5,0,

原创 GAP計算環不變量的命令

環不變量左邊如果要加上N0n0就添加如下命令: gap> getS1:=function(L1,LL1) local S1,a,b,n;S1:=[];for a in L1 do n:=0;for b in LL1 do if b=a a

原创 16階可分解環

IRing* newR4(int i) {     if(i==1)     {         ZmodnZ* r=new ZmodnZ(4,16);         return r;     }     if(i==2)     {

原创 直接從凱萊表構造一個有限環,輸出Id和環結構不變量N0n0bAbOn1n2n4n5n6n7n8S1N2

D:\MathTool\gaptool>IdRing R8_10.txt R8_10:N0n0bAbOn1n2n4n5n6n7n8S1N2=[1,3,4,0],4,0,0,8,1,5,7,48,7,2,[1,3,4,0],[[4,2,8]

原创 有限羣序列的4個伴隨有限羣序列

Zmn:=function(m,n) F:=FreeGroup(2);;G:=F/[F.1^4,F.2^4,(F.1^m*F.2^m)^n,F.1^(-1)*F.2*F.1^(-1)*F.2];;return G;end;; 該有限羣序列

原创 W系列的有限羣序列

定義W系列的有限羣序列Wmn(m,n): n*m*m階羣Wmn(m,n), Wmn(2,n)=Dih(4n) W_32=Wmn(4,2)=GAP[32,13] W_48=Wmn(4,3)=GAP[48,11] gap> Wmn:=func

原创 16階Pauli group P_16的兩種推廣

n爲奇數時,8n階泡利羣P8n(n)有1個2n階的二面體子羣PD(n)=Dih(2n);n爲偶數時,8n階泡利羣P8n(n)有1個4n階的二面體子羣PD(n)=Dih(4n)。 PD(1)=Dih(2)=C_2 PD(2)=Dih(8)=

原创 GL(n,R)的有限子羣

D:\go20190906\src\IGroup>GLnR GL(2,R)的4階子羣:bO=1 0->Det=1,Tr=2.000=>0->Det=1,Tr=2.000 1->Det=1,Tr=-0.000=>3->Det=1,Tr=0.

原创 S_9的子羣

GAP命令求n>=9以上的對稱羣S_n的所有子羣時,會報錯。 gap> G:=SymmetricGroup(9);;S:=AllSubgroups(G);;N:=NormalSubgroups(G);;S1:=[];;for g in S

原创 SU(2)的有限子羣

D:\go20190906\src\IGroup>SU2D:\go20190906\src\IGroup>SU2 SU(2)的24階子羣: 0->[[0.000,0.000,0.000],1.000],EulerAngle=(0,0,0)

原创 C++中有限羣接口的聲明與實現

D:\go20190906\src\IGroup>IGroup GAP[8,5]=E_8: 0->[0,0,0]=>0->[0,0,0] 1->[1,1,1]=>1->[1,1,1] 2->[0,0,1]=>2->[0,0,1] 3->[

原创 GL(n,C)的有限子羣

D:\go20190906\src\IGroup>GLnC GL(2,C)的8階子羣:bU=1,bO=0 0,Tr=(2.000,0.000)=>0,Tr=(2.000,0.000) 1,Tr=(-0.000,0.000)=>6,Tr=(

原创 生成Abel羣及其對應的廣義二面體羣凱萊表的工具GD.exe(C++版本)

這是上一篇文章中Yn.exe工具的推廣。 D:\go20190906\src\SmallRing>cl /c /D PRINT_STDOUT GD.cpp 用於 x86 的 Microsoft (R) C/C++ 優化編譯器 17.00.

原创 幾種置換表達方式的互轉(golang版本)

D:\go20190906\src\SmallRing>go build Permutation.go [0x7FEF9EE3C50] ANOMALY: meaningless REX prefix used # command-line