A characterization is given of when all kernels (respectively images) of endomorphisms of a module are direct summands, a necessary condition being that the endomorphism ring itself is a left (respectively right) PP-ring. This result generalizes theorems of Small, Lenzing and Colby-Rutter and shows that R is left hereditary if and only if the endomorphism ring of every injective left module is a right PP-ring.

A prime Goldie ring K, in which each finitely generated left ideal is principal is the endomorphism ring E(F, A) of a free module A, of finite rank, over an Ore domain F. We determine necessary and sufficient conditions to insure that whenever K ≅ E(F, A) ≅ E(G, B) (with A and B free and finitely generated over domains F and G) then (F, A) is semi-linearly isomorphic to (G, B). We also show, by example, that it is possible for K ≅ E(F, A ) ≅ E(G, B), with F and G, not isomorphic.

Let D be a division algebra whose class [D] is in B(K), the Brauer group of an algebraic number field K. If [D⊗KL] is the trivial class in B(L), then we say that L is a splitting field for D or L splits D. The splitting fields in D of smallest dimension are the maximal subfields of D. Although there are infinitely many maximal subfields of D which are cyclic extensions of K; from the perspective of the Schur Subgroup S(K) of B(K) the natural splitting fields are the cyclotomic ones. In (Cyclotomic Splitting Fields, Proc. Amer. Math. Soc. 25 (1970), 630-633) there are errors which have led to the main result of this paper, namely to provide necessary and sufficient conditions for (D) in S(K) to have a maximal subfield which is a cyclic cyclotomic extension of K, a finite abelian extension of Q. A similar result is provided for quaternion division algebras in B(K).