Since is normal in , it is normal in , and is a cyclic group. More specifically, quotienting by makes the image of central. The quotient is generated by this central image and the single element , and is therefore abelian. Hence
Thus is a powerful p-group. Merely saying that is cyclic would give only ; centralizing is the extra step needed here.

Articles by others on the same topic (0)

There are currently no matching articles.