On projectively fully transitive Abelian \(p\)-groups. (Q351111): Difference between revisions

Let \(G\) be an Abelian \(p\)-group, \(E(G)\) its endomorphism ring and \(I(G)\) the set of idempotents in \(E(G)\). Let \(\Pi(G)\) be the additive subgroup of \(E(G)\), and \(\text{Proj}(G)\) the subring of \(E(G)\) generated by \(I(G)\). The authors call \(G\) projectively fully transitive if whenever \(x\) and \(y\) are elements of \(G\) whose Ulm invariants satisfy \(U_G(x)\leq U_G(y)\), there exists \(\varphi\in\text{Proj}(G)\) with \(\varphi(x)=y\), and strongly projectively fully transitive if there exists such \(\varphi\) in \(\Pi(G)\). These definitions are strengthened versions of Kaplansky's notion of full transitivity. The authors establish parallels among the three notions and find several sufficient conditions for their equivalence. They show that in general projective full transitivity and strong projective full transitivity are strictly stronger than full transitivity, and pose the problem of finding a projectively fully transitive group which is not strongly projectively fully transitive.