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,0],[[2,2,198]]
I1I2=[[1,1,1],[2,1,3],[2,2,7],[4,9,3],[4,11,2]],[[2,1,3],[2,2,7],[4,7,9],[4,8,9],[4,9,12],[4,10,9],[4,11,5],[8,49,18]]
R4_7:N0n0bAbOn1n2n4n5n6n7n8S1N2=[1,3,0],2,0,0,4,3,1,1,10,1,1,[1,3,0],[[2,2,6]]
I1I2=[[1,1,1],[2,1,1],[2,2,2]],[[2,1,1],[2,2,2]]
20200624问题 ：1、寻找以下8种8阶环的矩阵表示：R8_6、R8_9、R8_12、R8_18、R8_7、R8_14、R8_17、R8_22。 2、寻找以下4种16阶可分解环的矩阵表示：R4_1×R4_7=R16_209、R4_1×R4_8=R16_255、R4_2×R4_7=R16_215、R4_2×R4_8=R16_256
20200623：找到了R8_39的4阶矩阵表示(20160929问题已获解决)：R8_39是65536阶环M4(Z/(2))的一个8阶子环，R8_39:=[[0,0,0,0],[0,0,0,0],[1,0,0,1],[1,0,0,0]],[[0,0,0,0],[1,0,0,0],[0,1,0,0],[1,0,0,0]]
20200616~0618：找到了R8_6、R8_9、R8_12、R8_18的商环表示(还剩1种)：
Rppp(26,4)/R8_5=R8_9
Rppp(28,4)/R8_5=R8_6
R8_6是R16_116=R4_2×R4_1的8阶商环，也是R16_207=R4_5×R4_1的8阶商环
R8_12是R16_213=R4_5×R4_2的8阶商环
R16_76是262144阶环M3Z4的16阶子环,R16_76:=[[0,0,0],[0,0,0],[3,0,2]],[[0,0,0],[1,2,2],[0,2,2]],R16_76/R2_1=R8_18
20200604：找到了R8_32的2阶矩阵表示(还剩5种)，R8_32是256阶环M2(R4_9)的一个8阶子环，R8_32=RingByGenerators([[3,1],[0,0]],[[0,1],[0,3]])
20200519：找到了R8_31的2阶矩阵表示(还剩6种)，R8_31是256阶环M2(R4_9)的一个8阶子环，R8_31=RingByGenerators([[0,2],[0,0]],[[3,2],[0,3]])
20200514：找到了R8_8的2阶矩阵表示(还剩7种)，R8_8是256阶环M2(Z/(4))的一个8阶子环，R8_8=RingByGenerators([[0,1],[0,0]],[[2,0],[0,0]])
20200511：找到了R8_11的多项式剩余类环表示(还剩8种)，R8_11=Z/(4)[x]/([[x+x^2],[2]],[x^2+x^3])
20200604：找到了R8_36的2阶矩阵表示，R8_36是256阶环M2(R4_10)的一个8阶子环，R8_36=RingByGenerators([[1,1],[1,1]],[[1,3],[2,0]])
20200509：找到了R8_36的商环表示(还剩9种)，R8_36=R16_201/Center(R16_201)
[4] => [1 4] 是理想 ,是中心 ,商环: [[1 4] [2 8] [3 10] [5 12] [6 13] [7 14] [9 15] [11 16]]
16阶环R16_201的运算为Z/(4)上的2阶矩阵加法和乘法，16个环元素是下面的16个2阶矩阵：
1->[[0,0],[0,0]]
2->[[0,0],[0,1]]
3->[[0,2],[2,0]]
4->[[0,0],[0,2]]
5->[[0,0],[2,0]]
6->[[0,2],[2,1]]
7->[[0,2],[0,0]]
8->[[0,0],[0,3]]
9->[[0,0],[2,1]]
10->[[0,2],[2,2]]
11->[[0,2],[0,1]]
12->[[0,0],[2,2]]
13->[[0,2],[2,3]]
14->[[0,2],[0,2]]
15->[[0,0],[2,3]]
16->[[0,2],[0,3]]
20200401：R8_37、R8_24（R8_24是R16_105=Z[i]/(4)的8阶理想子环ZimodnZObj(1+i,4)）的表示找到了，所以还剩下12种8阶环的表示没找到。

