Situation 9.12.7. Here $F$ be a field and $K/F$ is a finite extension generated by elements $\alpha _1, \ldots , \alpha _ n \in K$. We set $K_0 = F$ and

to obtain a tower of finite extensions $K = K_ n / K_{n - 1} / \ldots / K_0 = F$. Denote $P_ i$ the minimal polynomial of $\alpha _ i$ over $K_{i - 1}$. Finally, we fix an algebraic closure $\overline{F}$ of $F$.

## Comments (0)

There are also: