Subgroup of abelian group

Definition
A subgroup of a group is termed a subgroup of abelian group if the ambient group is an abelian group.

Weaker properties
Properties weaker than this are properties true for all subgroups of abelian groups.