3-step group for a prime

The article defines a property of groups, where the definition may be in terms of a particular prime that serves as parameter
View other prime-parametrized group properties | View other group properties

Definition

Suppose $G$ is a finite group and $p$ is a prime number. We say that $G$ is a 3-step group with respect to $p$:

1. $O_{p,p'}(G)$ is a Frobenius group with Frobenius kernel $O_{p}(G)$ and cyclic complement of odd order. In particular, this means that either $p=2$ or $G$ has odd order.
2. $G=O_{p,p',p}(G)$ and strictly contains $O_{p,p'}(G)$.
3. $G/O_{p}(G)$ is a Frobenius group with Frobenius kernel $O_{p,p'}(G)/O_{p}(G)$.

Examples

Symmetric group:S4 is an example of a 3-step group with $p=2$. If $G=S_{4}$, then:

• $O_{p}(G)$ is the normal Klein four-subgroup of symmetric group:S4, isomorphic to the Klein four-group.
• $O_{p,p'}(G)$ is A4 in S4, isomorphic to alternating group:A4. This is a Frobenius group with $O_{p}(G)$ as its Frobenius kernel and complement cyclic group:Z3.
• $G/O_{p}(G)$ is isomorphic to symmetric group:S3, and has Frobenius kernel A3 in S3, which is the image mod $O_{p}(G)$ of A4 in S4, which is $O_{p,p'}(G)$.

References

Textbook references

• Finite Groups by Daniel Gorenstein, ISBN 0821843427, Page 401, Section 14.1 (Basic Properties of CN-Groups), ^{More info}