×

普适完全和Krylov传递无扭阿贝尔群。 (英语) 兹比尔1501.2008

组\(G\)被称为Krylov传递式如果,对于具有(chi{G}(x)=chi{G{(y))((chi{G}(x)表示特征)的任何元素(x,y\),存在(G\)映射到(y\)的自同态。
组\(G\)是普遍完全传递的如果,对于每一个群(M)和每一对元素(G中的x)和(M中的y),如果(chi{G}(x)leq\chi{M}(y)),则存在同态(phi:G\rightarrowM),使得(φ(x)=y)。如果无论何时(chi{G}(x)=chi{M}(y))都成立,则群G被称为普适Krylov传递。
在之前的论文中,相同的作者在扭转情况下对这些组进行了表征[J.Algebra 566,187-204(2021;Zbl 1473.20056号)]. 在无扭转的情况下,这些结果是相同的。
我们从结果中进行浏览。
定理2.1。假设\(G\)是一个群,并且\(G=R\oplus D\),其中\(R\)是约化的,\(D\)是可除的。那么以下是等效的:
(a)
\(G\)是普遍的完全可传递的。
(b)
\(G)是普遍的Krylov传递函数。
(c)
(G)的每个纯秩-1子群都是一个和。
(d)
(G)的每个纯有限秩子群都是一个和。
(g)
\(R)是一个齐次可分群(以及其他三个条件)。

推论2.4。如果\(G\)是\(\mathbb{Z}\)拷贝的直积的纯子群,那么\(G~)是普遍全传递的。特别是,Baer-Specker群是普遍完全传递的。
推论2.11。齐次普遍全传递群的类是包含(mathbb)的最小类{问}_{\rho}\)对于直积和纯子群是封闭的。
定理2.13。假设\(\sigma=\overline{\rho}\)是幂等元类型。如果\(G\)是\(mathbb{问}_{\rho}\)-模和\(G=R\oplus D\),其中\(D\)是可除的,\(R\)是约化的,则以下是等价的:
(a)
\(G)是普遍全传递的,如果(R=0),那么它有一个与(mathbb)同构的纯子模{问}_{\rho}\)。
(b)
\(G)是普遍Krylov传递的,如果(R=0),那么它有一个与(mathbb)同构的纯子模{问}_{\rho}\)。
(c)
\(R)同构于某个直积的纯子模{问}_{\rho}\)。
(d)
在自然映射\(\phi_{R}:R\rightarrow R^{ast\ast}\)下,\(R\)映射到\(R^{ast\ast}\)的纯子模。

第三节讨论了群(G)的一个子群(H)的相对化:(H)-完全群和(H)-Krylov传递群,它们(最初)的定义如下:
给定\(H\leq G\),我们说群\(G\)是\(H\)-完全传递的如果,对于每对元素(H中的x\和G中的y\),如果(x),则存在同态(f:H\右箭头G\),使得(f(x)=y\)。如果当\(chi_{H}(x)=\ chi_{G}(y)\)时这成立,则群\(G\)称为\(H\)-Krylov传递式.
然而,在本节中,(H)不是(G)的子群,而是一个任意的固定群。
部分结果如下:
提案3.5。设(G=\bigoplus\limits_{i\ in i}G_{i})为无扭群,其中(\pi_{i{:G\rightarrow G_{i})是相应的投影,设(H\leq G\)是不变子群,与系统(\{pi_{i{i}}i\ in i})相比,即,(H=\bikoplus\limits_{i \π{i}(H)\)。那么,(G)是(H)-完全可传递的当且仅当系统(i)中的系统(i中的系统)满足关于子群(i中)的特征的单调条件,并且对于i中的所有指数(i,j),群(G)、(G)构成相应子群(H)、(H)的完全可传递对{j}\).
推论3.7。假设\(G=D(G)\oplus A\),其中\(D(G。如果\(G\)是\(H\)-完全可传递的,那么\(A\)既是\(R\)-全部可传递的又是\(F\)-全可传递的。相反的含义通常会失败。
建议3.11。向量群是普遍全传递的,当且仅当形成直积的所有秩为1的群都是相同的幂等类型。
论文以“总结讨论和开放问题”一节结束。

理学硕士:

20K10码 扭群、初等群和广义初等群
20公里30 阿贝尔群的自同态、同态、自同态等
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] IH Bekher;宾夕法尼亚州克雷洛夫;Chekhlov,AR,接近代数紧的无挠阿贝尔群,阿贝尔群模。,11-12, 3-52 (1994) ·Zbl 0859.20045
[2] 布劳恩,G。;戈德史密斯,B。;龚,K。;Strüngmann,L.,阿贝尔群中的一些传递性类概念,J.代数,529,114-123(2019)·Zbl 1435.20063号 ·doi:10.1016/j.jalgebra.2019.03.026
[3] Calugareau,G。;契克洛夫,A。;Krylov,P.,阿贝尔群和对偶的自同态图像生成的子群,J.群论,5,21,885-900(2018)·Zbl 1437.20048号 ·doi:10.1515/jgth-2018-0013
[4] 契克洛夫,AR;Danchev,光伏;Keef,PW,完全传递和赋值阿贝尔群的推广,J.代数,2566187-204(2021)·Zbl 1473.20056号 ·doi:10.1016/j.jalgebra.2020.09.014
[5] Fuchs,L.,Abelian Group(1958),布达佩斯:匈牙利科学院出版社,布达帕斯·Zbl 0091.02704号
[6] Fuchs,L.:无限阿贝尔群,第一卷和第二卷。纽约学术出版社(1970年和1973年)·Zbl 0209.05503号
[7] Fuchs,L.,Abelian Group(2015),瑞士:施普林格·Zbl 1416.20001号 ·doi:10.1007/978-3-319-19422-6
[8] 戈德史密斯,B。;Strüngmann,L.,无挠弱传递阿贝尔群,Commun。《代数》,4,33,1177-1191(2005)·Zbl 1142.20032号 ·doi:10.1081/AGB-200053836
[9] Griffith,P.,无限阿贝尔群理论(1970),芝加哥:芝加哥大学出版社,芝加哥·Zbl 0204.35001号
[10] Grinshpon,SY,阿贝尔群的完全不变子群和完全及物性,Fundam。普里克尔。材料,8407-473(2002)·兹比尔1026.20034
[11] 卡普兰斯基,I.:无限阿贝尔群。密歇根大学出版社,安娜堡(1954年和1969年)·兹比尔0057.01901
[12] Keef,PW,关于Calugareau,Chekhlov和Krylov关于阿贝尔群纯内象的问题,J.群论,1,23,159-178(2020)·Zbl 1464.20018号 ·doi:10.1515/jgth-2019-0095
[13] Krylov,PA,不可约阿贝尔群及其自同态环,阿贝尔群和模,73-100(1986),托木斯克:托木斯科·戈苏达尔斯滕诺戈大学·Zbl 0713.20051号
[14] Krylov,P。;米哈列夫,A。;Tuganbaev,A.,阿贝尔群的自同态环(2003),伦敦:Kluwer学术出版社,伦敦·Zbl 1054.20038号 ·doi:10.1007/978-94-017-0345-1
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。