16阶环的结构分析

R16_8=ZE3modnZObj(6+12ω,16)：2有零因子交换无幺环,1,0,16,1,7,7,128,15,16
[1] => [1] 是理想  ,商环: [[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]]
[R16Add]
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 
2 4 6 7 8 10 5 11 12 13 14 15 9 1 16 3 
3 6 5 10 9 8 13 12 1 11 15 2 14 16 4 7 
4 7 10 5 11 13 8 14 15 9 1 16 12 2 3 6 
5 8 9 11 1 12 14 2 3 15 4 6 16 7 10 13 
6 10 8 13 12 11 9 15 2 14 16 4 1 3 7 5 
7 5 13 8 14 9 11 1 16 12 2 3 15 4 6 10 
8 11 12 14 2 15 1 4 6 16 7 10 3 5 13 9 
9 12 1 15 3 2 16 6 5 4 10 8 7 13 11 14 
10 13 11 9 15 14 12 16 4 1 3 7 2 6 5 8 
11 14 15 1 4 16 2 7 10 3 5 13 6 8 9 12 
12 15 2 16 6 4 3 10 8 7 13 11 5 9 14 1 
13 9 14 12 16 1 15 3 7 2 6 5 4 10 8 11 
14 1 16 2 7 3 4 5 13 6 8 9 10 11 12 15 
15 16 4 3 10 7 6 13 11 5 9 14 8 12 1 2 
16 3 7 6 13 5 10 9 14 8 12 1 11 15 2 4 
[R16Mul]
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 
1 3 5 5 1 9 9 3 5 1 5 9 3 9 1 3 
1 5 1 1 1 5 5 5 1 1 1 5 5 5 1 5 
1 5 1 1 1 5 5 5 1 1 1 5 5 5 1 5 
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 
1 9 5 5 1 3 3 9 5 1 5 3 9 3 1 9 
1 9 5 5 1 3 3 9 5 1 5 3 9 3 1 9 
1 3 5 5 1 9 9 3 5 1 5 9 3 9 1 3 
1 5 1 1 1 5 5 5 1 1 1 5 5 5 1 5 
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 
1 5 1 1 1 5 5 5 1 1 1 5 5 5 1 5 
1 9 5 5 1 3 3 9 5 1 5 3 9 3 1 9 
1 3 5 5 1 9 9 3 5 1 5 9 3 9 1 3 
1 9 5 5 1 3 3 9 5 1 5 3 9 3 1 9 
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 
1 3 5 5 1 9 9 3 5 1 5 9 3 9 1 3 
[2] => [1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16] 是理想 ,是中心 ,商环: [[1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16]]
[R1Add]
1 
[R1Mul]
1 

C:\soft\MathTool\gaptool>subrings R16_8_.txt 2
[0,4]=>[0,4]=R2_1是理想,商环R8_23
[0,9]=>[0,9]=R2_1是理想,商环R8_2
[0,14]=>[0,14]=R2_1是理想,商环R8_2

C:\soft\MathTool\gaptool>subrings R16_8_.txt 4
[0,2]=>[0,2,4,8]=R4_1是理想,商环R4_1
[0,3]=>[0,3,4,10]=R4_1是理想,商环R4_5
[4,9]=>[0,4,9,14]=R4_4是理想,商环R4_2

