Element of order

The order of an element a is the smallest positive integer m such that a to the power of m equals e, where e is the identity element.

element_of_order(Ring, Integer)

Given a ring R and an integer m, returns an element a element of R such that a to the power of m equals e, where e is the identity element.