PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Revision difference : Sylow theorems
Version 2 Version 1
Let $G$ be a finite group whose order is divisible by the prime $p$. Suppose $p^m$ is the highest power of $p$ which is a factor of $|G|$ and set $k = \frac{|G|}{p^m}$. Let $G$ be a finite group whose order is divisible by the prime $p$. Suppose $p^m$ is the highest power of $p$ which is a factor of $|G|$ and set $k = \frac{|G|}{p^m}$
\begin{itemize} \begin{itemize}
\item The group $G$ contains at least one subgroup of order $p^m$. \item The group $G$ contains at least one subgroup of order $p^m$
\item Any two subgroups of $G$ of order $p^m$ are conjugate. \item Any two subgroups of $G$ of order $p^m$ are conjugate
\item The number of subgroups of $G$ of order $p^m$ is congruent to $1$ modulo $p$ and is a factor of $k$. \item The number of subgroups of $G$ of order $p^m$ is congruent to $1$ modulo $p$ and is a factor of $k$
\end{itemize} \end{itemize}