C:\soft\MathTool\gaptool>subrings R16_8_.txt 8
[2,3]=>[0,2,3,4,8,9,10,14]=R8_5是理想,商环R2_1

 
R16_7=ZimodnZObj(1+2i,4+4i)：1有零因子交换幺环,1,1,8,2,3,7,64,7,16
8阶商环：R8_3、R8_21、R8_3
8阶理想子环：R8_16
8阶非理想子环：R8_3
[1] => [1] 是理想  ,商环: [[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]]
[R16Add]
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 
2 4 5 7 8 9 11 12 1 13 14 15 3 6 16 10 
3 5 6 8 9 10 12 1 13 11 15 2 14 16 4 7 
4 7 8 11 12 1 14 15 2 3 6 16 5 9 10 13 
5 8 9 12 1 13 15 2 3 14 16 4 6 10 7 11 
6 9 10 1 13 11 2 3 14 15 4 5 16 7 8 12 
7 11 12 14 15 2 6 16 4 5 9 10 8 1 13 3 
8 12 1 15 2 3 16 4 5 6 10 7 9 13 11 14 
9 1 13 2 3 14 4 5 6 16 7 8 10 11 12 15 
10 13 11 3 14 15 5 6 16 4 8 9 7 12 1 2 
11 14 15 6 16 4 9 10 7 8 1 13 12 2 3 5 
12 15 2 16 4 5 10 7 8 9 13 11 1 3 14 6 
13 3 14 5 6 16 8 9 10 7 12 1 11 15 2 4 
14 6 16 9 10 7 1 13 11 12 2 3 15 4 5 8 
15 16 4 10 7 8 13 11 12 1 3 14 2 5 6 9 
16 10 7 13 11 12 3 14 15 2 5 6 4 8 9 1 
[R16Mul]
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 
1 3 2 6 5 4 10 9 8 7 11 13 12 15 14 16 
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 
1 6 4 11 1 11 4 6 4 6 1 11 11 6 4 1 
1 5 5 1 1 1 5 5 5 5 1 1 1 5 5 1 
1 4 6 11 1 11 6 4 6 4 1 11 11 4 6 1 
1 10 7 4 5 6 3 14 15 2 11 12 13 8 9 16 
1 9 8 6 5 4 14 3 2 15 11 13 12 7 10 16 
1 8 9 4 5 6 15 2 3 14 11 12 13 10 7 16 
1 7 10 6 5 4 2 15 14 3 11 13 12 9 8 16 
1 11 11 1 1 1 11 11 11 11 1 1 1 11 11 1 
1 13 12 11 1 11 12 13 12 13 1 11 11 13 12 1 
1 12 13 11 1 11 13 12 13 12 1 11 11 12 13 1 
1 15 14 6 5 4 8 7 10 9 11 13 12 3 2 16 
1 14 15 4 5 6 9 10 7 8 11 12 13 2 3 16 
1 16 16 1 1 1 16 16 16 16 1 1 1 16 16 1 
[2] => [1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16] 是理想 ,是中心 ,商环: [[1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16]]
[R1Add]
1 
[R1Mul]
1 

C:\soft\MathTool\gaptool>subrings R16_7_.txt 2
[0,4]=>[0,4]=R2_1是理想,商环R8_3
[0,10]=>[0,10]=R2_1是理想,商环R8_21
[0,15]=>[0,15]=R2_1是理想,商环R8_3

C:\soft\MathTool\gaptool>subrings R16_7_.txt 4
[0,3]=>[0,3,5,10]=R4_2是理想,商环R4_9
[0,11]=>[0,10,11,12]=R4_2是理想,商环R4_3
[4,10]=>[0,4,10,15]=R4_4是理想,商环R4_3

C:\soft\MathTool\gaptool>subrings R16_7_.txt 8
[0,2]=>[0,2,3,5,7,9,10,14]=R8_3不是理想
[3,4]=>[0,3,4,5,10,11,12,15]=R8_16是理想,商环R2_2

R16_109=ZimodnZObj(1+i,4+4i)：2有零因子交换无幺环,1,0,16,1,3,7,80,15,16
8阶商环：R8_24
8阶理想子环：R8_23
[1] => [1] 是理想  ,商环: [[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]]
[R16Add]
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 
2 4 6 8 9 11 12 1 7 14 15 5 16 13 3 10 
3 6 7 11 10 12 13 15 14 4 5 16 1 8 9 2 
4 8 11 1 7 15 5 2 12 13 3 9 10 16 6 14 
5 9 10 7 1 14 4 12 2 3 13 8 11 6 16 15 
6 11 12 15 14 5 16 3 13 8 9 10 2 1 7 4 
7 12 13 5 4 16 1 9 8 11 10 2 3 15 14 6 
8 1 15 2 12 3 9 4 5 16 6 7 14 10 11 13 
9 7 14 12 2 13 8 5 4 6 16 1 15 11 10 3 
10 14 4 13 3 8 11 16 6 7 1 15 5 12 2 9 
11 15 5 3 13 9 10 6 16 1 7 14 4 2 12 8 
12 5 16 9 8 10 2 7 1 15 14 4 6 3 13 11 
13 16 1 10 11 2 3 14 15 5 4 6 7 9 8 12 
14 13 8 16 6 1 15 10 11 12 2 3 9 5 4 7 
15 3 9 6 16 7 14 11 10 2 12 13 8 4 5 1 
16 10 2 14 15 4 6 13 3 9 8 11 12 7 1 5 
[R16Mul]
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 
1 3 5 7 7 10 1 13 13 4 4 3 5 11 11 10 
1 5 7 1 1 4 1 5 5 7 7 5 7 4 4 4 
1 7 1 1 1 7 1 7 7 1 1 7 1 7 7 7 
1 7 1 1 1 7 1 7 7 1 1 7 1 7 7 7 
1 10 4 7 7 13 1 11 11 5 5 10 4 3 3 13 
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 
1 13 5 7 7 11 1 3 3 4 4 13 5 10 10 11 
1 13 5 7 7 11 1 3 3 4 4 13 5 10 10 11 
1 4 7 1 1 5 1 4 4 7 7 4 7 5 5 5 
1 4 7 1 1 5 1 4 4 7 7 4 7 5 5 5 
1 3 5 7 7 10 1 13 13 4 4 3 5 11 11 10 
1 5 7 1 1 4 1 5 5 7 7 5 7 4 4 4 
1 11 4 7 7 3 1 10 10 5 5 11 4 13 13 3 
1 11 4 7 7 3 1 10 10 5 5 11 4 13 13 3 
1 10 4 7 7 13 1 11 11 5 5 10 4 3 3 13 
[2] => [1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16] 是理想 ,是中心 ,商环: [[1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16]]
[R1Add]
1 
[R1Mul]
1 

