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. HenceThus 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
There are currently no matching articles.