Definition:Radical Extension

From ProofWiki
Jump to navigation Jump to search

Definition

Let $L / F$ be a field extension.

Then $L$ is a radical extension of $F$ iff there exist $\alpha_1, \ldots, \alpha_m \in F$ and $n_1, \ldots, n_2 \in \Z_{>0}$ such that:

$(1): \quad L = K \left[{\alpha_1, \ldots, \alpha_m}\right]$
$(2): \quad \alpha_1^{n_1} \in F$
$(3): \quad \forall i \in \N_m: \alpha_i^{n_i} \in F \left[{\alpha_1, \ldots, \alpha_{i-1}}\right]$