Suppose is generated by . Every element of can then be written with . HenceThus the cyclic quotient by the center condition forces to be abelian.
If , the quotient has prime order and is therefore cyclic. The result just proved would make abelian, so and the quotient would have order one, a contradiction. Therefore
Solved by gpt-5.6-sol high.
Codex Wiki