Representing matrices of almost completely decomposable groups

DOI10.1016/S0022-4049(00)00048-7MaRDI QIDQ5936009zbMATH OpenOpenAlexFDO

Authors Adolf Mader, Otto Mutzbauer, L. G. Nongxa

Publication date 17 November 2002

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0022-4049(00)00048-7

almost completely decomposable groups completely decomposable subgroups critical types direct sums generators incomparable types regulating subgroups representing matrices

Mathematics Subject Classification ID

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

Review text

An almost completely decomposable group \(X\) is a finite extension of a completely decomposable subgroup \(A\). That is, \(A\) is isomorphic to a finite direct sum of subgroups of the additive rationals, or rank-1 groups. Let \(e\) be a positive integer such that \(eX\subseteq A\), and let \(v_1,\dots,v_r\) be a set of generators for \(A/eA\). The quotient group \(eX/eA\) is finitely generated, say by \(x_1,\dots,x_k\). If we write \(x_i=\sum m_{ij}v_j\), we obtain a \(k\) by \(r\) matrix \(M=(m_{ij})\) called a representing matrix for \(X\). Clearly, \(M\) depends on the choices of \(A\), \(e\), \(v_j\) and \(x_i\).NEWLINENEWLINENEWLINEThe authors explore, under appropriate assumptions, the existence of ``canonical forms for representing matrices. The most satisfactory results are obtained when the exponent \(e\) is a power of a prime \(p\), in particular when \(X/A\) is a free module over \(\mathbb{Z}/p^d\mathbb{Z}\) for some positive integer \(d\). Two applications demonstrate the utility of the results in the paper.NEWLINENEWLINENEWLINEFirst, the authors contribute yet another proof of the ``two critical types theorem. Proposition 4.2. Let \(X\) be a finite extension of a completely decomposable group that is a direct sum of copies of two rank-1 groups that have incomparable types. Then \(X\) is the direct sum of groups of ranks one or two.NEWLINENEWLINENEWLINESecond, they consider almost completely decomposable groups \(X\) with critical types \(t_1\), \(t_2\), \(t_3\) where \(t_2\leq t_3\) is the only relation. Call such a group a \((1;2)\)-group. Theorem 4.6. Let \(X\) be a \((1;2)\)-group such that \(X/R(X)\) is a free module over \(\mathbb{Z}/p^d\mathbb{Z}\). Then \(X\) is a direct sum of groups of rank no greater than 3. -- Here \(R(X)\) is the regulator of \(X\), the intersection of all regulating subgroups of \(X\).

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Representing matrices of almost completely decomposable groups

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