\(\newcommand{\identity}{\mathrm{id}} \newcommand{\notdivide}{{\not{\mid}}} \newcommand{\notsubset}{\not\subset} \newcommand{\lcm}{\operatorname{lcm}} \newcommand{\gf}{\operatorname{GF}} \newcommand{\inn}{\operatorname{Inn}} \newcommand{\aut}{\operatorname{Aut}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\cis}{\operatorname{cis}} \newcommand{\chr}{\operatorname{char}} \newcommand{\Null}{\operatorname{Null}} \renewcommand{\gcd}{\operatorname{mcd}} \renewcommand{\lcm}{\operatorname{mcm}} \renewcommand{\deg}{\operatorname{gr}} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)

Capítulo15Los Teoremas de Sylow

Ya sabemos que el recíproco del Teorema de Lagrange es falso. Si \(G\) es un grupo de orden \(m\) y \(n\) divide a \(m\text{,}\) entonces \(G\) no necesariamente posee un subgrupo de orden \(n\text{.}\) Por ejemplo, \(A_4\) tiene orden 12 pero no posee un subgrupo de orden 6. Sin embargo, los Teoremas de Sylow proveen un recíproco parcial para el Teorema de Lagrange—en ciertos casos garantizan la existencias de subgrupos de ciertos órdenes. Estos teoremas entregan herramientas poderosas para la clasificación de los grupos finitos no-abelianos.