# Sylow’s Theorem (Summary)

In this post we review Sylow’s theorem and as an example we solve the following problem.

## Problem 64

Show that a group of order $200$ has a normal Sylow $5$-subgroup.

Add to solve later

Contents

## Review of Sylow’s Theorem

One of the important theorems in group theory is Sylow’s theorem.

Sylow’s theorem is a very powerful tool to solve the classification problem of finite groups of a given order.

In this article, we review several terminologies, the contents of Sylow’s theorem, and its corollary.

We also give an example that can be solved using Sylow’s theorem.

At the end of this post, the links to various Sylow’s theorem problems are given.

We first introduce several definitions.

### Definition 1.

Let $G$ be a group and $p$ be a prime number.

- A group of order $p^{\alpha}$ for some non-negative integer $\alpha$ is called a
.*$p$-group* - A subgroup of $G$ which is a $p$-subgroup is called
**$p$-subgroup**.

### Definition 2.

Let $G$ be a finite group of order $n$. Let $p$ be a prime number dividing $n$.

Write $n=p^{\alpha}m$, where $\alpha, m \in \Z$ and $p$ does not divide $m$.

Then any subgroup $H$ of $G$ is called a ** Sylow $p$-group** of $G$ if the order of $H$ is $p^{\alpha}$.

## Sylow’s theorem

Let $G$ be a finite group of order $p^{\alpha}m$, where the prime number $p$ does not divide $m$.

- There exists at least one Sylow $p$-subgroup of $G$.
- If $P$ is a Sylow $p$-subgroup of $G$ and $Q$ is any $p$-subgroup of $G$, then there exists $g \in G$ such that $Q$ is a subgroup of $gPg^{-1}$.

In particular, any two Sylow $p$-subgroups of $G$ are conjugate in $G$. - The number $n_p$ of Sylow $p$-subgroups of $G$ is

\[n_p \equiv 1 \pmod p.\] That is, $n_p=pk+1$ for some $k\in \Z$. - The number $n_p$ of Sylow $p$-subgroup of $G$ is the index of the normalizer $N_G(P)$ in $G$ for any Sylow $p$-subgroup $P$, hence $n_p$ divides $m$.

### Corollary

In the notation of the previous theorem, if the number $n_p$ of Sylow $p$-subgroup of $G$ is $n_p=1$, then the Sylow $p$-subgroup is a normal subgroup of $G$.

## Example/Problem.

Now as an example we solve the problem.

### Problem.

Show that a group of order $200$ has a normal Sylow $5$-subgroup.

### Solution.

We have the factorization $200=2^3\cdot 5^2$.

By Sylow’s theorem the number of Sylow $5$-subgroup satisfies $n_5 \equiv 1 \pmod 5$ and $n_5$ divides $8$.

The numbers satisfies $n_5 \equiv 1 \pmod 5$ are $n_5=1, 6, 11, \cdots$.

Among these numbers, only $1$ divides $8$.

Thus the only number satisfies both conditions is $1$.

Hence $n_5=1$ and there is only one Sylow $5$-subgroup.

Then by the corollary, the Sylow $5$-subgroup is normal.

## More Problems on Sylow’s theorem

Sylow’s theorem is a handy tool to determine the group structure of a finite group.

We list here several problems/examples that can be solved using Sylow’s theorem.

All solutions are given in the links below.

- Sylow subgroups of a group of order $33$ is normal subgroups
- Group of order pq has a normal Sylow subgroup and solvable
- If the order is an even perfect number, then a group is not simple
- A group of order pqr contains a normal subgroup
- Groups of order 100, 200. Is it simple?
- If a Sylow subgroup is normal in a normal subgroup, it is a normal subgroup
- subgroup containing all p-Sylow subgroups of a group
- A group of order $20$ is solvable
- Non-abelian group of order $pq$ and its Sylow subgroups
- Prove that a Group of Order 217 is Cyclic and Find the Number of Generators
- Every Group of Order 20449 is an Abelian Group
- Every Sylow 11-Subgroup of a Group of Order 231 is Contained in the Center $Z(G)$
- Every Group of Order 72 is Not a Simple Group

Add to solve later

## 18 Responses

[…] Sylow’s theorem. (See the post Sylow’s Theorem (summary) to review the […]

[…] Review Sylow’s theorem (Especially (3) and (4) in the theorem). […]

[…] For more details, check out the post Sylow’s theorem (summary) […]

[…] To review Sylow’s theorem, read the post Sylow’s Theorem (summary) […]

[…] For (a), apply Sylow’s theorem. To review Sylow’s theorem, read the post Sylow’s Theorem (summary). […]

[…] $18=2cdot 3^2$, the number $n_3$ of Sylow $3$-subgroups is $1$ by the Sylow theorem. (Sylow’s theorem implies that $n_3 equi 1 pmod{3}$ and $n_3$ divides $2$.) Hence the […]

[…] Sylow’s theorem and determine the number of $5$-Sylow subgroup of the group $G$. Check out Sylow’s Theorem (summary) for a review of Sylow’s […]

[…] We use Sylow’s theorem. Review the basic terminologies and Sylow’s theorem. […]

[…] the post summary of Sylow’s Theorem to review Sylow’s […]

[…] Sylow’s theorem. To review Sylow’s theorem, check out the post Sylow’s Theorem (summary). Read the corollary there as well to understand the proof […]

[…] For a review of Sylow’s theorem, check out the post “Sylow’s Theorem (summary)“. […]

[…] that $20449=11^2 cdot 13^2$. Let $G$ be a group of order $20449$. We prove by Sylow’s theorem that there are a unique Sylow $11$-subgroup and a unique Sylow $13$-subgroup of $G$. Hence $G$ is […]

[…] You may use Sylow’s theorem. For a review of Sylow’s theorem, please check out the post Sylow’s Theorem (summary). […]

[…] out the post “Sylow’s Theorem (summary)” for a review of Sylow’s […]

[…] For a review of the Sylow’s theorem, check out the post “Sylow’s Theorem (summary)“. […]

[…] Use the conjugate part of the Sylow theorem. See the second statement of the Sylow theorem. […]

[…] Sylow’s theorem. (See Sylow’s Theorem (Summary) for a review of Sylow’s […]

[…] Sylow’s theorem, we know that [n_{19} equiv 1 pmod{19} text{ and } n_{19} mid 3.] It follows that […]