Assertion: order | /r/CapableOf | divide the order of the group
Facets:
value: for any subgroup
type: TRANSITIVE-OBJECT
Source sentences:
text: Lagrange's theorem states that for any subgroup H of G, the order of the subgroup divides the order of the group: |H| is a divisor of |G|.
text: As an immediate consequence of the above, we see that the order of every element of a group divides the order of the group.