A p-elementary group is a direct product of groups of a p-group and a cyclic group whose order is coprime to . Either factor may be trivial. The coprime cyclic factor is central, a stronger requirement than merely having a cyclic subgroup with p-group quotient.
New to topics? Read the docs here!