Misplaced Pages

Regular p-group

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

In mathematical finite group theory, the concept of regular p-group captures some of the more important properties of abelian p-groups, but is general enough to include most "small" p-groups. Regular p-groups were introduced by Phillip Hall (1934).

Definition

A finite p-group G is said to be regular if any of the following equivalent (Hall 1959, Ch. 12.4), (Huppert 1967, Kap. III §10) conditions are satisfied:

  • For every a, b in G, there is a c in the derived subgroup H′ of the subgroup H of G generated by a and b, such that a · b = (ab) · c.
  • For every a, b in G, there are elements ci in the derived subgroup of the subgroup generated by a and b, such that a · b = (ab) · c1ck.
  • For every a, b in G and every positive integer n, there are elements ci in the derived subgroup of the subgroup generated by a and b such that a · b = (ab) · c1ck, where q = p.

Examples

Many familiar p-groups are regular:

However, many familiar p-groups are not regular:

Properties

A p-group is regular if and only if every subgroup generated by two elements is regular.

Every subgroup and quotient group of a regular group is regular, but the direct product of regular groups need not be regular.

A 2-group is regular if and only if it is abelian. A 3-group with two generators is regular if and only if its derived subgroup is cyclic. Every p-group of odd order with cyclic derived subgroup is regular.

The subgroup of a p-group G generated by the elements of order dividing p is denoted Ωk(G) and regular groups are well-behaved in that Ωk(G) is precisely the set of elements of order dividing p. The subgroup generated by all p-th powers of elements in G is denoted k(G). In a regular group, the index is equal to the order of Ωk(G). In fact, commutators and powers interact in particularly simple ways (Huppert 1967, Kap III §10, Satz 10.8). For example, given normal subgroups M and N of a regular p-group G and nonnegative integers m and n, one has = ℧m+n().

  • Philip Hall's criteria of regularity of a p-group G: G is regular, if one of the following hold:
    1. < p
    2. [G′:℧1(G′)| < p
    3. 1(G)| < p

Generalizations

References

Categories: