On the projective commutant of Abelian groups.
type: Item
instance of: scholarly article
title: On the projective commutant of Abelian groups.
zbMATH Open document ID: 1281.20064
DOI: 10.1134/S0037446612020188
published in: Siberian Mathematical Journal
publication date: 2012-11-14T00:00:00Z
review text: In this work the investigations of the author's paper [``On projective invariant subgroups of Abelian groups'', J. Math. Sci., New York 164, No. 1, 143-147 (2010); translation from Fundam. Prikl. Mat. 14, No. 6, 211-218 (2008)] are continued. The author uses the following concepts and notations. By \(M\) he denotes some module and by \(E(M)\) its endomorphism ring; \(\text{Pr}(M)=\text{Id}(E(M))\). If \(H\leq M\) and \(\pi H\subseteq H\) for all \(\pi\in\text{Pr}(M)\) then the submodule \(H\) is called projectively invariant (briefly, a pi-submodule) and denoted by \(H\leq\text{pi\,}M\). Call a submodule \(H\leq M\) commutator projectively invariant (briefly, a cpi-submodule) if \([\xi,\eta]H\subseteq H\) for all \(\xi,\eta\in\text{Pr}(M)\). Clearly, if \(H\leq\text{pi\,}M\), then \(H\leq\text{cpi\,}M\). By the projective center (briefly, the P-center) of \(M\) he means the submodule: \(PZ(M)=\{a\in M\mid[\xi,\eta]a=0\text{ for all }\xi,\eta\in\text{Pr}(M)\}\). Call the submodule \(\text{P}(M)=\langle[\varphi,\psi]M\mid\varphi,\psi\in\text{Pr}(M)\rangle\) the projective commutant (briefly, the P-commutant) of \(M\). The main results of the paper are the following: Theorem 1. Suppose that \(A=B\oplus D\), where \(D=t(D)\oplus D_0\) is the divisible part of \(A\) and \(H\leq A\). Then \(H\leq\text{cpi\,}A\) if and only if \(H\) coincides with one of the following subgroups: (1) \(H=F\oplus(\bigoplus_pD_p[p^{k_p}])\), where \(F\) is a periodic cpi-subgroup in \(B\) and \(k_p\geq\sup\{e(b)\mid b\in F_p\}\); (2) \(H=G\oplus(\bigoplus_{p\in\Pi_1}D_p[p^{k_p}])\), where \(G\) is aperiodic cpi-subgroup in \(B\oplus(\bigoplus_{p\in\Pi}D_p)\) as in Lemma 4(2) \(k_p\geq\sup\{e(g)\mid g\in G_p\}\) and \(\Pi_1\cap\Pi=\emptyset\); (3) \(H=C\oplus D\), where \(C\leq\text{cpi\,}B\); (4) \(H=E\oplus t(D)\), \(r(D_0)=1\) and \(E\) is a nonperiodic cpi-subgroup in \(B\oplus D_0\) as in Lemma 4(1). Theorem 2. In a decomposable reduced separable torsion-free group \(A\), all cpi-subgroup…
Mathematics Subject Classification ID: 20K15
Mathematics Subject Classification ID: 13C05
Mathematics Subject Classification ID: 20K27
Mathematics Subject Classification ID: 20K30
zbMATH DE Number: 6105687
zbMATH Keywords: reduced separable torsion-free Abelian groups
zbMATH Keywords: normal endomorphism rings
zbMATH Keywords: commutators of endomorphisms
zbMATH Keywords: fully invariant submodules
zbMATH Keywords: projectively nongenerating elements
zbMATH Keywords: projectively semiprime submodules
zbMATH Keywords: fully invariant subgroups
author: Andrey R. Chekhlov
reviewed by: Nako Nachev
MaRDI profile type: Publication
cites work: On projective invariant subgroups of Abelian groups.
cites work: Q5391608
cites work: Abelian groups with normal endomorphism rings.
cites work: Commutator invariant subgroups of Abelian groups.
cites work: Endomorphism rings of Abelian groups
cites work: Q4745957
full work available at URL: s0037446612020188
OpenAlex ID: W1977650894
description: scientific article; zbMATH DE number 6105687