Template:Abelian-tautological subgroup property

Tautology when whole group is abelian

This subgroup property is an abelian-tautological subgroup property: it is always true for a subgroup of an abelian group.
View a complete list of abelian-tautological subgroup properties