Algebraic extension

From Wikipedia, the free encyclopedia

In abstract algebra, a field extension L/K is called algebraic if every element of L is algebraic over K, i.e. if every element of L is a root of some non-zero polynomial with coefficients in K.[1][2] Field extensions that are not algebraic, i.e. which contain transcendental elements, are called transcendental.[3][4]

For example, the field extension R/Q, that is the field of real numbers as an extension of the field of rational numbers, is transcendental,[5] while the field extensions C/R[6] and Q(√2)/Q[7] are algebraic, where C is the field of complex numbers.

All transcendental extensions are of infinite degree. This in turn implies that all finite extensions are algebraic.[8] The converse is not true however: there are infinite extensions which are algebraic.[9] For instance, the field of all algebraic numbers is an infinite algebraic extension of the rational numbers.[10]

Let E be an extension field of K, and a ∈ E. If a is algebraic over K, then K(a), the set of all polynomials in a with coefficients in K, is not only a ring but a field: K(a) is an algebraic extension of K which has finite degree over K.[11] The converse is not true. Q[π] and Q[e] are fields but π and e are transcendental over Q.[12]

An algebraically closed field F has no proper algebraic extensions, that is, no algebraic extensions E with F < E.[13] An example is the field of complex numbers. Every field has an algebraic extension which is algebraically closed (called its algebraic closure), but proving this in general requires some form of the axiom of choice.[14]

An extension L/K is algebraic if and only if every sub K-algebra of L is a field.

Properties[]

The class of algebraic extensions forms a distinguished class of field extensions, that is, the following three properties hold:[15]

  1. If E is an algebraic extension of F and F is an algebraic extension of K then E is an algebraic extension of K.
  2. If E and F are algebraic extensions of K in a common overfield C, then the compositum EF is an algebraic extension of K.
  3. If E is an algebraic extension of F and E>K>F then E is an algebraic extension of K.

These finitary results can be generalized using transfinite induction:

  1. The union of any chain of algebraic extensions over a base field is itself an algebraic extension over the same base field.

This fact, together with Zorn's lemma (applied to an appropriately chosen poset), establishes the existence of algebraic closures.

Generalizations[]

Main article: Substructure (mathematics)

Model theory generalizes the notion of algebraic extension to arbitrary theories: an embedding of M into N is called an algebraic extension if for every x in N there is a formula p with parameters in M, such that p(x) is true and the set

is finite. It turns out that applying this definition to the theory of fields gives the usual definition of algebraic extension. The Galois group of N over M can again be defined as the group of automorphisms, and it turns out that most of the theory of Galois groups can be developed for the general case.

See also[]

Notes[]

  1. ^ Fraleigh (2014), Definition 31.1, p. 283.
  2. ^ Malik, Mordeson, Sen (1997), Definition 21.1.23, p. 453.
  3. ^ Fraleigh (2014), Definition 29.6, p. 267.
  4. ^ Malik, Mordeson, Sen (1997), Theorem 21.1.8, p. 447.
  5. ^ Malik, Mordeson, Sen (1997), Example 21.1.17, p. 451.
  6. ^ Malik, Mordeson, Sen (1997), Theorem 21.1.8, p. 447.
  7. ^ Fraleigh (2014), Example 31.8, p. 285.
  8. ^ See also Hazewinkel et al. (2004), p. 3.
  9. ^ Fraleigh (2014), Theorem 31.18, p. 288.
  10. ^ Fraleigh (2014), Corollary 31.13, p. 287.
  11. ^ Fraleigh (2014), Theorem 30.23, p. 280.
  12. ^ Fraleigh (2014), Example 29.8, p. 268.
  13. ^ Fraleigh (2014), Corollary 31.16, p. 287.
  14. ^ Fraleigh (2014), Theorem 31.22, p. 290.
  15. ^ Lang (2002) p.228

References[]

  • Fraleigh, John B. (2014), A First Course in Abstract Algebra, Pearson, ISBN 978-1-292-02496-7
  • Hazewinkel, Michiel; Gubareni, Nadiya; Gubareni, Nadezhda Mikhaĭlovna; Kirichenko, Vladimir V. (2004), Algebras, rings and modules, 1, Springer, ISBN 1-4020-2690-0
  • Lang, Serge (1993), "V.1:Algebraic Extensions", Algebra (Third ed.), Reading, Mass.: Addison-Wesley, pp. 223ff, ISBN 978-0-201-55540-0, Zbl 0848.13001
  • Malik, D. B.; Mordeson, John N.; Sen, M. K. (1997), Fundamentals of Abstract Algebra, McGraw-Hill, ISBN 0-07-040035-0
  • McCarthy, Paul J. (1991) [corrected reprint of 2nd edition, 1976], Algebraic extensions of fields, New York: Dover Publications, ISBN 0-486-66651-4, Zbl 0768.12001
  • Roman, Steven (1995), Field Theory, GTM 158, Springer-Verlag, ISBN 9780387944081
  • Rotman, Joseph J. (2002), Advanced Modern Algebra, Prentice Hall, ISBN 9780130878687
Retrieved from ""