The power operation in a monoid. a^n = a*a*...*a n times.

The power operation in a group. This extends monoid.pow to negative integers with the definition a^(-n) = (a^n)⁻¹.