Qu'est-ce que « extension radicale » ?

Une extension $L/K$ est radicale s’il existe une tour $K = K_0 \subseteq K_1 \subseteq \dots \subseteq K_m = L$ avec $K_{i+1} = K_i(\sqrt[n_i]{a_i})$ pour certains $a_i \in K_i$, $n_i \geq 1$. Un polynôme $P \in K[X]$ est résoluble par radicaux si son corps de décomposition est contenu dans une extension radicale de $K$.