[math-fun] Group theory question