Assertion: abelian group's element | /r/CapableOf | satisfy xp = e
Facets:
Source sentences:
text: The former happens precisely for those tuples (x,x,...,x) for which xp = e. Counting the elements of X by orbits, and reducing modulo p, one sees that the number of elements satisfying xp = e is divisible by