Classes of primary abelian groups determined by valuated subgroups (Q1802143): Difference between revisions

The height function on an abelian \(p\)-group \(G\) induces a valuation on the \(p^ n\)-socle, \(G[p^ n]\). A class of groups is determined by its \(p^ n\)-socles if any two of its members are isomorphic whenever their \(p^ n\)-socles are isometric, that is, isomorphic as valuated groups. Some important classes of groups, including the \(p^{\omega+n}\)- projectives and the \(p^{\omega+n}\)-injectives, are determined by their socles. The existing theory on such groups is unified and extended in the present work. The \(t\)-product of a collection of groups \(\{G_ i\}_{i\in I}\) is the torsion-subgroup of \(\prod_{i \in I} G_ i\). The DST-closure of a class \(\Gamma\) of groups is the smallest class containing \(\Gamma\) that is closed under isomorphism, direct sums, summands and \(t\)-products over index sets of non-measurable cardinality. For each pair of non-negative integers \(i\), \(j\), the author defines a DST-closed class of groups determined by their \(p^{n+1}\)-socles, where \(n = j+k\). The construction covers a number of important special cases. Corollary. The DST-closures of the following classes are determined by their \(p^{n+1}\)-socles: (a) the union of the \(p^{\omega+j}\)- injectives and the \(p^{\omega+k}\)-projectives, where \(j+k = n\). (b) The \(p^{\omega+n}\)-injectives. (c) The \(p^{\omega+n}\)-projectives. (d) The \(p^{\omega+n}\)-bounded groups whose Ulm factors are either direct sums of cyclics or torsion-complete.