Assertion: abelian group's element | /r/CapableOf | exist for every n
Facets:
Source sentences:
text: If such an element exists for every n, we say the p-root type of a is infinity, otherwise, if n is the largest non-negative integer that there is such an element, we say the p-root type of a is n .