有限环子环和理想个数的计算

最新推荐文章于 2023-06-01 20:33:01 发布

华仔Ivan

最新推荐文章于 2023-06-01 20:33:01 发布

阅读量2k

点赞数

分类专栏：数学笔记

本文链接：https://blog.csdn.net/u010401391/article/details/104901496

版权

S(R16_105)=9,[1,2,2,2,4,4,8,8,16]，N(R16_105)=5,[1,2,4,8,16]，R16_105=Z[i]/(4)的8阶理想子环有1个R8_24，R16_105的8阶非理想子环有1个R8_21，R16_105的8阶商环有1个R8_22
R8_24=ZimodnZObj(1+i,4)=[6] => [1 3 6 8 9 11 14 16] 是理想 ,商环: [[1 3 6 8 9 11 14 16] [2 4 5 7 10 12 13 15]]
S(R16_106)=8,[1,2,2,2,4,4,8,16]，N(R16_106)=3,[1,4,16]，R16_106的8阶理想子环有0个，R16_106的8阶非理想子环有1个R8_21，R16_106的8阶商环有0个
S(R16_105):
[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 3 4 1 6 7 8 5 10 11 12 9 14 15 16 13
3 4 1 2 7 8 5 6 11 12 9 10 15 16 13 14
4 1 2 3 8 5 6 7 12 9 10 11 16 13 14 15
5 6 7 8 9 10 11 12 13 14 15 16 1 2 3 4
6 7 8 5 10 11 12 9 14 15 16 13 2 3 4 1
7 8 5 6 11 12 9 10 15 16 13 14 3 4 1 2
8 5 6 7 12 9 10 11 16 13 14 15 4 1 2 3
9 10 11 12 13 14 15 16 1 2 3 4 5 6 7 8
10 11 12 9 14 15 16 13 2 3 4 1 6 7 8 5
11 12 9 10 15 16 13 14 3 4 1 2 7 8 5 6
12 9 10 11 16 13 14 15 4 1 2 3 8 5 6 7
13 14 15 16 1 2 3 4 5 6 7 8 9 10 11 12
14 15 16 13 2 3 4 1 6 7 8 5 10 11 12 9
15 16 13 14 3 4 1 2 7 8 5 6 11 12 9 10
16 13 14 15 4 1 2 3 8 5 6 7 12 9 10 11
[R16Mul]
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
1 3 1 3 9 11 9 11 1 3 1 3 9 11 9 11
1 4 3 2 13 16 15 14 9 12 11 10 5 8 7 6
1 5 9 13 4 8 12 16 3 7 11 15 2 6 10 14
1 6 11 16 8 9 14 3 11 16 1 6 14 3 8 9
1 7 9 15 12 14 4 6 3 5 11 13 10 16 2 8
1 8 11 14 16 3 6 9 11 14 1 8 6 9 16 3
1 9 1 9 3 11 3 11 1 9 1 9 3 11 3 11
1 10 3 12 7 16 5 14 9 2 11 4 15 8 13 6
1 11 1 11 11 1 11 1 1 11 1 11 11 1 11 1
1 12 3 10 15 6 13 8 9 4 11 2 7 14 5 16
1 13 9 5 2 14 10 6 3 15 11 7 4 16 12 8
1 14 11 8 6 3 16 9 11 8 1 14 16 9 6 3
1 15 9 7 10 8 2 16 3 13 11 5 12 6 4 14
1 16 11 6 14 9 8 3 11 6 1 16 8 3 14 9
[2] => [1 2 3 4] 不是理想
[3] => [1 3] 不是理想
[5] => [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
[6] => [1 3 6 8 9 11 14 16] 是理想 ,商环: [[1 3 6 8 9 11 14 16] [2 4 5 7 10 12 13 15]]
[R2Add]
1 2
2 1
[R2Mul]
1 1
1 2
8 阶子环:
[R8Add]
1 2 3 4 5 6 7 8
2 1 4 3 6 5 8 7
3 4 6 5 7 8 2 1
4 3 5 6 8 7 1 2
5 6 7 8 1 2 3 4
6 5 8 7 2 1 4 3
7 8 2 1 3 4 6 5
8 7 1 2 4 3 5 6
[R8Mul]
1 1 1 1 1 1 1 1
1 1 6 6 1 1 6 6
1 6 5 2 6 1 2 5
1 6 2 5 6 1 5 2
1 1 6 6 1 1 6 6
1 1 1 1 1 1 1 1
1 6 2 5 6 1 5 2
1 6 5 2 6 1 2 5
[9] => [1 9] 不是理想
[10] => [1 2 3 4 9 10 11 12] 不是理想
8 阶子环:
[R8Add]
1 2 3 4 5 6 7 8
2 3 4 1 6 7 8 5
3 4 1 2 7 8 5 6
4 1 2 3 8 5 6 7
5 6 7 8 1 2 3 4
6 7 8 5 2 3 4 1
7 8 5 6 3 4 1 2
8 5 6 7 4 1 2 3
[R8Mul]
1 1 1 1 1 1 1 1
1 2 3 4 5 6 7 8
1 3 1 3 1 3 1 3
1 4 3 2 5 8 7 6
1 5 1 5 1 5 1 5
1 6 3 8 5 2 7 4
1 7 1 7 1 7 1 7
1 8 3 6 5 4 7 2
[11] => [1 11] 是理想 ,商环: [[1 11] [2 12] [3 9] [4 10] [5 15] [6 16] [7 13] [8 14]]
[R8Add]
1 2 3 4 5 6 7 8
2 3 4 1 6 7 8 5
3 4 1 2 7 8 5 6
4 1 2 3 8 5 6 7
5 6 7 8 3 4 1 2
6 7 8 5 4 1 2 3
7 8 5 6 1 2 3 4
8 5 6 7 2 3 4 1
[R8Mul]
1 1 1 1 1 1 1 1
1 2 3 4 5 6 7 8
1 3 1 3 3 1 3 1
1 4 3 2 7 6 5 8
1 5 3 7 4 8 2 6
1 6 1 6 8 3 8 3
1 7 3 5 2 8 4 6
1 8 1 8 6 3 6 3
[3 9] => [1 3 9 11] 是理想 ,商环: [[1 3 9 11] [2 4 10 12] [5 7 13 15] [6 8 14 16]]
[R4Add]
1 2 3 4
2 1 4 3
3 4 1 2
4 3 2 1
[R4Mul]
1 1 1 1
1 2 3 4
1 3 2 4
1 4 4 1
time consume: 1.749195622s
S(R16_106):
[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 3 4 1 6 7 8 5 10 11 12 9 14 15 16 13
3 4 1 2 7 8 5 6 11 12 9 10 15 16 13 14
4 1 2 3 8 5 6 7 12 9 10 11 16 13 14 15
5 6 7 8 9 10 11 12 13 14 15 16 1 2 3 4
6 7 8 5 10 11 12 9 14 15 16 13 2 3 4 1
7 8 5 6 11 12 9 10 15 16 13 14 3 4 1 2
8 5 6 7 12 9 10 11 16 13 14 15 4 1 2 3
9 10 11 12 13 14 15 16 1 2 3 4 5 6 7 8
10 11 12 9 14 15 16 13 2 3 4 1 6 7 8 5
11 12 9 10 15 16 13 14 3 4 1 2 7 8 5 6
12 9 10 11 16 13 14 15 4 1 2 3 8 5 6 7
13 14 15 16 1 2 3 4 5 6 7 8 9 10 11 12
14 15 16 13 2 3 4 1 6 7 8 5 10 11 12 9
15 16 13 14 3 4 1 2 7 8 5 6 11 12 9 10
16 13 14 15 4 1 2 3 8 5 6 7 12 9 10 11
[R16Mul]
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
1 3 1 3 9 11 9 11 1 3 1 3 9 11 9 11
1 4 3 2 13 16 15 14 9 12 11 10 5 8 7 6
1 5 9 13 16 4 8 12 11 15 3 7 6 10 14 2
1 6 11 16 4 5 10 15 3 8 9 14 2 7 12 13
1 7 9 15 8 10 16 2 11 13 3 5 14 4 6 12
1 8 11 14 12 15 2 5 3 6 9 16 10 13 4 7
1 9 1 9 11 3 11 3 1 9 1 9 11 3 11 3
1 10 3 12 15 8 13 6 9 2 11 4 7 16 5 14
1 11 1 11 3 9 3 9 1 11 1 11 3 9 3 9
1 12 3 10 7 14 5 16 9 4 11 2 15 6 13 8
1 13 9 5 6 2 14 10 11 7 3 15 16 12 8 4
1 14 11 8 10 7 4 13 3 16 9 6 12 5 2 15
1 15 9 7 14 12 6 4 11 5 3 13 8 2 16 10
1 16 11 6 2 13 12 7 3 14 9 8 4 15 10 5
[2] => [1 2 3 4] 不是理想
[3] => [1 3] 不是理想
[5] => [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
[9] => [1 9] 不是理想
[10] => [1 2 3 4 9 10 11 12] 不是理想
8 阶子环:
[R8Add]
1 2 3 4 5 6 7 8
2 3 4 1 6 7 8 5
3 4 1 2 7 8 5 6
4 1 2 3 8 5 6 7
5 6 7 8 1 2 3 4
6 7 8 5 2 3 4 1
7 8 5 6 3 4 1 2
8 5 6 7 4 1 2 3
[R8Mul]
1 1 1 1 1 1 1 1
1 2 3 4 5 6 7 8
1 3 1 3 1 3 1 3
1 4 3 2 5 8 7 6
1 5 1 5 1 5 1 5
1 6 3 8 5 2 7 4
1 7 1 7 1 7 1 7
1 8 3 6 5 4 7 2
[11] => [1 11] 不是理想
[3 9] => [1 3 9 11] 是理想 ,商环: [[1 3 9 11] [2 4 10 12] [5 7 13 15] [6 8 14 16]]
[R4Add]
1 2 3 4
2 1 4 3
3 4 1 2
4 3 2 1
[R4Mul]
1 1 1 1
1 2 3 4
1 3 4 2
1 4 2 3
time consume: 1.731670727s
S(R16_103)=15,[1,2,2,2,4,4,4,4,4,4,4,8,8,8,16]，
N(R16_103)=13,[1,2,2,2,4,4,4,4,4,8,8,8,16]，
R16_103的8阶理想子环有3个，R16_103的8阶非理想子环有0个，R16_103的8阶商环有3个
R8_16=[3] => [1 3] 是理想 ,商环: [[1 3] [2 4] [5 7] [6 8] [9 11] [10 12] [13 15] [14 16]]
R8_16=[9] => [1 9] 是理想 ,商环: [[1 9] [2 10] [3 11] [4 12] [5 13] [6 14] [7 15] [8 16]]
R8_19=[11] => [1 11] 是理想 ,商环: [[1 11] [2 12] [3 9] [4 10] [5 15] [6 16] [7 13] [8 14]]
R8_16：[3 6] => [1 3 6 8 9 11 14 16] 是理想 ,商环: [[1 3 6 8 9 11 14 16] [2 4 5 7 10 12 13 15]]
R8_16=[2 9] => [1 2 3 4 9 10 11 12] 是理想 ,商环: [[1 2 3 4 9 10 11 12] [5 6 7 8 13 14 15 16]]
S(R16_104)=12,[1,2,2,2,4,4,4,4,8,8,8,16]，N(R16_104)=9,[1,2,2,4,4,4,8,8,16]，R16_104的8阶理想子环是R8_13、R8_13，R16_104的8阶非理想子环是R8_21，R16_104的8阶商环是R8_14、R8_14
R8_13=[3] => [1 3 4 6 7 9 13 15] 是理想 ,商环: [[1 3 4 6 7 9 13 15] [2 5 8 10 11 12 14 16]]
[6] => [1 6] 是理想 ,商环: [[1 6] [2 11] [3 7] [4 9] [5 16] [8 12] [10 14] [13 15]]
[9] => [1 9] 是理想 ,商环: [[1 9] [2 16] [3 15] [4 6] [5 11] [7 13] [8 10] [12 14]]
R8_21=[11] => [1 2 4 5 6 9 11 16] 不是理想
R8_13=[13] => [1 6 13 15] 是理想 ,商环: [[1 6 13 15] [2 10 11 14] [3 4 7 9] [5 8 12 16]]
S(R16_102)=15,[1,2,2,2,4,4,4,4,4,4,4,8,8,8,16]，N(R16_102)=6,[1,2,4,4,8,16]，，R16_102的8阶理想子环是R8_10(根据环不变量N2可以排除掉R8_8)，R16_102的8阶非理想子环是R8_15、R8_15，R16_102的8阶商环是R8_15
[6] => [1 6] 是理想 ,商环: [[1 6] [2 11] [3 7] [4 9] [5 16] [8 12] [10 14] [13 15]]
[3 4] => [1 3 4 6 7 9 13 15] 是理想 ,商环: [[1 3 4 6 7 9 13 15] [2 5 8 10 11 12 14 16]]
R8_15=[2 6] => [1 2 4 5 6 9 11 16] 不是理想
R8_15=[4 8] => [1 4 6 8 9 10 12 14] 不是理想
S(R16_101)=15,[1,2,2,2,4,4,4,4,4,4,4,8,8,8,16]，N(R16_101)=6,[1,2,4,4,8,16]，R16_101的8阶理想子环是R8_8、R8_9、R8_10这3个环中的一种，R16_101的8阶非理想子环是R8_20、R8_20，R16_101的8阶商环是R8_20【R8_10、R8_15、R8_20正是20160929问题所要寻找表示的17种8阶环中的3种】
[6] => [1 6] 是理想 ,商环: [[1 6] [2 11] [3 7] [4 9] [5 16] [8 12] [10 14] [13 15]]
[3 4] => [1 3 4 6 7 9 13 15] 是理想 ,商环: [[1 3 4 6 7 9 13 15] [2 5 8 10 11 12 14 16]]
R8_20=[2 6] => [1 2 4 5 6 9 11 16] 不是理想
R8_20=[4 8] => [1 4 6 8 9 10 12 14] 不是理想
R8_8、R8_10的3个极大理想是R4_1、R4_2、R4_4;R8_9的3个极大理想是R4_5、R4_1、R4_1;
i=8[ 1, 2, 4, 4, 4, 8 ]
i=9[ 1, 2, 4, 4, 4, 8 ]
N(R8_8)=6,[ 1, 2, 4, 4, 4, 8 ]=[[1,1],[2,1],[4,1],[4,2],[4,4],[8,8]]
N(R8_9)=6,[ 1, 2, 4, 4, 4, 8 ]=[[1,1],[2,1],[4,5],[4,1],[4,1],[8,9]]
N(R8_10)=6,[ 1, 2, 4, 4, 4, 8 ]=[[1,1],[2,1],[4,1],[4,2],[4,4],[8,10]]
S(R8_8)=8,[ 1, 2, 2, 2, 4, 4, 4, 8 ]=[[1,1],[2,1],[2,1],[2,1],[4,1],[4,2],[4,4],[8,8]]
S(R8_9)=6,[ 1, 2, 4, 4, 4, 8 ]=[[1,1],[2,1],[4,5],[4,1],[4,1],[8,9]]
S(R8_10)=8,[ 1, 2, 2, 2, 4, 4, 4, 8 ]=[[1,1],[2,1],[2,1],[2,1],[4,1],[4,2],[4,4],[8,10]]
i=8,中心：2
i=9,中心：2
i=10,中心：2
S(R16_300)=28,[1,2,2,2,2,2,2,2,2,2,2,4,4,4,4,4,4,4,4,4,4,4,4,4,8,8,8,16]，N(R16_300)=2,[1,16]，[2] => [1 2] 不是理想 ,是中心【16阶全矩阵环M_2(F_2)的中心是GF(2)。】
R16_300的3个8阶理想子环都是R8_49：
R8_49=[3 4] => [1 2 3 4 5 10 11 12] 不是理想
R8_49=[3 6] => [1 2 3 6 7 10 13 14] 不是理想
R8_49=[5 7] => [1 2 5 7 8 11 13 16] 不是理想
S(R16_382)=15,[1,2,2,2,2,4,4,4,4,4,8,8,8,8,16]，N(R16_382)=8,[1,2,2,4,4,8,8,16]，R16_382的8阶理想子环是R8_46、R8_38，R16_382的8阶非理想子环是R8_46、R8_48，R16_382的8阶商环是R8_48、R8_46
S(R16_385)=12,[1,2,2,2,2,4,4,4,4,8,8,16]，N(R16_385)=5,[1,2,4,8,16]，R16_385的8阶理想子环是R8_33，R16_385的8阶非理想子环是R8_45，R16_385的8阶商环是R8_46
S(R16_103):
[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 3 4 1 6 7 8 5 10 11 12 9 14 15 16 13
3 4 1 2 7 8 5 6 11 12 9 10 15 16 13 14
4 1 2 3 8 5 6 7 12 9 10 11 16 13 14 15
5 6 7 8 9 10 11 12 13 14 15 16 1 2 3 4
6 7 8 5 10 11 12 9 14 15 16 13 2 3 4 1
7 8 5 6 11 12 9 10 15 16 13 14 3 4 1 2
8 5 6 7 12 9 10 11 16 13 14 15 4 1 2 3
9 10 11 12 13 14 15 16 1 2 3 4 5 6 7 8
10 11 12 9 14 15 16 13 2 3 4 1 6 7 8 5
11 12 9 10 15 16 13 14 3 4 1 2 7 8 5 6
12 9 10 11 16 13 14 15 4 1 2 3 8 5 6 7
13 14 15 16 1 2 3 4 5 6 7 8 9 10 11 12
14 15 16 13 2 3 4 1 6 7 8 5 10 11 12 9
15 16 13 14 3 4 1 2 7 8 5 6 11 12 9 10
16 13 14 15 4 1 2 3 8 5 6 7 12 9 10 11
[R16Mul]
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 3 1 3 1 3 1 3 1 3 1 3 1 3 1 3
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 3 1 3 1 3 1 3 1 3 1 3 1 3 1 3
1 1 1 1 9 9 9 9 1 1 1 1 9 9 9 9
1 3 1 3 9 11 9 11 1 3 1 3 9 11 9 11
1 1 1 1 9 9 9 9 1 1 1 1 9 9 9 9
1 3 1 3 9 11 9 11 1 3 1 3 9 11 9 11
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 3 1 3 1 3 1 3 1 3 1 3 1 3 1 3
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 3 1 3 1 3 1 3 1 3 1 3 1 3 1 3
1 1 1 1 9 9 9 9 1 1 1 1 9 9 9 9
1 3 1 3 9 11 9 11 1 3 1 3 9 11 9 11
1 1 1 1 9 9 9 9 1 1 1 1 9 9 9 9
1 3 1 3 9 11 9 11 1 3 1 3 9 11 9 11
[2] => [1 2 3 4] 是理想 ,商环: [[1 2 3 4] [5 6 7 8] [9 10 11 12] [13 14 15 16]]
[R4Add]
1 2 3 4
2 3 4 1
3 4 1 2
4 1 2 3
[R4Mul]
1 1 1 1
1 3 1 3
1 1 1 1
1 3 1 3
[3] => [1 3] 是理想 ,商环: [[1 3] [2 4] [5 7] [6 8] [9 11] [10 12] [13 15] [14 16]]
[R8Add]
1 2 3 4 5 6 7 8
2 1 4 3 6 5 8 7
3 4 5 6 7 8 1 2
4 3 6 5 8 7 2 1
5 6 7 8 1 2 3 4
6 5 8 7 2 1 4 3
7 8 1 2 3 4 5 6
8 7 2 1 4 3 6 5
[R8Mul]
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
1 1 5 5 1 1 5 5
1 1 5 5 1 1 5 5
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
1 1 5 5 1 1 5 5
1 1 5 5 1 1 5 5
[5] => [1 5 9 13] 是理想 ,商环: [[1 5 9 13] [2 6 10 14] [3 7 11 15] [4 8 12 16]]
[R4Add]
1 2 3 4
2 3 4 1
3 4 1 2
4 1 2 3
[R4Mul]
1 1 1 1
1 3 1 3
1 1 1 1
1 3 1 3
[6] => [1 6 11 16] 不是理想
[7] => [1 7 9 15] 是理想 ,商环: [[1 7 9 15] [2 8 10 16] [3 5 11 13] [4 6 12 14]]
[R4Add]
1 2 3 4
2 3 4 1
3 4 1 2
4 1 2 3
[R4Mul]
1 1 1 1
1 3 1 3
1 1 1 1
1 3 1 3
[8] => [1 8 11 14] 不是理想
[9] => [1 9] 是理想 ,商环: [[1 9] [2 10] [3 11] [4 12] [5 13] [6 14] [7 15] [8 16]]
[R8Add]
1 2 3 4 5 6 7 8
2 3 4 1 6 7 8 5
3 4 1 2 7 8 5 6
4 1 2 3 8 5 6 7
5 6 7 8 1 2 3 4
6 7 8 5 2 3 4 1
7 8 5 6 3 4 1 2
8 5 6 7 4 1 2 3
[R8Mul]
1 1 1 1 1 1 1 1
1 3 1 3 1 3 1 3
1 1 1 1 1 1 1 1
1 3 1 3 1 3 1 3
1 1 1 1 1 1 1 1
1 3 1 3 1 3 1 3
1 1 1 1 1 1 1 1
1 3 1 3 1 3 1 3
[10] => [1 3 10 12] 是理想 ,商环: [[1 3 10 12] [2 4 9 11] [5 7 14 16] [6 8 13 15]]
[R4Add]
1 2 3 4
2 1 4 3
3 4 2 1
4 3 1 2
[R4Mul]
1 1 1 1
1 1 1 1
1 1 2 2
1 1 2 2
[11] => [1 11] 是理想 ,商环: [[1 11] [2 12] [3 9] [4 10] [5 15] [6 16] [7 13] [8 14]]
[R8Add]
1 2 3 4 5 6 7 8
2 3 4 1 6 7 8 5
3 4 1 2 7 8 5 6
4 1 2 3 8 5 6 7
5 6 7 8 3 4 1 2
6 7 8 5 4 1 2 3
7 8 5 6 1 2 3 4
8 5 6 7 2 3 4 1
[R8Mul]
1 1 1 1 1 1 1 1
1 3 1 3 1 3 1 3
1 1 1 1 1 1 1 1
1 3 1 3 1 3 1 3
1 1 1 1 3 3 3 3
1 3 1 3 3 1 3 1
1 1 1 1 3 3 3 3
1 3 1 3 3 1 3 1
[2 5] => [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
[3 5] => [1 3 5 7 9 11 13 15] 是理想 ,商环: [[1 3 5 7 9 11 13 15] [2 4 6 8 10 12 14 16]]
[R2Add]
1 2
2 1
[R2Mul]
1 1
1 1
8 阶子环:
[R8Add]
1 2 3 4 5 6 7 8
2 1 4 3 6 5 8 7
3 4 5 6 7 8 1 2
4 3 6 5 8 7 2 1
5 6 7 8 1 2 3 4
6 5 8 7 2 1 4 3
7 8 1 2 3 4