====== Sylow $p$-subgroup ======
====Definition==== 
Let $G$ be a [[Definition:Group|group]] and $p$ a prime. A [[Definition:p-Group|$p$-subgroup]] $P \le G$ is called a //Sylow $p$-subgroup// of $G$ if $P$ is not properly contained in any other [[Definition:p-group|$p$-subgroup]] of $G$, i.e. if $P$ is a maximal $p$-subgroup of $G$. The collection of all Sylow $p$-subgroups of $G$ is usually denoted $\textrm{Syl}_p(G)$.

----
==== Remarks ==== 
  * By [[wp>Zorn's lemma]], Sylow $p$-subgroups exist in any group; however, they may be trivial or equal to the whole group $G$.
  * The above definition naturally extends to the idea of a Sylow $\pi$-group where $\pi$ is any collection of primes. See the remarks following the definition of a [[Definition:p-Group|$p$-group]].

----
==== $\LaTeX$ version ====
<code>
%%%%%%%%%%
% DEPENDENCIES 
% RequiredMacros: \DeclareMathOperator{\syl}{Syl} 
%%%%%%%%%%
\begin{definition}
Let $G$ be a group and $p$ a prime. A $p$-subgroup $P \le G$ is called a \textit{Sylow $p$-subgroup} of $G$ if $P$ is not properly contained in any other $p$-subgroup of $G$, i.e. if $P$ is a maximal $p$-subgroup of $G$. The collection of all Sylow $p$-subgroups of $G$ is usually denoted $\syl_p(G)$.
\end{definition}
</code>

----
==== External links ====
  * [[wp>Sylow theorems]]