Assertion: abelian group's property | /r/HasProperty | equivalent
Facets:
value: to property
type: OTHER
Source sentences:
text: This property is equivalent to property 3, since the elements of two normal subgroups with trivial intersection necessarily commute, a fact which can be deduced by considering the commutator [g,h] of any g in G, h in H.