GAP4.7/4.10.2软件中尚不完善的有限环功能

华仔Ivan

已于 2022-08-15 20:19:24 修改

阅读量705

点赞数

分类专栏：数学笔记文章标签：算法

于 2020-02-19 18:37:28 首次发布

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

版权

本文讨论了GAP4软件在处理有限环时存在的问题，如缺少IdRing命令，以及在特定阶数的环上运行特定命令（如Ideals）的有效性。作者展示了对于不同特征和加法群结构的16阶环的研究，并指出了一些环的性质，如大小、生成元数量、乘法表等。此外，还提到了一些未完全实现的功能，如有限环计数的不准确性。

摘要由CSDN通过智能技术生成

GAP4没有与IdGroup对应的IdRing命令：
例如：
for j in [1..2] do for i in [1..11] do R:=DirectSum(SmallRing(4,i),SmallRing(2,j));;Print("i=",i,"j=",j,","IdRing(R),"\n");od;od;
实际上22种8阶直积环（去掉重复的R8_27、R8_40后剩20种）应该输出如下结果：
i=1,j=1,[ 8, 5 ]
i=2,j=1,[ 8, 16 ]
i=3,j=1,[ 8, 13 ]
i=4,j=1,[ 8, 25 ]
i=5,j=1,[ 8, 26 ]
i=6,j=1,[ 8, 27 ]
i=7,j=1,[ 8, 29 ]
i=8,j=1,[ 8, 34 ]
i=9,j=1,[ 8, 35 ]
i=10,j=1,[ 8, 40 ]
i=11,j=1,[ 8, 42 ]
i=1,j=2,[ 8, 7 ]
i=2,j=2,[ 8, 17 ]
i=3,j=2,[ 8, 14 ]
i=4,j=2,[ 8, 27 ]
i=5,j=2,[ 8, 38 ]
i=6,j=2,[ 8, 40 ]
i=7,j=2,[ 8, 41 ]
i=8,j=2,[ 8, 47 ]
i=9,j=2,[ 8, 48 ]
i=10,j=2,[ 8, 50 ]
i=11,j=2,[ 8, 51 ]
gap> L:=[5,16,13,25,26,27,29,34,35,40,42,7,17,14,38,41,47,48,50,51];;n:=Size(L);
20
Ideals等GAP命令仅对某些阶的环有效（例如n=4、8...）,对大多数有限环无效。 ]
gap> R:=SmallRing(4,7);;Size(R);IsRing(R);FR:=GeneratorsOfRing(R);Size(FR);L:=Elements(R);ShowAdditionTable(R);ShowMultiplicationTable(R);IsAbelian(R);One(R);CR:=Center(R);Size(CR);IsSubset(R,CR);M:=Ideals(R);Print(List(M,Size),"\n");n:=Size(L);;for k in [1..n] do I1:=IdealByGenerators(R,[L[k]]);S1:=RingByGenerato