Infinite order (source code)

= Infinite order

A group element has infinite order when no positive power of it is the <identity element>.