We will use what we have learned about group actions to prove the Sylow Theorems.
The Sylow Theorems
We will use what we have learned about group actions to prove the Sylow Theorems.
Recall for a moment what it means for \(G\) to act on itself by conjugation and how conjugacy classes are distributed in the group according to the class equation,
discussed in .
A group \(G\) acts on itself by conjugation via the map \((g,x) \mapsto gxg^{-1}\).
Let \(x_1, \ldots,
x_k\) be representatives from each of the distinct conjugacy classes of \(G\) that consist of more than one element.
Then the class equation can be written as
\[\begin{aligned}\end{aligned}\],
where \(Z(G) = \{g \in G : gx = xg \text{ for all } x \in G\}\) is the center of \(G\) and
\(C(x_i) = \{ g \in G : g x_i = x_i g \}\) is the centralizer subgroup of \(x_i\).
We begin our investigation of the Sylow Theorems by examining subgroups of order \(p\),
where \(p\) is prime.
A group \(G\) is a \(p\)-group
if every element in \(G\) has as its order a power of \(p\),
where \(p\) is a prime number.
A subgroup of a group \(G\) is a
\(p\)-subgroup if it is a \(p\)-group.
Example
Let us consider the group \(A_5\).
We know that \(|A_5| = 60 = 2^2 \cdot 3 \cdot 5\).
By Cauchy's Theorem,
we are guaranteed that \(A_5\) has subgroups of orders \(2\),
\(3\) and \(5\).
The Sylow Theorems will give us even more information about the possible subgroups of \(A_5\).
We are now ready to state and prove the first of the Sylow Theorems.
The proof is very similar to the proof of Cauchy's Theorem.
A Sylow \(p\)-subgroup
\(P\) of a group \(G\) is a maximal \(p\)-subgroup of \(G\).
To prove the other two Sylow Theorems,
we need to consider conjugate subgroups as opposed to conjugate elements in a group.
For a group \(G\),
let \({\mathcal S}\) be the collection of all subgroups of \(G\).
For any subgroup \(H\), \({\mathcal S}\) is a \(H\)-set,
where \(H\) acts on \({\mathcal S}\) by conjugation.
That is, we have an action
\[\begin{aligned}\end{aligned}\]
defined by
\[\begin{aligned}\end{aligned}\]
for \(K\) in \({\mathcal S}\).
The set
\(N(H)\)
normalizer of s subgroup \(H\)
\[\begin{aligned}\end{aligned}\]
is a subgroup of \(G\) called the the
normalizer
of \(H\) in \(G\).
Notice that \(H\) is a normal subgroup of \(N(H)\).
In fact, \(N(H)\) is the largest subgroup of \(G\) in which \(H\) is normal.
Historical Note
Peter Ludvig Mejdell Sylow
was born in 1832 in Christiania, Norway
(now Oslo).
After attending Christiania University, Sylow taught high school.
In 1862 he obtained a temporary appointment at Christiania University.
Even though his appointment was relatively brief,
he influenced students such as Sophus Lie
(18421899).
Sylow had a chance at a permanent chair in 1869,
but failed to obtain the appointment.
In 1872, he published a 10-page paper presenting the theorems that now bear his name.
Later Lie and Sylow collaborated on a new edition of Abel's works.
In 1898, a chair at Christiania University was finally created for Sylow through the efforts of his student and colleague Lie.
Sylow died in 1918.
A set with one operation that is associative, has an identity, and lets every element be undone. Symmetries of any object form a group. That is where the idea came from.
What is the difference between a ring and a field?
A ring has addition and multiplication that behave like the integers (you cannot always divide); a field is a ring where every non-zero element has a reciprocal, like the rationals or the reals.