有限循环环的理想子环表示：Z／(n)的理想子环mZ/nZ
有限交换环的理想子环表示：Z[i]／(m+ni)、Z[ω]／(m+nω)、Z[E(n)]／(m+nE(n))的理想子环
克罗内克-韦伯定理（1853-1886）：有理数域的任一阿贝尔扩张一定是分圆域的子域。
20200406猜想1：有限交换环一定可以表示为分圆整数环剩余类环的子环。
20200406猜想2：n阶有限环一定可以表示为k阶系数环R_k上的k^(m^2)阶全矩阵环M_m(R_k)的子环。
证明a+bi、a+bω都是代数整数：a+bi的首1多项式是(x-a)^2+b^2=x^2-2ax+(a^2+b^2)，a+bω的首1多项式是(x-a)^3-b^3
Z[E(8)]中的代数整数形如：a+bE(8)+cE(8)^2+dE(8)^3
乘积：(a1+b1E(8)+c1E(8)^2+d1E(8)^3)(a2+b2E(8)+c2E(8)^2+d2E(8)^3)=a1a2+(a1b2+b1a2)E(8)+(b1b2+a1c2+c1a2)E(8)^2+(b1c2+c1b2+a1d2+d1a2)E(8)^3+(c1c2+b1d2+d1b2)(-1)
+(c1d2+d1c2)(-E(8))+(d1d2)(-E(8)^2)=a1a2-c1c2-b1d2-d1b2+(a1b2+b1a2-c1d2-d1c2)E(8)+(b1b2+a1c2+c1a2-d1d2)E(8)^2+(b1c2+c1b2+a1d2+d1a2)E(8)^3
范数：Norm(a+bE(8)+cE(8)^2+dE(8)^3)=(a^2-c^2+2bd)^2+(d^2-b^2+2ac)^2
gap> L:=[1,E(8),E(8)^2,E(8)^3,E(8)^4,E(8)^5,E(8)^6,E(8)^7];List(L,Order);
[ 1, E(8), E(4), E(8)^3, -1, -E(8), -E(4), -E(8)^3 ]
[ 1, 8, 4, 8, 2, 8, 4, 8 ]

R8_23=ZimodnZObj(2i,8)【还剩10种】
S(R8_23)=6,[1,2,2,2,4,8]
N(R8_23)=6,[1,2,2,2,4,8]
4阶理想子环：R4_4
4阶商环：R4_1、R4_5、R4_2
R8_16={0,2,4,6,4i,2+4i,4+4i,6+4i}mod8
S(R8_16)=8,[1,2,2,2,4,4,4,8]
N(R8_16)=8,[1,2,2,2,4,4,4,8]

