×

阿贝尔扩张和可解循环。 (英语) 兹比尔1334.20068

在同余模变种交换子理论发展之后R.弗里斯R.麦肯齐[同余模变种的换向器理论。Lond.Math.Soc.Lect.Note Ser.125。剑桥:剑桥大学出版社(1987;Zbl 0636.08001号)],本文作者在J.Algebra 399,290-322(2014;Zbl 1319.20056号)]基于循环的多样性是同余模的事实。他们早期研究的主要结果在这篇新文章中被称为定理2.1。
本文是上述作者早期工作的延续。他们研究了从Freese-McKenzie交换子理论推导出的两个概念;中心子环路和阿贝尔子环路。他们的主要结果是定理4.1,是阿贝尔子循环的语法和语义特征,类似于他们在定理4.2中回顾的中心子循环的著名特征。它们对阿贝尔正规子循环的语义刻画有助于提出阿贝尔扩张的概念,阿贝尔扩张是中心扩张的推广。在其他一些作者的著作中,这些环的阿贝尔扩展被证明是仿射拟直积,因此得出结论,环是布尔完备的,当且仅当它不是同余可解的。这推广了群的可解性和布尔完备性之间的联系,作者认为这将导致交换子理论在计算复杂性中的新应用。最后,他们以开放问题的形式讨论了循环及其相关的乘法群和内映射群中的可解性和幂零性之间的关系。

MSC公司:

20号05 环,拟群
08B10号 同余模块性,同余分配性

软件:

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

参考文献:

[1] Aichinger E.,Mudrinski N.:高等交换子在Mal'cev代数中的一些应用。代数大学63(4),367-403(2010)·兹比尔1206.08003 ·doi:10.1007/s00012-010-0084-1
[2] 伯格曼·C·:泛代数:基础和选定主题。查普曼和霍尔/CRC出版社,伦敦(2011年)·Zbl 1229.08001号
[3] 布鲁克·R·H:对循环理论的贡献。事务处理。美国数学。Soc.60245-354(1946)·Zbl 0061.02201号 ·doi:10.1090/S0002-9947-1946-0017288-3
[4] 布鲁克·R·H:二进制系统综述。Ergebnisse der Mathematik和ihrer Grenzgebiete。柏林施普林格(1958)·兹伯利0081.01704
[5] Bruck R.H.,Paige L.J.:内部映射为自同构的循环。安。数学。2(63), 308-323 (1956) ·兹伯利0074.01701 ·doi:10.2307/1969612
[6] Bulatov A.:关于有限Mal'tsev代数的个数。Contrib.Gen.代数13,41-54(2001)·Zbl 0986.08003号
[7] CörgőP.:阿贝尔内映射和幂零类大于2。《欧洲期刊》第28卷(3),第858-867页(2007年)·Zbl 1149.20053号 ·doi:10.1016/j.ejc.2005.12.002
[8] Drápal A.,VojtěchovskóP.:具有可交换内部映射群的幂零类三的小循环。J.群论14(4),547-573(2011)·Zbl 1234.20069号 ·doi:10.1515/jgt.2010.062
[9] Freese R.,McKenzie R.:同余模簇的交换子理论。伦敦数学学会讲座笔记系列125。剑桥大学出版社,剑桥(1987)·Zbl 0636.08001号
[10] GAP组:GAP组、算法和编程,4.5.5版。http://www.gap-system.org (2012). 2014年2月12日访问
[11] Kinyon,M.、Kunen,K.、Phillips,J.D.、Vojtěchovsk \283],P.:自形环的结构。事务处理。美国数学。Soc.(2014年,待发布)·Zbl 1359.20038号
[12] Kinyon,M.,Veroff,R.,Vojtěchovsk \283],P.:阿贝尔内部映射群的循环:自动演绎的应用。收录:Bonacina,M.P.,Stickel,M.E.(编辑)《自动推理和数学》,《纪念威廉·麦库恩的论文》。《人工智能课堂讲稿》,第7788卷,第151-164页。施普林格,纽约(2013)·Zbl 1383.68077号
[13] Lemieux F.,Moore C.,Thérien D.:Polyabelian循环和布尔完备性。注释。数学。卡罗尔大学。41(4), 671-686 (2000) ·Zbl 1051.20033号
[14] Maurer W.D.,Rhodes J.:有限单非阿贝尔群的一个性质。程序。美国数学。Soc.16552-554(1965)·Zbl 0132.26903号 ·doi:10.1090/S0002-9939-1965-0175971-0
[15] Mazur M.:幂零群的连通断面。J.群论10(2),195-203(2007)·Zbl 1150.20010号 ·doi:10.1515/JGT.2007.015
[16] Moore,C.,Thérien,D.,Lemieux,F.,Berman,J.,Drisko,A.:具有非关联门的电路和表达式。收录于:IEEE第十二届计算复杂性年会(Ulm,1997)(发表于J.Compute.Syst.Sci.60(2),第2部分,368-394)(2000)·Zbl 0955.68053号
[17] McKenzie,R.,Snow,J.:同余模变种:换向器理论及其应用。自动机、半群和泛代数的结构理论。《北约科学丛书II:数学、物理和化学丛书》,第207卷,第273-329页。施普林格,多德雷赫特(2005)·邮编1096.08003
[18] Nagy,G.P.,VojtŞchovský,P.:循环:在GAP中使用拟群和循环进行计算,版本2.2.0。http://www.math.du.edu/loops。2014年2月12日访问·Zbl 1132.20044号
[19] Niemenmaa M.:具有幂零内部映射群的有限循环是中心幂零的。牛市。澳大利亚。数学。Soc.79(1),109-114(2009)·Zbl 1167.20039号 ·doi:10.1017/S0004972708001093
[20] Pflugfelder,H.O.:拟群和环:引言。Helder520 mann,柏林(1990)·Zbl 0715.2004年3月
[21] Smith J.D.H.:马尔科夫品种。数学课堂笔记554。柏林施普林格(1976)·Zbl 0344.08002号
[22] 斯坦诺夫斯克·D·,沃伊特·乔夫斯克(Vojtěchovsk \ P.):环路换向器理论。《代数杂志》399290-322(2014)·Zbl 1319.20056号 ·doi:10.1016/j.jalgebra.2013.08.045
[23] Straubing,H.:用有限半群上的词表示函数。摘自:技术报告#838。蒙特利尔蒙特勒大学(1992年)·Zbl 0182.34701号
[24] Vesanen A.:可解群和环。《代数杂志》180(3),862-876(1996)·Zbl 0853.20050 ·doi:10.1006/jabr.1996.0098
[25] Wright C.R.B.:关于循环的乘法群。Ill.J.数学。13, 660-673 (1969) ·Zbl 0182.34701号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。