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