The Stacks project

\begin{equation*} \DeclareMathOperator\Coim{Coim} \DeclareMathOperator\Coker{Coker} \DeclareMathOperator\Ext{Ext} \DeclareMathOperator\Hom{Hom} \DeclareMathOperator\Im{Im} \DeclareMathOperator\Ker{Ker} \DeclareMathOperator\Mor{Mor} \DeclareMathOperator\Ob{Ob} \DeclareMathOperator\Sh{Sh} \DeclareMathOperator\SheafExt{\mathcal{E}\mathit{xt}} \DeclareMathOperator\SheafHom{\mathcal{H}\mathit{om}} \DeclareMathOperator\Spec{Spec} \newcommand\colim{\mathop{\mathrm{colim}}\nolimits} \newcommand\lim{\mathop{\mathrm{lim}}\nolimits} \newcommand\Qcoh{\mathit{Qcoh}} \newcommand\Sch{\mathit{Sch}} \newcommand\QCohstack{\mathcal{QC}\!\mathit{oh}} \newcommand\Cohstack{\mathcal{C}\!\mathit{oh}} \newcommand\Spacesstack{\mathcal{S}\!\mathit{paces}} \newcommand\Quotfunctor{\mathrm{Quot}} \newcommand\Hilbfunctor{\mathrm{Hilb}} \newcommand\Curvesstack{\mathcal{C}\!\mathit{urves}} \newcommand\Polarizedstack{\mathcal{P}\!\mathit{olarized}} \newcommand\Complexesstack{\mathcal{C}\!\mathit{omplexes}} \newcommand\Pic{\mathop{\mathrm{Pic}}\nolimits} \newcommand\Picardstack{\mathcal{P}\!\mathit{ic}} \newcommand\Picardfunctor{\mathrm{Pic}} \newcommand\Deformationcategory{\mathcal{D}\!\mathit{ef}} \end{equation*}

9.28 Review

In this section we give a quick review of what has transpired above.

Let $k \subset K$ be a field extension. Let $\alpha \in K$. Then we have the following possibilities:

  1. The element $\alpha $ is transcendental over $k$.

  2. The element $\alpha $ is algebraic over $k$. Denote $P(T) \in k[T]$ its minimal polynomial. This is a monic polynomial $P(T) = T^ d + a_1 T^{d - 1} + \ldots + a_ d$ with coefficients in $k$. It is irreducible and $P(\alpha ) = 0$. These properties uniquely determine $P$, and the integer $d$ is called the degree of $\alpha $ over $k$. There are two subcases:

    1. The polynomial $\text{d}P/\text{d}T$ is not identically zero. This is equivalent to the condition that $P(T) = \prod _{i = 1, \ldots , d} (T - \alpha _ i)$ for pairwise distinct elements $\alpha _1, \ldots , \alpha _ d$ in the algebraic closure of $k$. In this case we say that $\alpha $ is separable over $k$.

    2. The $\text{d}P/\text{d}T$ is identically zero. In this case the characteristic $p$ of $k$ is $ > 0$, and $P$ is actually a polynomial in $T^ p$. Clearly there exists a largest power $q = p^ e$ such that $P$ is a polynomial in $T^ q$. Then the element $\alpha ^ q$ is separable over $k$.

Definition 9.28.1. Algebraic field extensions.

  1. A field extension $k \subset K$ is called algebraic if every element of $K$ is algebraic over $k$.

  2. An algebraic extension $k \subset k'$ is called separable if every $\alpha \in k'$ is separable over $k$.

  3. An algebraic extension $k \subset k'$ is called purely inseparable if the characteristic of $k$ is $p > 0$ and for every element $\alpha \in k'$ there exists a power $q$ of $p$ such that $\alpha ^ q \in k$.

  4. An algebraic extension $k \subset k'$ is called normal if for every $\alpha \in k'$ the minimal polynomial $P(T) \in k[T]$ of $\alpha $ over $k$ splits completely into linear factors over $k'$.

  5. An algebraic extension $k \subset k'$ is called Galois if it is separable and normal.

The following lemma does not seem to fit anywhere else.

Lemma 9.28.2. Let $K$ be a field of characteristic $p > 0$. Let $K \subset L$ be a separable algebraic extension. Let $\alpha \in L$.

  1. If the coefficients of the minimal polynomial of $\alpha $ over $K$ are $p$th powers in $K$ then $\alpha $ is a $p$th power in $L$.

  2. More generally, if $P \in K[T]$ is a polynomial such that (a) $\alpha $ is a root of $P$, (b) $P$ has pairwise distinct roots in an algebraic closure, and (c) all coefficients of $P$ are $p$th powers, then $\alpha $ is a $p$th power in $L$.

Proof. It follows from the definitions that (2) implies (1). Assume $P$ is as in (2). Write $P(T) = \sum \nolimits _{i = 0}^ d a_ i T^{d - i}$ and $a_ i = b_ i^ p$. The polynomial $Q(T) = \sum \nolimits _{i = 0}^ d b_ i T^{d - i}$ has distinct roots in an algebraic closure as well, because the roots of $Q$ are the $p$th roots of the roots of $P$. If $\alpha $ is not a $p$th power, then $T^ p - \alpha $ is an irreducible polynomial over $L$ (Lemma 9.14.2). Moreover $Q$ and $T^ p - \alpha $ have a root in common in an algebraic closure $\overline{L}$. Thus $Q$ and $T^ p - \alpha $ are not relatively prime, which implies $T^ p - \alpha | Q$ in $L[T]$. This contradicts the fact that the roots of $Q$ are pairwise distinct. $\square$


Comments (0)


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 037H. Beware of the difference between the letter 'O' and the digit '0'.