商群和商环的计算

最新推荐文章于 2023-05-01 14:06:00 发布

华仔Ivan

最新推荐文章于 2023-05-01 14:06:00 发布

阅读量2.9k

点赞数

分类专栏：数学笔记

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

版权

应用例子1：4阶商环R4=Z16/<4>=？
因为S(Z/16Z)=N(Z/16Z)=[1,2,4,8,16]
[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 2 3 4
1 3 1 3
1 4 3 2
所以R4=Z/4Z
root@iZ14rcmneyrcltZ:~/cpptest/gotest# go build ZnElement.go
root@iZ14rcmneyrcltZ:~/cpptest/gotest# ./ZnElement
S(R4_1):
[1] => [1] 是理想 ,商环: [[1] [2] [3] [4]]
[R4Add]
1 2 3 4
2 3 4 1
3 4 1 2
4 1 2 3
[R4Mul]
1 1 1 1
1 1 1 1
1 1 1 1
1 1 1 1
[2] => [1 2 3 4] 是理想 ,是中心 ,商环: [[1 2 3 4]]
[R1Add]
1
[R1Mul]
1
[3] => [1 3] 是理想 ,商环: [[1 3] [2 4]]
[R2Add]
1 2
2 1
[R2Mul]
1 1
1 1
time consume: 1.362523ms
S(R4_2):
[1] => [1] 是理想 ,商环: [[1] [2] [3] [4]]
[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
[2] => [1 2 3 4] 是理想 ,是中心 ,商环: [[1 2 3 4]]
[R1Add]
1
[R1Mul]
1
[3] => [1 3] 是理想 ,商环: [[1 3] [2 4]]
[R2Add]
1 2
2 1
[R2Mul]
1 1
1 1
time consume: 1.703667ms
S(R4_3):
[1] => [1] 是理想 ,商环: [[1] [2] [3] [4]]
[R4Add]
1 2 3 4
2 3 4 1
3 4 1 2
4 1 2 3
[R4Mul]
1 1 1 1
1 2 3 4
1 3 1 3
1 4 3 2
[2] => [1 2 3 4] 是理想 ,是中心 ,商环: [[1 2 3 4]]
[R1Add]
1
[R1Mul]
1
[3] => [1 3] 是理想 ,商环: [[1 3] [2 4]]
[R2Add]
1 2
2 1
[R2Mul]
1 1
1 2
time consume: 1.367962ms
S(R4_4):
[1] => [1] 是理想 ,商环: [[1] [2] [3] [4]]
[R4Add]
1 2 3 4
2 1 4 3
3 4 1 2
4 3 2 1
[R4Mul]
1 1 1 1
1 1 1 1
1 1 1 1
1 1 1 1
[2] => [1 2] 是理想 ,商环: [[1 2] [3 4]]
[R2Add]
1 2
2 1
[R2Mul]
1 1
1 1
[3] => [1 3] 是理想 ,商环: [[1 3] [2 4]]
[R2Add]
1 2
2 1
[R2Mul]
1 1
1 1
[4] => [1 4] 是理想 ,商环: [[1 4] [2 3]]
[R2Add]
1 2
2 1
[R2Mul]
1 1
1 1
[2 3] => [1 2 3 4] 是理想 ,是中心 ,商环: [[1 2 3 4]]
[R1Add]
1
[R1Mul]
1
time consume: 1.4609ms
S(R4_5):
[1] => [1] 是理想 ,商环: [[1] [2] [3] [4]]
[R4Add]
1 2 3 4
2 1 4 3
3 4 1 2
4 3 2 1
[R4Mul]
1 1 1 1
1 1 1 1
1 1 2 2
1 1 2 2
[2] => [1 2] 是理想 ,商环: [[1 2] [3 4]]
[R2Add]
1 2
2 1
[R2Mul]
1 1
1 1
[3] => [1 2 3 4] 是理想 ,是中心 ,商环: [[1 2 3 4]]
[R1Add]
1
[R1Mul]
1
time consume: 517.052µs
S(R4_6):
[1] => [1] 是理想 ,商环: [[1] [2] [3] [4]]
[R4Add]
1 2 3 4
2 1 4 3
3 4 1 2
4 3 2 1
[R4Mul]
1 1 1 1
1 1 1 1
1 1 3 3
1 1 3 3
[2] => [1 2] 是理想 ,商环: [[1 2] [3 4]]
[R2Add]
1 2
2 1
[R2Mul]
1 1
1 2
[3] => [1 3] 是理想 ,商环: [[1 3] [2 4]]
[R2Add]
1 2
2 1
[R2Mul]
1 1
1 1
[4] => [1 2 3 4] 是理想 ,是中心 ,商环: [[1 2 3 4]]
[R1Add]
1
[R1Mul]
1
time consume: 668.384µs
S(R4_7):
[1] => [1] 是理想 ,是中心 ,商环: [[1] [2] [3] [4]]
[R4Add]
1 2 3 4
2 1 4 3
3 4 1 2
4 3 2 1
[R4Mul]
1 1 1 1
1 1 1 1
1 2 3 4
1 2 3 4
[2] => [1 2] 是理想 ,商环: [[1 2] [3 4]]
[R2Add]
1 2
2 1
[R2Mul]
1 1
1 2
[3] => [1 3] 不是理想
[4] => [1 4] 不是理想
[2 3] => [1 2 3 4] 是理想 ,商环: [[1 2 3 4]]
[R1Add]
1
[R1Mul]
1
time consume: 564.912µs
S(R4_8):
[1] => [1] 是理想 ,是中心 ,商环: [[1] [2] [3] [4]]
[R4Add]
1 2 3 4
2 1 4 3
3 4 1 2
4 3 2 1
[R4Mul]
1 1 1 1
1 1 2 2
1 1 3 3
1 1 4 4
[2] => [1 2] 是理想 ,商环: [[1 2] [3 4]]
[R2Add]
1 2
2 1
[R2Mul]
1 1
1 2
[3] => [1 3] 不是理想
[4] => [1 4] 不是理想
[2 3] => [1 2 3 4] 是理想 ,商环: [[1 2 3 4]]
[R1Add]
1
[R1Mul]
1
time consume: 547.501µs
S(R4_9):
[1] => [1] 是理想 ,商环: [[1] [2] [3] [4]]
[R4Add]
1 2 3 4
2 1 4 3
3 4 1 2
4 3 2 1
[R4Mul]
1 1 1 1
1 3 2 4
1 2 3 4
1 4 4 1
[2] => [1 2 3 4] 是理想 ,是中心 ,商环: [[1 2 3 4]]
[R1Add]
1
[R1Mul]
1
[3] => [1 3] 不是理想
[4] => [1 4] 是