This note is devoted to the question of deciding whether or not a subring of a finite-dimensional algebra over the rationals, with additive group a Butler group, is the endomorphism ring of a Butler group (a Butler group is a pure subgroup of a finite direct sum of rank-1 torsion-free abelian groups). A complete answer is given for subrings of division algebras. Several applications are included.

A module M over a ring R is κ-projective, κ a cardinal, if M is projective relative to all exact sequence of R-modules 0 → A → B → C → 0 such that C has a generating set of cardinality less than κ. A structure theorem for κ-projective modules over Dedekind domains is proven, and the κ-projectivity of M is related to properties of ExtR (M, ⊕ R). Using results of S. Chase, S. Shelah and P. Eklof, the existence of non-projective и1-projective modules is shown to undecidable, while both the Continuum Hypothesis and its denial (Plus Martin's Axiom) imply the existence of a reduced И0-projective Z-module which is not free.

In this paper we generalize a recent result of Freedman (1973) concerning the cardinality of the type set of a rank two torsion-free abelian group. We show that if A is such a group and A supports a non-trivial associative ring then the type set of A contains at most three elements.