Dualities for torsion-free abelian groups of finite rank (Q1263680): Difference between revisions

All groups considered here are torsion-free abelian groups of finite rank. Let F be a full free subgroup of such a group G. The finite outer type of G, FOT(G), is \((...,\pi_ p,...)\), where \(p^{\pi_ p}\) is the order of a maximal cyclic summand in the p-component of the reduced part of G/F. G is called a PX-group, where P is any set of primes and X is a rank one group, if FOT(G)\(\leq type X\), \(pX=X\) exactly when \(pG=G\) and \(p\not\in P\) and that \((G/F)_ p\) infinite implies that \(p\in P\). Every PX-group G with a full free subgroup F can be written as \(G=G_ 1+G_ 2\) such that \(F\subset G_ i\), \(G_ 2/F=\oplus \{D_ p:\) \(p\in P\}\) where D is the divisible part of G/F and \(G/F=G_ 2/F\oplus G_ 1/F\). Since \(G_ 2\) is quotient divisible, one could consider its Arnold Dual [\textit{D. M. Arnold}, Pac. J. Math. 42, 11-15 (1972; Zbl 0262.20062)] \(A(G_ 2)\). For any PX-group \(G=G_ 1+G_ 2\), define \(G^*=Hom(G_ 1,X)+A(G_ 2)\subseteq Hom(G,Q)\). The authors show that the functor \(G\to G^*\) is an exact contravariant functor from \({\mathcal P}\) to \({\mathcal P}\), where \({\mathcal P}\) is the category of PX-groups and quasi- homomorphisms. A PX-group is called dualizable if the localization \(G_ P\) contains a full homogeneous completely decomposable subgroup C of type equal to \(type(X_ P)\) such that \(G_ P/C\) is divisible. The main theorem asserts that * defines a duality on the subcategory of \({\mathcal P}\) consisting of dualizable PX-groups. This duality generalizes not only the Arnold and Warfield dualities, but also the duality of Fomin [\textit{A. A. Fomin}, Sib. Mat. Zh. 27, No.4, 117-127 (1986; Zbl 0633.20031)].