¿Qué es resoluble por radicales?

Una extensión $L/K$ (característica $0$ en toda esta sección) es radical si existe una torre $K = F_0 \subseteq \dots \subseteq F_r = L$ con $F_{i+1} = F_i(\alpha_i)$, $\alpha_i^{n_i} \in F_i$: cada paso adjunta una raíz $n_i$-ésima. Un polinomio $P \in K[X]$ es resoluble por radicales si su cuerpo de descomposición está contenido en alguna extensión radical de $K$.