[math-fun] Normal subgroups