C:\soft\MathTool\gaptool>subrings R16_109_.txt 2
[0,3]=>[0,3]=R2_1不是理想
[0,4]=>[0,4]=R2_1不是理想
[0,6]=>[0,6]=R2_1是理想,商环R8_24

C:\soft\MathTool\gaptool>subrings R16_109_.txt 4
[0,2]=>[0,2,6,12]=R4_2不是理想
[0,9]=>[0,6,9,10]=R4_2不是理想
[3,4]=>[0,3,4,6]=R4_4是理想,商环R4_5

C:\soft\MathTool\gaptool>subrings R16_109_.txt 8
[2,3]=>[0,2,3,4,6,9,10,12]=R8_16是理想,商环R2_1

环R16_389的结构不变量n0,bA,bO,n1,n2,n4,n5,n6,n7,n8=2,1,1,未知,4,0,0,49,6,16
单个生成元子环的阶的分布:[ 1, 2, 2, 2, 4, 4, 4, 4, 4, 4, 4, 4, 8, 8, 8, 8 ]
8阶商环：无
8阶理想子环：无
8阶非理想子环：R8_51、R8_51
[1] => [1] 是理想  ,商环: [[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]]
[R16Add]
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 
2 1 4 3 6 5 8 7 10 9 12 11 14 13 16 15 
3 4 1 2 7 8 5 6 11 12 9 10 15 16 13 14 
4 3 2 1 8 7 6 5 12 11 10 9 16 15 14 13 
5 6 7 8 1 2 3 4 13 14 15 16 9 10 11 12 
6 5 8 7 2 1 4 3 14 13 16 15 10 9 12 11 
7 8 5 6 3 4 1 2 15 16 13 14 11 12 9 10 
8 7 6 5 4 3 2 1 16 15 14 13 12 11 10 9 
9 10 11 12 13 14 15 16 1 2 3 4 5 6 7 8 
10 9 12 11 14 13 16 15 2 1 4 3 6 5 8 7 
11 12 9 10 15 16 13 14 3 4 1 2 7 8 5 6 
12 11 10 9 16 15 14 13 4 3 2 1 8 7 6 5 
13 14 15 16 9 10 11 12 5 6 7 8 1 2 3 4 
14 13 16 15 10 9 12 11 6 5 8 7 2 1 4 3 
15 16 13 14 11 12 9 10 7 8 5 6 3 4 1 2 
16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 
[R16Mul]
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 
1 2 3 4 2 1 4 3 3 4 1 2 4 3 2 1 
1 3 4 2 3 1 2 4 4 2 1 3 2 4 3 1 
1 4 2 3 4 1 3 2 2 3 1 4 3 2 4 1 
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 
1 1 1 1 6 6 6 6 11 11 11 11 16 16 16 16 
1 4 2 3 7 6 8 5 12 9 11 10 14 15 13 16 
1 3 4 2 8 6 5 7 10 12 11 9 15 13 14 16 
1 3 4 2 9 11 12 10 13 15 16 14 5 7 8 6 
1 4 2 3 10 11 9 12 15 14 16 13 8 5 7 6 
1 1 1 1 11 11 11 11 16 16 16 16 6 6 6 6 
1 2 3 4 12 11 10