Assertion: abelian group's subgroup | /r/HasProperty | equal
Facets:
value: more generally
type: DEGREE
Source sentences:
text: More generally, if denotes the of in , i.e., the subgroup consisting of all elements such that , then the index is equal to the number of elements in the conjugacy class of (by the orbit-stabilizer theorem).