Cotorsion group
In mathematics, in the realm of abelian group theory, an abelian group is said to be cotorsion if every extension of it by a torsion-free group splits. If the group is , this is equivalent to asserting that
for all torsion-free groups
. It suffices to check the condition for
being the group of rational numbers.