A characterization of a class of butler groups

DOI10.1080/00927879708826080MaRDI QIDQ4384672zbMATH OpenOpenAlexFDO

Authors Peter Dongjun Yom

Publication date 12 October 1998

Published in Communications in Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00927879708826080

zbMATH Keywords

Butler groups co-rank one groups quasi-isomorphisms strongly indecomposable groups type sets vertex exchanges

Mathematics Subject Classification ID

Torsion-free groups, finite rank (20K15) Abelian groups (20K99)

Review text

Let \(\tau_1,\ldots,\tau_n\) be types and let \(A_i\) be subgroups of the rationals \(\mathbb{Q}\) representing the types \(\tau_i\). Then the kernel \(G={\mathcal G}(A_1,\ldots,A_n)\) of the map \(\bigoplus_{i=1}^n A_i\to\mathbb{Q}\): \((a_1,\ldots,a_n)\to\sum_{i=1}^n a_i\) depends up to quasi-isomorphism only on the types \(\tau_i\). In the quasi-homomorphism category the group is therefore denoted by \(G=(\tau_1,\ldots,\tau_n)\). The class of special Butler groups so obtained has been studied extensively, but it is not known how one can decide whether two groups \(G=(\tau_1,\ldots,\tau_n)\) and \(H=(\sigma_1,\ldots,\sigma_n)\) are quasi-isomorphic by looking at the sets of types \(\tau_1,\ldots,\tau_n\) and \(\sigma_1,\ldots,\sigma_n\). However, a so-called two vertex exchange leads from one group to a quasi-isomorphic group as follows. Let \(\tau_1,\ldots,\tau_n\) be a set of types that is ``trimmed, and suppose that there is a partition \(\{3,\ldots,n\}=X\cup Y\) such that \((\bigvee_{i\in X}\tau_i)\land(\bigvee_{i\in Y}\tau_i)\leq\tau_1\land\tau_2\). Then \((\tau_1,\ldots,\tau_n)\) is quasi-isomorphic to \((\sigma_1,\sigma_2,\tau_3,\ldots,\tau_n)\) where \(\sigma_1=(\tau_1\lor\bigvee_{i\in Y}\tau_i)\land(\tau_2\lor\bigvee_{i\in X}\tau_i)\) and \(\sigma_2=(\tau_1\lor\bigvee_{i\in X}\tau_i)\land(\tau_2\lor\bigvee_{i\in Y}\tau_i)\). The main result of the paper says that two strongly indecomposable groups \(G=(\tau_1,\ldots,\tau_n)\) and \(H=(\sigma_1,\ldots,\sigma_n)\) with \(\tau_1,\ldots,\tau_n\) and \(\sigma_1,\ldots,\sigma_n\) trimmed are quasi-isomorphic if and only if a sequence of two vertex exchanges transforms \(\tau_1,\ldots,\tau_n\) to \(\sigma_1,\ldots,\sigma_n\) after suitably relabeling the types. This result requires a technical effort and is shown to be powerful through several applications.

Recommendations

Cites work

Cited in

(14)

This page was built for publication: A characterization of a class of butler groups

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