V.V.布鲁多夫。;德罗斯特，M。;格拉斯，A.M.W。 全序集的自同构群：回顾性调查。 （英语） Zbl 1265.06048号 数学。斯洛伐克语 61，第3期，373-388（2011）. Cayley的表示定理表明，每个群（G）同构于一组置换的一个子群。1963年，W.C.Holland证明了每个格序群（（ell）-群）都可以嵌入到全序集的所有序-保置换的（ell。本文对这一结果的证明及其一些结果进行了很好的调查。除其他外，还考虑了以下主题：在不使用广义连续体假设的情况下，证明了每个\（\ell\）-群都可以\（\ell\）-嵌入到可整除的\（\ell\）-群中；表征了o-本原置换群；研究了群和（ell）-群中的合并与决策问题，并提出了具有强单位的（ell。审核人：布鲁内拉·格拉（瓦雷斯） 引用于4文件 MSC公司： 2015年1月6日 有序的组 20B27型 无限自同构群 2010年1月20日 单词问题、其他决策问题、与逻辑和自动机的联系（群体理论方面） 20层60 有序群（群理论方面） 关键词：全序集;排列群;表示;本原置换群;合并;合并子群的自由积;右序群;正规子群;伯格曼财产 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Bludov}等人，《数学》。斯洛文尼亚61，编号373-388（2011年；兹bl 1265.06048） 全文： 内政部 OA许可证 参考文献： [1] ADELEKE，S.A.–HOLLAND，W.C.：用词表示顺序自同构，数学论坛。6 (1994), 315–321. ·Zbl 0802.20003号 ·doi:10.1515/form.1994.6.315 [2] ADELEKE，S.A.–NEUMANN，P.M.：与中间性相关的关系：它们的结构和自同构，Mem。阿默尔。数学。Soc.623（1998）·Zbl 0896.08001号 [3] BALL R.N.–DROSTE，M.：链的双传递自同构群的正规子群，Trans。阿默尔。数学。Soc.290（1985），647-664·Zbl 0578.06001号 ·网址：10.1090/S0002-9947-1985-0792817-5 [4] BERGMAN，G.M.：群和半群的序余积，《代数杂志》133（1990），313–339·Zbl 0666.06012号 ·doi:10.1016/0021-8693（90）90272-P [5] BERGMAN，G.M.：生成无限对称群，布尔。伦敦数学。Soc.38（2006），429–440·Zbl 1103.20003号 ·doi:10.1112/S0024609305018308 [6] BLUDOV，V.V.：线性序群的完备性，《代数逻辑》44（2005），370-380·兹比尔1103.06007 ·doi:10.1007/s10469-005-0036-6 [7] BLUDOV，V.V.–GLASS，A.M.W.：格序和右序群中的共轭性，《群理论》11（2008），623–633·Zbl 1154.06010号 ·doi:10.1515/JGT.2008.038 [8] BLUDOV，V.V.–GLASS，A.M.W.：关于具有合并子群的右序群的自由积，数学。程序。剑桥菲洛斯。Soc.146（2009），591-601·兹比尔1167.06010 ·doi:10.1017/S0305004108002144 [9] BLUDOV，V.V.–GLASS，A.M.W.：单词问题、嵌入和合并子群的右序群的自由积，Proc。伦敦数学。Soc.（3）99（2009），585-608·Zbl 1185.06016号 ·doi:10.1112/plms/pdp008 [10] BLUDOV，V.V.–GLASS，A.M.W.：格序群的右序和合并，数学。斯洛伐克61（2011），355-372·Zbl 1265.06049号 [11] BOONE，W.W.–HIGMAN，G.：单词问题可解性的代数表征，J.Aust。数学。《社会分类》第18卷（1974年），第41–53页·兹比尔0303.20028 ·网址：10.1017/S1446788700019108 [12] COHN，P.M.：有序集的有序自同构群，Mathematika 4（1957），41-50·Zbl 0088.02702号 ·doi:10.1112/S0025579300001078 [13] DROSTE，M.：线性序集的2-传递自同构群的正规子群格，第2阶（1985），291-319·Zbl 0583.06001号 [14] DROSTE，M.：线性序的完全嵌入和格序群的嵌入，Israel J.Math。56 (1986), 315–334. ·Zbl 0619.06001号 ·doi:10.1007/BF02782939 [15] DROSTE，M.–GIRAUDET，M.-GØBEL，R.：所有群都是简单群的外自同构群，J.London Math。Soc.（2）64（2001），565-575·Zbl 1015.20027号 ·doi:10.1112/S0024610701002484 [16] DROSTE，M.–HOLLAND，W.C.：生成链的自同构群，论坛数学。17 (2005), 699–710. ·Zbl 1093.20016号 ·doi:10.1515/form.2005.17.4.699 [17] DROSTE，M.–HOLLAND，W.C.：BuAut（{\（\Omega\）}）的正规子群，应用。类别。结构15（2007），153–162·Zbl 1193.06014号 ·doi:10.1007/s10485-007-9060-0 [18] DROSTE，M.–HOLLAND，W.C.–MACPHERSON，H.D.：无限半线性阶的自同构群（I）；（二） ，程序。伦敦数学。Soc.（3）58（1989），454–478；479–494. ·兹伯利0636.20003 ·doi:10.1112/plms/s3-58.3.454 [19] DROSTE，M.–HOLLAND，W.C.–MACPHERSON，H.D.：齐次半线性阶的自同构群：正规子群和交换子，Canad。数学杂志。43 (1991), 721–737. ·Zbl 0778.06001号 ·doi:10.4153/CJM-1991-041-7 [20] DROSTE，M.–HOLLAND，W.C.–ULBRICH，G.：关于具有不可数余终结性的保测度和遍历变换的全群，布尔。伦敦数学。Soc.40（2008），463-472·Zbl 1146.20029号 ·doi:10.1112/blms/bdn028 [21] DROSTE，M.–SHELAH，S.：线性序集的2-传递自同构群的所有正规子群格的构造，Israel J.Math。51 (1985), 223–261. ·Zbl 0608.06001号 ·doi:10.1007/BF02772666 [22] DROSTE，M.–SHELAH，S.：有序置换群的外自同构群，《数学论坛》。14 (2002), 605–621. ·Zbl 1017.20030号 ·doi:10.1515/form.2002.026 [23] DROSTE，M.–TRUSS，J.K.：线性和部分阶自同构群的不可数余终结性，《代数普遍性》62（2009），75-90·Zbl 1192.06002号 ·doi:10.1007/s00012-010-0040-0 [24] DVURE C ENSKIJ，A.：伪MV代数是酉群的区间，J.Aust。数学。Soc.72（2002），427–445·Zbl 1027.06014号 ·网址：10.1017/S1446788700036806 [25] DVURE Ca ENSKIJ，A.–HOLLAND，W.C.：广义MV-代数和酉格序群的顶级变种，《公共代数》35（2007），3370–3390·Zbl 1131.06011号 ·网址：10.1080/00927870701410769 [26] GLASS，A.M.W.：简单格序群，Proc。爱丁堡。数学。《社会学杂志》（2）19（1974），133-138·Zbl 0296.06010号 ·doi:10.1017/S0013091500010257 [27] GLASS，A.M.W.：晶格有序群的自由积，Proc。阿默尔。数学。Soc.101（1987），11-16·Zbl 0627.06015号 ·doi:10.1090/S0002-9939-1987-0897063-X [28] GLASS，A.M.W.：有限呈现格序群的子格子群，J.Algebra 301（2006），509-530·Zbl 1150.20029号 ·doi:10.1016/j.jalgebra.2006.03.013 [29] GLASS，A.M.W.：具有可解单词问题的有限生成格序群，《群论》11（2008），1-21·Zbl 1153.06011号 ·doi:10.1515/JGT.2008.001 [30] GLASS，A.M.W.：格序群的自由积和Higman-Neumann-Numann型扩张。In:Ischia Group Theory 2006（T.Hawkes，ed.），《世界科学》。出版物。Co.，新加坡，2007年，第147-165页·Zbl 1225.06011号 [31] GLASS，A.M.W.：有序置换群。伦敦数学。Soc.课堂讲稿Ser。55，剑桥大学出版社，剑桥，1981年·Zbl 0473.06010号 [32] GLASS，A.M.W.：部分有序群。序列号。《代数7》，世界科学出版社。有限公司，新加坡，1999年·Zbl 0933.06010号 [33] GLASS，A.M.W.–GUREVICH，Y.：格序群的单词问题，Trans。阿默尔。数学。Soc.280（1983），127–138·Zbl 0527.06009 [34] GLASS，A.M.W.–HOLLAND，W.C.–MCCLEARY，S.H.：群变种的结构，《代数普遍性》10（1980），1–20·Zbl 0439.06013号 ·doi:10.1007/BF02482885 [35] 古里安，C.：《（mathbb{Q}）自同构群的普遍性》，C.R.数学。阿卡德。科学。巴黎315（1992），1329-1331·Zbl 0797.20002号 [36] GUREVICH Y.–HOLLAND，W.C.：认识实线，Trans。阿默尔。数学。Soc.265（1981），527-534·Zbl 0471.03033号 ·doi:10.1090/S0002-9947-1981-0610963-X [37] 希格曼，G.：关于无限简单群，Publ。数学。德布勒森3（1954），221–226·Zbl 0057.25801号 [38] HIGMAN，G.：有限呈现群的子群，Proc。罗伊。Soc.伦敦Ser。A 262（1961），455-475·Zbl 0104.02101号 ·文件编号：10.1098/rspa.1961.0132 [39] 霍兰德：有序集的格序自同构群，密歇根数学。《期刊》第10卷（1963年），第399-408页·Zbl 0116.02102号 ·doi:10.1307/mmj/1028998976 [40] 霍兰德，W.C.：传递格序置换群，数学。Z.87（1965），420-433·兹伯利0147.01204 ·doi:10.1007/BF01111722 [41] 霍兰德，W.C.：《广义花环积的表征》，J.代数13（1969），155-172·Zbl 0186.03802号 ·doi:10.1016/0021-8693（69）90069-6 [42] 霍兰德，W.C.：有序置换群的外部自同构，Proc。爱丁堡。数学。Soc.（2）19（1974），331-344·Zbl 0325.06010号 ·doi:10.1017/S001309150010439 [43] HOLLAND，W.C.：格序群的最大固有种类，Proc。阿默尔。数学。《社会分类》第57卷（1976年），第25-28页·兹伯利0339.06011 ·doi:10.1090/S0002-9939-1976-0406902-0 [44] 霍兰德，W.C.：《GMV-代数和酉格序群的许多顶级变种的连续统》，《代数普遍性》，《康拉德卷》62（2009），27-43·Zbl 1194.06008号 ·doi:10.1007/s00012-010-0036-9 [45] HOLLAND，W.C.–MCCLEARY，S.H.：有序置换群的圈积，太平洋数学杂志。31 (1969), 703–716. ·Zbl 0206.31804号 ·doi:10.2140/pjm.1969.31.703 [46] HOLLAND，W.C.–MCCLEARY，S.H.：自由格序群的单词问题，休斯顿J.数学。5 (1979), 99–105. ·Zbl 0387.06011号 [47] HURD，S.P.：周期o-本原序置换群的正规子群，休斯顿J.数学。15 (1989), 85–98. ·Zbl 0676.06022号 [48] JAKUBíK，J.：关于各种伪MV-代数，捷克斯洛伐克数学。J.53（128）（2003），1031-1040·Zbl 1080.06015号 ·doi:10.1023/B:CMAJ.000024539.80076.24 [49] JAMBU-GIRAUDET，M.：双解释群和格，Trans。阿默尔。数学。Soc.278（1983），第253–269页·Zbl 0522.03024号 ·doi:10.1090/S0002-9947-1983-0697073-2 [50] KOPYTOV，V.M.：自由格序群，《代数逻辑》18（1979），259-270·Zbl 0446.06010号 ·doi:10.1007/BF01673944 [51] LIEBECK，M.W.–O'BRIEN，E.–SHALEV，A.–TIEP，P.H.：矿石推测，J.Eur.数学。Soc.（JEMS）12（2010），939–1008·Zbl 1205.20011号 ·doi:10.4171/JEMS/220 [52] LYNDON R.C.–SCHUPP，P.E.：组合群理论。埃尔格布。数学。格伦兹格布。（3） 海德堡斯普林格·弗拉格89号，1977年。 [53] MACPHERSON H.D.–NEUMANN，P.M.：无限置换群的子群，J.London Math。Soc.（2）42（1990），64-84·Zbl 0668.20005年 ·doi:10.1112/jlms/s2-42.1.64 [54] MATUMOTO，T.：任何群都可以用一个外部自同构群来表示，广岛数学。J.19（1989），209–219·Zbl 0727.20029 [55] MCCLEARY，S.H.：o-基序置换群I；二、 太平洋数学杂志。40; 49, (1972); (1973), 349–372; 431–443. ·Zbl 0213.29501号 ·doi:10.2140/pjm.1972.40.349 [56] MCCLEARY，S.H.：不及物有序置换群的结构，《普遍代数》6（1976），229-255·Zbl 0355.06016号 ·doi:10.1007/BF02485831 [57] MCCLEARY，S.H.：表示为o-2传递置换群的自由格序群，Trans。阿默尔。数学。Soc.290（1985），69-100·Zbl 0546.06013号 [58] MCCLEARY，S.H.–RUBIN，M.：局部移动群与链和圆的重建问题，1995年，http://arxiv.org/abs/math/0510122 . [59] MCKENZIE，R.：关于对称群的基本类型，《代数普遍性1》（1971），13-20·Zbl 0232.20057号 ·doi:10.1007/BF02944950 [60] MUNDICI，D.：Lukasiewicz句子演算中AFC*-代数的解释，J.Funct。分析。65 (1986), 15–63. ·Zbl 0597.46059号 ·doi:10.1016/0022-1236（86）90015-7 [61] NAVAS，A.–RIVAS，C.：群序Conrad性质的一个新特征及其应用（A.Clay的附录），Algebr。地理。白杨。9 (2009), 2079–2100. ·Zbl 1211.06009号 ·doi:10.2140/agt.2009.9.2079年 [62] 安大略省奥库马市：基金会基金会。数学。43 (1955), 326–337. [63] ORE，O.：关于换向器的一些评论，Proc。阿默尔。数学。Soc.2（1951），307-314·Zbl 0043.02402号 ·doi:10.1090/S0002-9939-1951-0040298-4 [64] PIERCE，K.R.：格序群的合并，Trans。阿默尔。数学。Soc.172（1972），249-260·Zbl 0259.06017号 ·doi:10.1090/S0002-9947-1972-0325488-3 [65] READ，J.A.：非重叠格序群的圈积，Canad。数学。牛市。17 (1975), 713–722. ·兹伯利0313.06012 ·doi:10.4153/CBM-1974-129-8 [66] THOMAS，S.：无限置换群的余终结性。摘自：《代数和模型理论的进展》（M.Droste，R.Göbel，eds.），Gordon Breach，阿姆斯特丹，1997年，第101-120页·Zbl 0940.20005号 [67] VINOGRADOV，A.A.：关于有序群的自由积，Mat.Sb.25（1949），163-168（俄语）。 [68] 温伯格：《嵌入可分格序群》，J.London Math。Soc.（2）42（1967），504-506·Zbl 0157.36802号 ·doi:10.1112/jlms/s1-42.1.504 [69] 温伯格，E.C.：极小{\（\eta\）}{\（\ alpha\）}集的自同构群。收录于：有序群体（J.E.Smith、G.O.Kenny、R.N.Ball编辑）。纯与应用课堂笔记。数学。62，马塞尔·德克尔，纽约，1980年，第71-79页。 [70] 沃尔芬斯汀，S.：阿提·阿卡德，瓦勒乌斯正常人与非群体性关系。纳粹。Lincei Cl.科学。财政部。Mat.Natur公司。伦德。Lincei（8）44（1968），337-342·Zbl 0174.06003号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。