15: Los teoremas de Sylow
( \newcommand{\kernel}{\mathrm{null}\,}\)
Ya sabemos que lo contrario del Teorema de Lagrange es falso. SiG es un grupo de ordenm yn dividem, entoncesG no necesariamente posee un subgrupo de ordenn. Por ejemplo,A4 tiene orden12 pero no posee un subgrupo de orden6. Sin embargo, los Teoremas de Sylow proporcionan un parcial converse para el Teorema de Lagrange, en ciertos casos nos garantizan subgrupos de órdenes específicas. Estos teoremas arrojan un poderoso conjunto de herramientas para la clasificación de todos los grupos finitos nonabelianos.