Notation. some notations [1608A]

We often denote an algebraic closure by $\overline{F}$.