Transitivity and full transitivity for \(p\)-local modules (Q1572835)

Let \(M\) be a \(p\)-local module, that is, a module over a discrete valuation ring \(R\) with maximal ideal \(pR\). We denote the \(p\)-height sequence of \(x\in M\) by \(U_M(x)\). A module is called \textit{transitive} if for all \(x, y\in M\) with \(U_M(x)=U_M(y)\) there exists an automorphism of \(M\) that maps \(x\) to \(y\); and a module is \textit{fully transitive} if this can be achieved by an endomorphism of \(M\) when \(U_M(x)\leq U_M(y)\). This work investigates the relationship between the notions of transitive and fully transitive for mixed \(p\)-local modules. The results extend the findings of Files and Goldsmith and of Kaplansky for torsion \(p\)-local modules. The main theorem is as follows: Let \(M\) be a \(p\)-local module such that (1) the divisible part of \(M/tM\) has rank at most one, or (2) \(M\) is completely decomposable, or (3) \(M\) is a Warfield module. Then the following are equivalent: (i) \(M\) is fully transitive; (ii) \(M^{(\lambda)}\) is fully transitive for some cardinal \(\lambda >0\); (iii) \(M^{(\lambda)}\) is fully transitive for all cardinals \(\lambda\); (iv) \(M^{(\lambda)}\) is transitive for some cardinal \(\lambda >1\); (v) \(M^{(\lambda)}\) is transitive for all cardinals \(\lambda >1\). In particular, the above theorem shows that appropriate mixed modules \(M\) are fully transitive if and only if \( M \oplus M\) is transitive. The authors also establish some criteria for when transitive implies fully transitive. One such result is that any transitive torsion-free module is fully transitive.