Conozco exactamente otra aplicación directa de los teoremas de Sylow fuera de la teoría de grupos, que es para demostrar el teorema fundamental del álgebra.
Supongamos que $K$ es una extensión de Galois de $\mathbb{R}$ . Intentaremos demostrar que, o bien $K = \mathbb{R}$ o $K = \mathbb{C}$ . (En particular, $\mathbb{C}$ por lo tanto, debe ser algebraicamente cerrado). Sea $G$ sea su grupo de Galois y sea $H$ sea el Sylow $2$ -subgrupo de $G$ .
Por la teoría de Galois, $K^H$ es una extensión impar de $\mathbb{R}$ . Pero $\mathbb{R}$ no tiene extensiones Impares no triviales: cualquier extensión de este tipo tiene como elemento primitivo algo con un polinomio de grado impar mínimo sobre $\mathbb{R}$ pero cualquier polinomio de este tipo tiene una raíz por el teorema del valor intermedio. Por lo tanto, $K^H = \mathbb{R}$ o, por el contrario $H = G$ Así que $G$ ha pedido un poder de $2$ .
Pero ahora $K$ es una extensión cuadrática iterada de $\mathbb{R}$ y es fácil demostrar explícitamente mediante la fórmula cuadrática que la única extensión cuadrática no trivial de $\mathbb{R}$ es $\mathbb{C}$ que a su vez no tiene extensiones cuadráticas no triviales.
0 votos
Hecho, en MO: mathoverflow.net/questions/60598/