Suppose is generated by . Every element of can then be written with . Hence
Thus 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

Articles by others on the same topic (0)

There are currently no matching articles.