Relationships between almost completely decomposable abelian groups and their multiplication groups (Q6972659)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 8051894
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Relationships between almost completely decomposable abelian groups and their multiplication groups |
scientific article; zbMATH DE number 8051894 |
Statements
Relationships between almost completely decomposable abelian groups and their multiplication groups (English)
0 references
12 June 2025
0 references
A multiplication on an abelian group \(G\) is a homomorphism \(\mu: G \otimes G \rightarrow G\). The set of all multiplications on \(G\) is an abelian group with respect to addition; it is denoted by \(\operatorname{Mult}G\). The rank of a torsion free abelian group \(G\) is the dimension of the \(\mathbb{Q}\)-vector space \(\mathbb{Q}\otimes_{\mathbb{Z}}G\). A torsion-free abelian group \(G\) is completely decomposable if \(G\) is a finite direct sum of rank-\(1\) groups and a finite rank torsion-free abelian group \(G\) is almost completely decomposable (ACD) if \(G\) is quasi-isomorphic to a completely decomposable group. Equivalently, \(G\) contains a completely decomposable group \(C\) as a subgroup with \(G/C\) bounded, that is, there exists \(n\in \mathbb{N}\) such that \(n(G/C)=0\) which is equivalent to the fact that the subgroup \(C\) is of finite index in \(G\) since \(G\) is a torsion-free abelian group of finite rank.\N\NAny ACD-group \(G\) contains a special uniquely determined completely decomposable subgroup \(\operatorname{Reg}G\) of finite index which is a fully invariant subgroup in \(G\); it is called the regulator of the group \(G\). The quotient group \(G/\operatorname{Reg} G\) is called the regulator quotient of the group \(G\) and the index of the subgroup \(\operatorname{Reg}G\) in G is called the regulator index, it is denoted by \(n(G)\). ACD-groups with cyclic regulator quotient are often called CRQ-groups.\N\NLet \(G\) be an almost completely decomposable group. For every type \(\tau\) (see [\textit{L. Fuchs}, Abelian groups. Cham: Springer (2015; Zbl 1416.20001)]), we denote by \(\operatorname{Reg}_{\tau} G\) the \(\tau\)-homogeneous component of \(G\) (see [\textit{A. Mader}, Almost completely decomposable groups. Amsterdam: Gordon and Breach (2000; Zbl 0945.20031)]). The type set \(T(G)=T(\operatorname{Reg}G)=\{\tau \mid \operatorname{Reg}_{\tau} G\neq 0\}\) is called the set of critical types of the groups \(G\) and \(\operatorname{Reg}G\). If \(T(G)\) consists of pairwise non-comparable types, then the groups \(G\) and \(\operatorname{Reg}G\) are called block-rigid groups. Moreover, if for any \(\tau \in T(G)\), the group \(\operatorname{Reg}_{\tau} G\) is of rank \(1\), then \(G\) and \(\operatorname{Reg}G\) are called rigid groups. If all types in \(T(G)\) are idempotent types then \(G\) is called a group of ring type. Let \(\mathcal{A}_0\) be the class of abelian block-rigid almost completely decomposable groups of ring type with cyclic regulator quotient, that is, the class of all block-rigid CRQ groups of ring type. In this paper, the authors study relationships between the above groups \(G\) and their multiplication groups \(\operatorname{Mult}G\). It is proved that groups from \(\mathcal{A}_0\) are determined by their multiplication groups. For a rigid group \(G\in \mathcal{A}_0\), the isomorphism problem is solved: the authors describe multiplications from \(\operatorname{Mult}G\) that define isomorphic rings on \(G\). They also describe abelian groups that are realized as the multiplication group of some group in \(\mathcal{A}_0\). They describe groups in \(\mathcal{A}_0\) that are isomorphic to their multiplication groups.
0 references
abelian group
0 references
almost completely decomposable abelian group
0 references
ring on an abelian group
0 references
multiplication group of an abelian group
0 references
0 references