Algebraic extension

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". Field extensions which are not algebraic, i.e. which contain transcendental elements, are called transcendental.

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, while the field extensions C/R and Q(√2)/Q 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. The converse is not true however: there are infinite extensions which are algebraic. For instance, the field of all algebraic numbers is an infinite algebraic extension of the rational numbers.

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: an algebraic extension of "K" which has finite degree over "K". In the special case where "K"=Q is the field of rational numbers, Q ["a"] is an example of an algebraic number field.

A field with no proper algebraic extensions is called algebraically closed. 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.

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

Generalizations

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

:{"y" in "N" | "p"("y")}

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

* Algebraically closed field
* Algebraic closure

References

* S. Lang, "Algebra (3 ed)", Addison-Wesley, 1993, ISBN 0-201-55540-9. Chap.V.1, p.223.
* P.J. McCarthy, "Algebraic extensions of fields", Dover Publications, 1991, ISBN 0-486-66651-4.


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • algebraic extension — Math. a field containing a given field such that every element in the first field is algebraic over the given field. Cf. extension field. * * * …   Universalium

  • algebraic extension — Math. a field containing a given field such that every element in the first field is algebraic over the given field. Cf. extension field …   Useful english dictionary

  • simple algebraic extension — Math. a simple extension in which the specified element is a root of an algebraic equation in the given field. Cf. simple transcendental extension. * * * …   Universalium

  • simple algebraic extension — Math. a simple extension in which the specified element is a root of an algebraic equation in the given field. Cf. simple transcendental extension …   Useful english dictionary

  • Algebraic number field — In mathematics, an algebraic number field (or simply number field) F is a finite (and hence algebraic) field extension of the field of rational numbers Q. Thus F is a field that contains Q and has finite dimension when considered as a vector… …   Wikipedia

  • Algebraic closure — In mathematics, particularly abstract algebra, an algebraic closure of a field K is an algebraic extension of K that is algebraically closed. It is one of many closures in mathematics.Using Zorn s lemma, it can be shown that every field has an… …   Wikipedia

  • Algebraic curve — In algebraic geometry, an algebraic curve is an algebraic variety of dimension one. The theory of these curves in general was quite fully developed in the nineteenth century, after many particular examples had been considered, starting with… …   Wikipedia

  • Extension (mathematics) — In mathematics, the word extension has many uses. See:Analysis* Carathéodory s extension theorem * Continuous linear extension * M. Riesz extension theorem * Krein extension theorem * Hahn Banach theoremAlgebra* Abelian extension * Algebraic… …   Wikipedia

  • Algebraic-group factorisation algorithm — Algebraic group factorisation algorithms are algorithms for factoring an integer N by working in an algebraic group defined modulo N whose group structure is the direct sum of the reduced groups obtained by performing the equations defining the… …   Wikipedia

  • Algebraic K-theory — In mathematics, algebraic K theory is an important part of homological algebra concerned with defining and applying a sequence Kn(R) of functors from rings to abelian groups, for all integers n. For historical reasons, the lower K groups K0 and… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”