Completely decomposable summands of almost completely decomposable groups

From MaRDI portal





The authors discuss the question when an almost completely decomposable Abelian group has non-zero completely decomposable direct summands. Recall that an almost completely decomposable group \(X\) is a torsion-free finite extension of a completely decomposable group of finite rank. A new invariant, the rank-width difference of \(X\) at a type \(\tau\) is given by \[ \text{rwd}_\tau(X)=\text{rk }X(\tau)/X^\#(\tau)-\text{width }X^\#[\tau]/(X(\tau)+X[\tau]), \] where the width of a finite Abelian group \(G\) is the maximum of \(\dim G[p]\) where \(p\) ranges over the set of primes. It is shown that an almost completely decomposable group \(X\) is \(\tau\)-clipped (i.e. \(X\) has no rank one direct summand of type \(\tau\)) if and only if \(\text{rwd}_\tau(X)=0\). Moreover, \(\text{rwd}_\tau(X)\) is the exact rank of a maximal \(\tau\)-homogeneous completely decomposable summand of \(X\). The properties of the new invariant are studied and some well-known results by Lady and Arnold, Vinsonhaler turn out to be corollaries of the main theorem. Finally, an algorithm is given how to compute the rank-width difference for an almost completely decomposable group given in standard description explicitly using the computer program Maple. This demonstrates that the criteria which have been found by the authors are practical and useful in the theory of almost completely decomposable groups. For the entire collection see [Zbl 0921.00018].





Describes a project that uses

Uses Software






This page was built for publication: Completely decomposable summands of almost completely decomposable groups

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