Index Laws for Semigroup

Also see

 * Index Laws for Monoid
 * Powers of Group Elements