On commutator socle-regular Abelian \(p\)-groups. (Q741274)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On commutator socle-regular Abelian \(p\)-groups. |
scientific article |
Statements
On commutator socle-regular Abelian \(p\)-groups. (English)
0 references
11 September 2014
0 references
A subgroup \(H\) of an Abelian \(p\)-group \(G\) is called commutator invariant if for all endomorphisms \(\varphi\) and \(\psi\) of \(G\), \((\phi\psi-\psi\phi)(H)\subseteq H\), and projection invariant if for all idempotent endomorphisms \(\pi\), \(\pi(H)\subseteq H\). The authors show that these are independent generalizations of fully invariant, and find various conditions on \(G\) for which they coincide. They define \(G\) to be commutator socle-regular (cs-r) if for each commutator invariant subgroup \(H\), \(H[p]=p^\alpha G[p]\) for some ordinal \(\alpha\). They show that this property is determined by the reduced part of \(G\) and is inherited by large subgroups of \(G\). They describe several necessary or sufficient conditions for a group \(G\) to be cs-r. In the last section of the paper, the authors generalize the notion of cs-r to several properties of the form \(G\) is \(P\)-socle regular if subgroups \(H\) in the class \(P\) satisfy \(H[p]=p^\alpha G[p]\), where \(P\) is the class of fully invariant, characteristic or projection invariant subgroups. They investigate the relations among these properties and consider classes of groups for which they coincide. In general, the proofs consist of extensive commutator calculations.
0 references
Abelian \(p\)-groups
0 references
endomorphisms
0 references
additive commutators
0 references
fully invariant subgroups
0 references
socles
0 references
idempotent endomorphisms
0 references
commutator invariant subgroups
0 references
projection invariant subgroups
0 references
commutator socle-regular Abelian groups
0 references