Assertion: abelian group's element | /r/CapableOf | generate finite cyclic subgroup
Facets:
value: in this case
type: OTHER
Source sentences:
text: (In this case, every element of generates a finite cyclic subgroup of , and the inverse of is then = , where is the order of .)