Faithful semidirect product of cyclic p-groups
This is a general type of group of prime power order obtained as follows. Consider natural numbers , and an odd prime . Now, the multiplicative group of contains a cyclic subgroup of order : the subgroup generated multiplicatively by .
The group we are interested in is the semidirect product of with this cyclic group.
The class of this group depends on .