ما معنى قابل للحل بالجذور؟

يكون الامتداد $L/K$ (والمميّز $0$ في كل هذا القسم) جذريًّا إذا وُجد برج $K = F_0 \subseteq \dots \subseteq F_r = L$ مع $F_{i+1} = F_i(\alpha_i)$، $\alpha_i^{n_i} \in F_i$: أي إن كل خطوة تضم جذرًا نونيًا من الرتبة $n_i$. ويكون كثير الحدود $P \in K[X]$ قابلًا للحل بالجذور إذا كان حقل انشطاره محتوًى في امتداد جذريّ ما للحقل $K$.