1.Previous
3.Next

the derived subgroup of the subgroup generated by a and b such that a^q · b^q = (ab)^q · c₁^q ··· c_k^q, where q = pⁿ.

Examples

Many familiar p-groups are regular:
* Every abelian p-group is regular.
* Every p-group of nilpotency class strictly less than p is regular. This follows from the Hall-Petresco identity.

1.Previous
3.Next