[math-fun] G/G^n