Indecomposable decompositions of torsion-free abelian groups

almost complete decomposability block-rigidity cyclic regulator quotient finite rank indecomposable decomposition realization of partitions torsion-free abelian group

Mathematics Subject Classification ID

Torsion-free groups, finite rank (20K15) Direct sums, direct products, etc. for abelian groups (20K25)

Abstract: An indecomposable decomposition of a torsion-free abelian group

G

of rank

n

is a decomposition

G = A_{1} o p l u s c d o t s o p l u s A_{t}

where

A_{i}

is indecomposable of rank

r_{i}

so that

s u m_{i} r_{i} = n

is a partition of

n

. The group

G

may have decompositions that result in different partitions of

n

. We address the problem of characterising those sets of partitions of

n

which can arise from indecomposable decompositions of a torsion-free abelian group.

Review text

All groups here are finite rank torsion-free abelian groups. If a group $G$ of rank $n$ can be written as $G=A_1\oplus \cdots \oplus A_t$ with $A_i$ indecomposable of rank $r_i$, then $n=\sum_{i=1}^t r_i$ and we say that $G$ has indecomposable decomposition and that $G$ realizes the partition $P=(r_1, \ldots, r_t)$. The paper investigates three types of problems (1) Characterize the families of partitions that can be realized by some group. (2) For a given family of partitions of $n$ that can be realized, determine which groups realize them. (3) For a given class of groups, find the families of partitions realized by groups in the class. Denote the class of block-rigid almost completely decomposable groups with cyclic regulator quotient as $\mathcal B$. For a collection $\mathcal P$ of partitions of $n$ let $r^{\mathcal P}$ be the largest entry of any partition in $\mathcal P$ and let $t^{\mathcal P}$ be the length of the longest partition in $\mathcal P$. We say that $\mathcal P$ satisfies the hook condition if $r^{\mathcal P} + t^{\mathcal P}\leq n+1$. This paper features the following results. \begin{itemize} \item[1.] Proposition 3.1(1) shows that if $G\in {\mathcal B}$ then the family $\mathcal P$ of partitions of $G$ satisfies the Hook Condition. \item[2.] A description of $\mathcal B$-groups is established in Lemma 5.12. \item[3.] Lemma 6.7 gives a description (of the type in the previously mentioned Lemma 5.12) for the direct sum of two $\mathcal B$-groups. \item[4.] Lemmas 4.2, 4.3, and 6.1 establish general obstructions to realization. \item[5.] Maximal sets of partitions of $n$ that satisfy the hook condition (denoted ${\mathcal S}(n,k)$) are described in Proposition 3.3. The few ${\mathcal S}(n,k)$ that can be realized by groups in $\mathcal B$ and the many ${\mathcal S}(n,k)$ that cannot be realized by groups in $\mathcal B$ are described in Theorem 7.2. \end{itemize}

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Indecomposable decompositions of torsion-free abelian groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1647336)