×

奇数素数幂阶的对合拉丁半量环、Bruck环和交换自同构环的枚举。 (英语) Zbl 1432.57018号

Vojtěchovsk \283],Petr(ed.)等人,《非结合数学及其应用》。2017年7月29日至8月5日在美国科罗拉多州丹佛市举行的第四届英里高非关联数学会议。诉讼程序。普罗维登斯,RI:美国数学学会(AMS)。康斯坦普。数学。721, 261-276 (2019).
quandle是一个集合\(Q\)和一个二进制运算\(\triangleft:Q\乘以Q\到Q\),它满足\(x\trianggleleft x=x\),\(x\t riangleft y)\trianglleft z=(x\tiangleleft z)\triangeleft(y\trianguleft z)\),以及\(-\t rianggleft x:Q\到x\)所有\(x\在x\)的双宾语。示例的自然来源是(X=G)一组,和(X\triangleft y=y^{-1}xy型\),也是(X\子集G\)某个群(G\)的共轭类,其运算与前面相同。一个著名的例子是二面体量子(D_n),它由二面体群的反射集(sr^i:i=0,dotsn,s^2=1,r^n=1,srs=r^{-1})与运算组成\[(sr^i)\左三角(sr^{j})=(sr^j)^{-1}(sr^i)(sr^j)=sr^{2j-i}\]
等价地,可以使用操作\(i\triangleft j=2j-i\)定义\(D_n=\mathbb{Z}/n\mathbb2{Z}\)。
困惑被称为渐开线的如果\((x\triangleft y)\trianglleft y=x\)表示所有\(x,y\ in Q\)。
困惑被称为拉丁语如果映射\(x\triangleft-:Q\ to Q\)也是双射的。二面体量子是对合量子的例子,如果(n)是奇数,那么(D_n)也是拉丁量子。
在本文中,作者使用了对合拉丁量子数和另一种结构之间的对应关系:二分体布鲁克循环(论文中的定理3.1,归因于[M.Kikkawa先生,内存。工厂。点燃。科学。,希曼大学,自然科学。6, 9–13 (1973;Zbl 0264.53028号)以及D.A.罗宾逊,Ann.Soc.科学。布鲁克斯。,Sér。I 93,7-16(1979年;Zbl 0414.20058号)])这表明,在loops语言中,对合拉丁量子数看起来非常像二面体示例。
作者发展了循环扩张理论。注意,量子化扩展的理论很成熟,在某种意义上也很容易理解,但在这种情况下,拉丁量子化的扩展是量子化,但不一定是拉丁量子度,因此,拉丁量子扩展的理论并不为人所知,但它们是从与循环的对应关系中得到的。
从循环和1-1对应的研究中,当量子数的基数是素数的小幂时,他们产生了拉丁对合量子数计数。
熟悉循环和布鲁克循环(也称为K-loops)概念的人应该很好地理解本文,因为作者隐含地假设熟悉该上下文。例如,他们没有定义术语广群,他们只是使用它,他们用\((Q,\cdot)\)来表示一个群像。不是从文本中,而是从上下文中,我们可以猜测,在本文中,广群不是一个所有映射都可逆的小范畴,也不是任何其他等价定义,而是一个具有二进制运算的集合。他们打电话来准群与二进制运算((Q,\cdot)一起的集合,使得左平移映射和右平移映射((R_x=-\cdot x)和(L_x=x\cdot-),(x\in Q\))都是可逆的。换句话说,拟群类似于群,但运算不一定是结合的,也不一定是单位的;如果它有一个单元,则称为本文还出现了许多其他相关名称:双边逆循环、左逆循环、自守逆循环、幂结合循环、柔性循环、左幂替换循环、左布尔恒等式循环、交换循环等。
关于整个系列,请参见[Zbl 1410.17001号].

MSC公司:

57 K10 结理论
20号05 环,拟群

软件:

间隙;回路
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 理查德·休伯特(Richard Hubert Bruck),《二进制系统概览》(A surview of binary systems),《Ergebnisse der Mathematik und ihrer Grenzgebiete》。Neue Folge,Heft 20号。Reihe:Gruppenthorie,viii+185页(1958年),柏林施普林格出版社,“奥廷根-海德堡”·Zbl 0081.01704号
[2] 布鲁克·R·H。;Paige,Lowell J.,《内部映射为自同构的循环》,《数学年鉴》。(2), 63, 308-323 (1956) ·Zbl 0074.01701号 ·doi:10.2307/1969612
[3] Burn,R.P.,有限Bol循环,数学。程序。剑桥菲洛斯。《社会学杂志》,84,3,377-385(1978)·兹伯利0385.20043 ·doi:10.1017/S0305004100055213
[4] Cs“org\H o,Piroska,一些素数(p)的所有自守序环都是结合的,《代数应用》,12,6,1350013,8 pp.(2013)·Zbl 1275.20071号 ·doi:10.1142/S0219498813500138
[5] De Barros,Dylene Agda Souza;亚历山大·格里什科夫(Alexander Grishkov);Vojt,Petr,交换自守序环(p^3),J.代数应用。,11、5、1250100、15页(2012年)·Zbl 1257.20070号 ·doi:10.1142/S0219498812501009
[6] Drinfel \cprime d,V.G.,关于量子群论中一些尚未解决的问题。量子小组,列宁格勒,1990年,数学讲义。柏林斯普林格1510,1-8(1992)·Zbl 0765.17014号 ·doi:10.1007/BFb0101175
[7] 穆罕默德·埃尔汉达迪;Nelson,Sam,Quandles-纽结代数简介,学生数学图书馆74,x+245 pp.(2015),美国数学学会,普罗维登斯,RI·Zbl 1332.57007号
[8] Michael Eisermann,Yang-Baxter quandles和racks变形,Algebr。地理。拓扑。,5, 537-562 (2005) ·兹比尔1160.17304 ·doi:10.2140/agt.2005.5537
[9] Joyce,David,《结的分类不变量,结的困惑》,J.Pure Appl。代数,23,1,37-65(1982)·Zbl 0474.57003号 ·doi:10.1016/0022-4049(82)90077-9
[10] Galkin,V.M.,左分配有限阶拟群,Mat.Issled。,51, 43-54, 163 (1979) ·Zbl 0447.20051号
[11] GAP组,GAP-组、算法和编程,版本4.8.8;2017,
(https://www.gap-system.org)
.
[12] 乔治·格劳伯曼(George Glauberman),《奇数阶循环》(On loops of odd order),《J.代数》(J.Algebra),1374-396(1964)·Zbl 0123.01502号 ·doi:10.1016/0021-8693(64)90017-1
[13] 乔治·格劳伯曼(George Glauberman),《奇数循环》。二、 《代数杂志》,8393-414(1968)·Zbl 0155.03901号 ·doi:10.1016/0021-8693(68)90050-1
[14] Greer,Mark,《一类与奇数阶Bruck循环完全同构的循环》,《通信代数》,42,8,3682-3697(2014)·Zbl 1298.20077号 ·数字标识代码:10.1080/00927872.2013.791304
[15] 亚历山大·格里什科夫(Alexander Grishkov);Michael Kinyon;Nagy,G’abor P.,交换自守环的可解性,Proc。阿默尔。数学。Soc.,142,9,3029-3037(2014)·Zbl 1306.20069号 ·doi:10.1090/S0002-9939-2014-12053-3
[16] 亚历山大·赫尔普克(Alexander Hulpke);大卫·斯坦诺夫斯克;Vojt \v echovsk \'y,Petr,连通量子和传递群,J.Pure Appl。代数,220,2735-758(2016)·Zbl 1326.57025号 ·doi:10.1016/j.jpaa.2015.07.014
[17] 杰德利·克卡(Jedli cka),佩夫·雷米塞尔(P\v remysl);迈克尔·基扬(Michael K.Kinyon)。;Vojt \v echovsk \'y,Petr,可交换自守环的构造,《通信代数》,38,9,3243-3267(2010)·Zbl 1209.20069 ·doi:10.1080/0927870903200877
[18] 杰德利·克卡(Jedli cka),佩夫·雷米塞尔(P\v remysl);Michael Kinyon;Vojt \v echovsk \'y,Petr,素数幂次自守环中的幂零,《代数杂志》,350,64-76(2012)·Zbl 1250.20061号 ·doi:10.1016/j.jalgebra.2011.09.034
[19] 杰德利·克卡(Jedli cka),佩夫·雷米塞尔(P\v remysl);Michael Kinyon;Vojt \v echovsk \'y,Petr,交换自守环的结构,Trans。阿默尔。数学。Soc.,363,1365-384(2011年)·Zbl 1215.20060号 ·doi:10.1090/S0002-9947-2010-05088-3
[20] 基什尔,休伯特,《(K)循环理论》,数学课堂讲稿1778,x+186页(2002年),施普林格-弗拉格出版社,柏林·Zbl 0997.20059 ·doi:10.1007/b83276
[21] Kikkawa,Michihiko,关于对称空间代数模型的一些拟群,Mem。工厂。点燃。科学。希曼自然大学。科学。,1973年9月6日至13日·Zbl 0264.53028号
[22] 迈克尔·基扬(Michael K.Kinyon)。;Kenneth Kunen;菲利普斯,J.D。;Vojt,echovsk,Petr,自形环的结构,Trans。阿默尔。数学。Soc.,368,12,8901-8927(2016)·Zbl 1359.20038号 ·doi:10.1090/tran/6622
[23] Matveev,S.V.,结理论中的分布群胚,Mat.Sb.(N.S.),119(161),178-88160(1982)
[24] Nagy,G\'abor P。;沃杰特·埃霍夫斯克(Vojt \v echovsk \'y),彼得·穆方(Petr),64和81阶循环,符号计算杂志。,42, 9, 871-883 (2007) ·Zbl 1131.20053号 ·doi:10.1016/j.jsc.2007.06.004
[25] Gabor P.Nagy和Petr Vojtechovsky,LOOPS:在GAP中使用拟群和循环进行计算,网址:
http://www.math.du.edu/petr/回路
·Zbl 1132.20044号
[26] Pflugfelder,Hala O.,《拟群和循环:导论》,《纯粹数学中的Sigma级数》7,viii+147页(1990),赫尔德曼·弗拉格出版社,柏林·兹比尔0715.20043
[27] Robinson,D.A.,《右侧拟群的循环理论研究》,《社会科学年鉴》。《布鲁塞尔一世》,93,1,7-16(1979)·Zbl 0414.20058号
[28] Stanovsk’y,David,《自分配拟群或拉丁量子化指南》,拟群相关系统,23,1,91-128(2015)·Zbl 1328.20085号
[29] Ungar,Abraham A.,《超越爱因斯坦加法定律及其陀螺仪托马斯进动》,物理基础理论117,xlii+413 pp.(2001),Kluwer学术出版集团,多德雷赫特·Zbl 0972.83002号 ·doi:10.1007/978-94-010-9122-0
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。