登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 

标志
提示
(来自的问候整数序列在线百科全书!)
A254434号 2n+1阶拉丁keis(对合右分配拟群)的同构类的个数。 2
1, 1, 1, 2, 1, 1, 2, 1, 1, 2, 1, 2, 7, 1, 1, 2, 1, 1, 2, 1, 1, 5, 1 (列表;图表;参考;;历史;文本;内部格式)
抵消
0,4
评论
如果对于Q中的所有x,y,我们有(x*y)*y=x,即所有右平移R_A:x->x*A,都是对合,则(Q,*)是kei或对合半量。如果映射L_A:x->A*x也是双射,则量子(Q,*)是拟群。
斋藤正彦注意到,拉丁语中并没有整齐划一的kei。这里有一个简单的证明:假设Q是n阶拉丁kei,n是偶数。设R_a是由R_a(x)=x*a给出的Q的置换。由于R_a为对合,它是t转置的乘积。设f是R_a的不动点个数。那么n=2*t+f。由于R_a(a)=a且n是偶数,因此必定有一个不动点x与a不同。因此x*a=x且x*x=x。所以L_x不是双射。这表明Q不是拉丁语,因此结果得到了证明。
对于任何奇数n,至少有一个n阶拉丁kei:考虑Z/(n)上由规则x*y=-x+2y定义的拉丁kei。
Leandro Vendramin(见下面的链接)发现所有n阶与n阶相连的量子数最多有47个。(其中有790个,不包括1阶的数字。)一个拉丁困惑是相连的。所以这个序列是通过浏览Vendramin的列表并计算拉丁keis的quandles得到的。
链接
斯科特·卡特,Quandle思想综述,arXiv:1002.4429[math.GT],2010年。
莱安德罗·文德拉明和马蒂亚斯·格拉尼亚,Rig,一个用于机架和困惑的GAP包。
莱安德罗·文德拉明,关于低阶量子数的分类,arXiv:1105.5341[math.GT],2011-2012年。
S.K.Stein,关于拟群的基础《美国数学学会学报》,85(1957),228-256。
交叉参考
A248908型该序列是a(2n)=0交错的。
关键字
坚硬的,更多,非n
作者
状态
经核准的

查找|欢迎光临|维基|注册|音乐|地块2|演示|索引|浏览|更多|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:美国东部夏令时2024年4月23日18:16。包含371916个序列。(在oeis4上运行。)