Index Laws for Monoid

Also see

 * Index Laws for Semigroup
 * Powers of Group Elements