Assertion: abelian group's element | /r/CapableOf | form subgroup
Facets:
Source sentences:
text: Theorem: The elements of \(G\) that commute with a given element \(a\) form a subgroup \(N\), called the normalizer of \(a\).