Given an abelian group $G$, one can form the endomorphism ring $\mbox{End}(G)$ by letting $\alpha+\beta=\alpha(x)+\beta(x)$, and $\alpha\beta=\alpha(\beta(x))$, where $\alpha$ and $\beta$ are endomorphisms. Clearly, composition distributes over addition, and addition is commutative, so $\mbox{End}(G)$ is a ring. My question is: when is $\mbox{End}(G)$ commutative? Are there a nice set of criteria, or, if there is no such nice set of criteria, is there a nice class of abelian groups with commutative endomorphism rings.



Criterion for an abelian group to have a commutative endomorphism ring
Amongst the finitely generated abelian groups, those with commutative endomorphism ring are exactly the cyclic groups.


Torsion abelian groups with commutative endomorphism rings are exactly the locally cyclic groups, that is, the subgroups of Q/Z. They were classified in:


* Szele, T.; Szendrei, J.
"On abelian groups with commutative endomorphism ring."
Acta Math. Acad. Sci. Hungar. 2, (1951). 309–324
[MR51835](http://www.ams.org/mathscinet-getitem?mr=51835)
[DOI:10.1007/BF02020735](http://dx.doi.org/10.1007/BF02020735)


This papers also gives more complicated examples of mixed groups with commutative endomorphism ring.


The mixed case was completed in:


* Schultz, Ph.
"On a paper of Szele and Szendrei on groups with commutative endomorphism rings."
Acta Math. Acad. Sci. Hungar. 24 (1973), 59–63.
[MR316598](http://www.ams.org/mathscinet-getitem?mr=316598)
[DOI:10.1007/BF01894610](http://dx.doi.org/10.1007/BF01894610)


This paper indicates the difficulty of any classification of torsion-free abelian groups with commutative endomorphism rings, as Corner has shown that very large torsion-free abelian groups can have commutative endomorphism rings (while the classifications up to now have basically been "only very small ones").


