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
      0 references
      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

      Identifiers

      0 references
      0 references
      0 references
      0 references