Rings of quasi-endomorphisms of strongly indecomposable torsion-free Abelian groups (Q1280639)

All the groups are torsion-free abelian. The pseudosocle \(\text{Soc }G\) of the group \(G\) is the pure closure of the sum of all minimal pure fully characteristic subgroups of \(G\). Let \(G\) be a strongly indecomposable group of rank 3. Then \(G=\text{Soc }G\) if and only if the ring of quasi-endomorphisms \({\mathcal E}(G)\) of \(G\) is a \(\mathbb{Q}\)-algebra of dimension one or three. Especially, \({\mathcal E}(G)\cong\mathbb{Q}\) if and only if \(G\) contains a fully characteristic subgroup of rank one and \({\mathcal E}(G)\) is a field of algebraic numbers of degree three if and only if \(G\) has no non-trivial pure fully characteristic subgroup (Th. 1). If \(\text{Soc }G\neq G\) then \({\mathcal E}(G)\) is isomorphic to one of the four algebras of \(3\times 3\) matrices over \(\mathbb{Q}\) (Th. 2). The last result (Th. 3) shows that each of these four possibilities appears as a ring of quasi-endomorphisms of a strongly indecomposable rank three group \(G\) with \(\text{Soc }G\neq G\). Let \(R\) be a fixed complete discrete valuation domain and let \(A\) be a reduced torsion-free algebraically compact \(R\)-module with a smoothly descending chain of summands \(A[\alpha]\) indexed by ordinals with \(A[0]=A\). The category \(\mathcal A\) consists of all such objects and morphisms in \(\mathcal A\) are \(R\)-module homomorphisms preserving the distinguished chains of submodules. A module \(T\) is said to be an \(\mathcal A\)-Warfield module if it is a nice extension of some \(A\in{\mathcal A}\) with \(T/A\) totally projective. Among other results it is shown that if \(T_1\), \(T_2\) are reduced \(\mathcal A\)-Warfield modules, then any ring isomorphism of their endomorphism rings is induced by a module isomorphism \(f\colon T_1\to T_2\).