No label defined (Q4466601)

A \(B^{(1)}\)-group is the quotient of the direct sum of finitely many subgroups of the addititive rationals, \(A=A_1\oplus A_2\oplus\cdots\oplus A_n\), factored by a pure rank-one subgroup \(K\). In the study of such groups up to quasi-isomorphism, it suffices to assume that \(K\) is the image of the diagonal embedding of \(\bigcap A_i\) into \(A\). It is well known that the quotient representation is not unique. That is, one can obtain quasi-isomorphic groups \(G(A)=(A_1\oplus A_2\oplus\cdots\oplus A_n)/\bigcap A_i\) and \(G(B)=(B_1\oplus B_2\oplus\cdots\oplus B_n)/\bigcap B_i\) with \(\{A_i\}\neq\{B_i\}\). In 1994, P. Yom showed that if \(G(A)\) and \(G(B)\) are quasi-isomorphic and strongly indecomposable, there is a sequence \(G(A_1),G(A_2),\dots,G(A_r)\) such that \(A_1=A\), \(A_r=B\); \(A(i+1)\) differs from \(A(i)\) in exactly two of its rank-one summands; and \(G(A_i)\) is quasi-isomorphic to \(G(A_{i+1})\) for \(i=1,2,\dots,r-1\). In this paper, DeVivo and Metelli extend Yom's result to the non-strongly indecomposable case. Their proof involves a constructive approach using representations over the field \(\mathbb{Z}/2\mathbb{Z}\), called tents. The methods they develop allow them to determine all \(B^{(1)}\)-groups with a given tent. For the entire collection see [Zbl 1030.00028].