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 that 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, 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 is an example of an algebraic number field.
A field with no nontrivial 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.
Read more about Algebraic Extension: Generalizations, Transcendental Facts
Famous quotes containing the words algebraic and/or extension:
“I have no scheme about it,—no designs on men at all; and, if I had, my mode would be to tempt them with the fruit, and not with the manure. To what end do I lead a simple life at all, pray? That I may teach others to simplify their lives?—and so all our lives be simplified merely, like an algebraic formula? Or not, rather, that I may make use of the ground I have cleared, to live more worthily and profitably?”
—Henry David Thoreau (1817–1862)
“We know then the existence and nature of the finite, because we also are finite and have extension. We know the existence of the infinite and are ignorant of its nature, because it has extension like us, but not limits like us. But we know neither the existence nor the nature of God, because he has neither extension nor limits.”
—Blaise Pascal (1623–1662)