Algebraically compact group

In mathematics, in the realm of abelian group theory, a group is said to be algebraically compact if it is a direct summand of every abelian group containing it as a pure subgroup.
Equivalent characterizations of algebraic compactness:
Relations with other properties: