Quotient-powering-invariant subgroup