R8_24=ZimodnZObj(1+i,4)
1->0+0i
2->1+1i
3->0-2i
4->-2-2i
5->1-1i
6->-1-1i
7->-2+0i
8->-1+1i
[R8Add]
1 2 3 4 5 6 7 8 
2 4 5 6 7 1 8 3 
3 5 1 7 2 8 4 6 
4 6 7 1 8 2 3 5 
5 7 2 8 4 3 6 1 
6 1 8 2 3 4 5 7 
7 8 4 3 6 5 1 2 
8 3 6 5 1 7 2 4 
[R8Mul]
1 1 1 1 1 1 1 1 
1 3 4 1 7 3 4 7 
1 4 1 1 4 4 1 4 
1 1 1 1 1 1 1 1 
1 7 4 1 3 7 4 3 
1 3 4 1 7 3 4 7 
1 4 1 1 4 4 1 4 
1 7 4 1 3 7 4 3 
R8_21=ZimodnZObj(1+2i,4)
1->0+0i
2->1-2i
3->1+0i
4->-2+0i
5->-2-2i
6->-1-2i
7->-1+0i
8->0-2i
[R8Add]
1 2 3 4 5 6 7 8 
2 4 5 6 7 1 8 3 
3 5 4 7 6 8 1 2 
4 6 7 1 8 2 3 5 
5 7 6 8 1 3 2 4 
6 1 8 2 3 4 5 7 
7 8 1 3 2 5 4 6 
8 3 2 5 4 7 6 1 
[R8Mul]
1 1 1 1 1 1 1 1 
1 3 2 4 5 7 6 8 
1 2 3 4 5 6 7 8 
1 4 4 1 1 4 4 1 
1 5 5 1 1 5 5 1 
1 7 6 4 5 3 2 8 
1 6 7 4 5 2 3 8 
1 8 8 1 1 8 8 1 
R16_105=Z[i]/(4)=ZimodnZObj(2+i,4)
1->0+0i
2->-2+1i
3->-1+0i
4->0-2i
5->-2-1i
6->1+1i
7->-2+0i
8->1+0i
9->1-1i
10->-1-2i
11->0+1i
12->-1+1i
13->-1-1i
14->0-1i
15->-2-2i
16->1-2i
[R16Add]
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 
2 4 6 5 1 10 11 12 3 9 15 16 8 7 14 13 
3 6 7 10 9 11 8 1 14 15 12 2 5 13 16 4 
4 5 10 1 2 9 15 16 6 3 14 13 12 11 7 8 
5 1 9 2 4 3 14 13 10 6 7 8 16 15 11 12 
6 10 11 9 3 15 12 2 7 14 16 4 1 8 13 5 
7 11 8 15 14 12 1 3 13 16 2 6 9 5 4 10 
8 12 1 16 13 2 3 7 5 4 6 11 14 9 10 15 
9 3 14 6 10 7 13 5 15 11 8 1 4 16 12 2 
10 9 15 3 6 14 16 4 11 7 13 5 2 12 8 1 
11 15 12 14 7 16 2 6 8 13 4 10 3 1 5 9 
12 16 2 13 8 4 6 11 1 5 10 15 7 3 9 14 
13 8 5 12 16 1 9 14 4 2 3 7 15 10 6 11 
14 7 13 11 15 8 5 9 16 12 1 3 10 4 2 6 
15 14 16 7 11 13 4 10 12 8 5 9 6 2 1 3 
16 13 4 8 12 5 10 15 2 1 9 14 11 6 3 7 
[R16Mul]
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 
1 3 5 7 8 9 4 2 13 14 10 6 12 16 15 11 
1 5 8 4 2 13 7 3 12 16 14 9 6 11 15 10 
1 7 4 1 7 15 1 4 15 4 7 15 15 7 1 4 
1 8 2 7 3 12 4 5 6 11 16 13 9 10 15 14 
1 9 13 15 12 4 15 6 7 6 12 7 4 9 1 13 
1 4 7 1 4 15 1 7 15 7 4 15 15 4 1 7 
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 
1 13 12 15 6 7 15 9 4 9 6 4 7 13 1 12 
1 14 16 4 11 6 7 10 9 8 5 12 13 2 15 3 
1 10 14 7 16 12 4 11 6 5 3 13 9 8 15 2 
1 6 9 15 13 7 15 12 4 12 13 4 7 6 1 9 
1 12 6 15 9 4 15 13 7 13 9 7 4 12 1 6 
1 16 11 7 10 9 4 14 13 2 8 6 12 3 15 5 
1 15 15 1 15 1 1 15 1 15 15 1 1 15 1 15 
1 11 10 4 14 13 7 16 12 3 2 9 6 5 15 8 

C:\soft\MathTool\gaptool>subrings R16_105_.txt 2
[0,3]=>[0,3]=R2_1不是理想<