检验过的

经核准的

提议的

检验过的

编辑

提议的

安德鲁·霍罗伊德：我在GAP中进行了测试，仍然有效。

W.E.Clark、M.Elhamdadi、M.Saito, 和 T.Yeatman，<a href=“http://arxiv.org/abs/1312.3307“>结的量子着色和应用</a>，arXiv预印arXiv:1312.3307,[数学.通用技术],2013-2014.

M.Elhamdadi，<a href=“http://arxiv.org/abs/1209.6518“>在量子群和拟群中的分布</a>，arXiv预印arXiv:1209.6518,[数学.无线电高度表],2012.-自N.J.A.斯隆2012年12月29日

侯向东，<a href=“http://arxiv.org/abs/1107.2076“>Z[t，t^{-1}]上的有限模>>,arXiv公司:1107.2076[数学.无线电高度表],2011.

S.Nelson，<a href=“http://arxiv.org/abs/math/0202281“>有限Alexander Quandles的分类>>,arXiv公司:数学/0202281[数学.通用技术],2002-2003.

S.Nelson，<a href=“http://arxiv.org/abs/math/0409460“>Alexander Quandles of Order 16s订单>>,arXiv公司:数学/0409460[数学.通用技术],2004-2006.

提议的

编辑

编辑

提议的

Y： =[]；

对于y in g do

加法（Y，图像（f，Y^（-1））*Y）；

od；

Y： =设置（Y）；

return子群（g，Y）；

提议的

编辑

编辑

提议的

亚历山大的同构类数(阿卡 一.k个.一.仿射）n阶的量子。

（GAP）findY:=函数（f，g）局部Y，Y；Y： =[]；对于y，做加法（y，图像（f，y^（-1））*y）；od；Y： =设置（Y）；return子群（g，Y）；结束；；

亚历克斯：=[]；；k： =8；；对于[1..2^k-1]中的nn，执行Alex[nn]：=0；od；对于[1..2^k-1]中的n，做LGn:=AllSmallGroups（n，IsAbelian）；对于LGn do autg中的g：=自同构组（g）；；eautg:=列表（共轭类（autg），代表）；对于eautg中的f，做N2:=findY（f，g）；MM：=（（尺寸（g）^2）/尺寸（N2））；对于[1..2^k-1]中的nn，如果nn mod MM=0，那么Alex[nn]：=Alex[nn]+1；fi；od；od；od；od；[1..2^k-1]doPrint中的nn（Alex[nn]，“，”）；od；；

（间隙）

findY:=函数（f，g）

局部Y，Y；

Y： =[]；

对于y in g do

加法（Y，图像（f，Y^（-1））*Y）；

od；

Y： =设置（Y）；

return子群（g，Y）；

结束；；

亚历克斯：=[]；；k： =8；；

[1..2^k-1]do中的nn

亚历克斯[nn]：=0；

od；

[1..2^k-1]do中的n

LGn:=所有小型组（n，IsAbelian）；

对于LGn do中的g

autg:=自同构组（g）；；

eautg:=列表（共轭类（autg），代表）；

对于eautg do中的f

N2:=findY（f，g）；

MM：=（（尺寸（g）^2）/尺寸（N2））；

[1..2^k-1]do中的nn

如果nn mod MM=0，则

亚历克斯[nn]：=亚历克斯[nn]+1；

fi；

od；

od；

od；

od；

对于[1..2^k-1]中的nn

打印（Alex[nn]，“，”）；

od；；

经核准的

编辑

乔恩·肖恩菲尔德：我尝试重新格式化程序，类似于A177886和A196111中的程序；这样可以吗？

维基百科<<a href=“http://en.wikipedia.org/wiki/Quandle“>机架和Quandles</a>

OEIS服务器: https://oeis.org/edit/global/2486

编辑

经核准的