Second Sylow Theorem
Second Sylow Theorem
Introduction
The Second Sylow Theorem establishes that all Sylow
Statement
Second Sylow Theorem (Conjugacy): All Sylow
Let
Proof Sketch
The proof uses group actions:
-
Define the action: Let a Sylow
-subgroup act on the set of left cosets of another Sylow -subgroup . -
Apply orbit-stabilizer: Show that there must be a fixed point under this action.
-
Conclude conjugacy: The existence of a fixed point implies that
is a conjugate of .
Key Steps
- The action of
on has orbits of size dividing - Since
is not divisible by , there must be a fixed point - A fixed point corresponds to
where - Since both have the same order,
Examples
Example 1: Groups of Order 12
Let
- All Sylow 2-subgroups (order 4) are conjugate
- All Sylow 3-subgroups (order 3) are conjugate
Example 2: Groups of Order 30
Let
- All Sylow 2-subgroups (order 2) are conjugate
- All Sylow 3-subgroups (order 3) are conjugate
- All Sylow 5-subgroups (order 5) are conjugate
Example 3: Symmetric Groups
In
- All Sylow 2-subgroups (order 8) are conjugate
- All Sylow 3-subgroups (order 3) are conjugate
Applications
Application 1: Normal Sylow Subgroups
If a group has a unique Sylow
Application 2: Group Classification
The Second Sylow Theorem helps classify groups by understanding the conjugacy of their Sylow subgroups.
Application 3: Simplicity Tests
If a group has multiple Sylow
Consequences
Uniqueness Up to Conjugation
The theorem shows that Sylow
Containment of p-Subgroups
Any