The union of finite field extensions is a finite field extension

1,242

It's safe to add one element at a time.

If $K = F(\alpha)$ is a field extension of $F$, then $K \cong F[x] / f(x)$, where $f(x)$ is the minimal polynomial of $\alpha$ over $K$. Thus, if $R$ is any ring over $F$, then the ring homomorphisms $K \to L$ are in one-to-one correspondence with elements $\beta \in R$ satisfying $f(\beta) = 0$.

Now let $K$ and $F(\alpha)$ be field extensions of $F$. You construct the ring $R = K[x] / f(x)$, where $f(x)$ is the minimal polynomial of $\alpha$ (over $F$). It is indeed possible that $R$ is not a field; this happens if and only if $f(x)$ is not irreducible.

So to fix things, what you need is to find an irreducible polynomial $g(x)$ over $K$ such that one of the roots of $g(x)$ is a root of $f(x)$....


An alternative approach, I think, is to recognize that $R$ constructed above is a product of fields.

Share:
1,242

Related videos on Youtube

Mario Carneiro
Author by

Mario Carneiro

Updated on November 27, 2020

Comments

  • Mario Carneiro
    Mario Carneiro almost 3 years

    Assume that all elements under discussion are algebraic over $F$.

    Let the notation "$K=F(A)$" mean that $A\subseteq K$ and there is an injective homomorphism $\sigma:F\to K$, and every element of $K$ can be written as a rational function using elements from the image of $\sigma$ and from $A$.

    What I'd like is to prove that the union of two finite field extensions of a base field $F$ is also a finite field extension of $F$. That is, if $K=F(\alpha_i)$ and $L=F(\beta_i)$ for some finite sets $\{\alpha_i\}$, $\{\beta_i\}$, then there is a field $M$ such that $M=F(\gamma_i)$ for some finite set $\{\gamma_i\}$ and there are injective homomorphisms from $K,L\to M$. Note in particular that I don't have a splitting field to work over, since this is part of the proof of the existence of a splitting field.

    My original idea was to form the set $R$ of polynomials in $K$ with $n$ variables (where there are $n$ different $\beta_i$ variables), then take the set $R/I$ where $I$ is the ideal generated by all polynomials in $F$ (treated as a subset of $L$) whose evaluation under the map $x_i\mapsto\beta_i$ evaluates to $0$, but then I got confused since this always seems to build a larger field, even if you take $K\cup K$. If I take $K=\Bbb Q(\sqrt[3]{2})$ union with itself three times, do I get a field that splits $x^3-2$? If not, how do I get such a splitting field (for this one polynomial)?

    • anon
      anon almost 9 years
      Being a finite extension is not equivalent to adjoining a finite set of elements - the elements need to be algebraic, in which case they must already exist within some extension of the base field. Note that "the union" of extensions is ill-defined: they need to exist within a common larger field in order to take the union. Even in that case, taking the union of two fields will not be a field generally (for not closed under the operations). You're speaking of the compositum of extensions, which is the join in some lattice of extensions ordered by inclusion.
    • anon
      anon almost 9 years
      Also, the set of rational functions (with scalars from a field) is a field, so there will be no proper nonzero ideals to quotient it by. You need to think about quotienting rings of polynomials.
    • Mario Carneiro
      Mario Carneiro almost 9 years
      @anon I realize that "the union" is ill-defined, and literally taking the union of the base sets won't give me anything close to what I want; the purpose of this question is to find a suitable definition for it. If both fields were subfields of a bigger field, $\overline{A\cup B}$ would do the trick (where the bar means take the closure w.r.t the field operations).
    • Mario Carneiro
      Mario Carneiro almost 9 years
      @anon Regarding "Being a finite extension is not equivalent to adjoining a finite set of elements", you are right, but these are algebraic field extensions (which are stages in building a complete splitting field on $F$), so we can assume that all the elements in $K,L,M$ are algebraic over $F$.
    • Admin
      Admin almost 9 years
      Minor aside: you need to fix the embedding $F \to K$ rather than just require its existence: as an example of the problem, if I let $F = \mathbb{Q}(x)$ be the field of rational functions with rational coefficients, and $K = F(\sqrt{x})$, the algebraic extension of $F$ obtained by adjoining a square root of $x$, then the definition you gave would imply that $K = F(\varnothing)$.
    • Admin
      Admin almost 9 years
      One way of retaining the usual parlance is to treat all fields not as fields, but as field extensions of $F$. e.g. when I say "$K$ is a field" I implicitly mean "$K$ is a field and I have chosen an embedding $F \to K$".
    • darij grinberg
      darij grinberg almost 9 years
      By induction on $\left[K:F\right]$, you can reduce your problem to the case where $K = F\left(a\right)$ for a single element $a$ of $K$. So it is enough to solve it in this case. Let $P$ be the minimal polynomial of $a$ in $F$. Then, $K \cong F\left[X\right] / P$. Does this help you construct a field extension of $L$ along with an injection of $K$ into it? (I am not saying that $P$ will necessarily be irreducible over $L$.)