digplanet beta 1: Athena
Share digplanet:

Agriculture

Applied sciences

Arts

Belief

Business

Chronology

Culture

Education

Environment

Geography

Health

History

Humanities

Language

Law

Life

Mathematics

Nature

People

Politics

Science

Society

Technology

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.[1] 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 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.

Generalizations[edit]

Main article: Substructure

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

\left\{y\in N\Big|p(y)\right\}

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.

Transcendental Facts[edit]

Here are some transcendental facts:

  • The natural base e is transcendental over \mathbb{Q}. [Hermite, 1873]
  • The number π is transcendental over \mathbb{Q}. [Lindemann, 1882]
  • It is not known whether e + π is transcendental over \mathbb{Q}.

See also[edit]

Notes[edit]

  1. ^ See also Hazewinkel et al. (2004), p. 3.

References[edit]


Original courtesy of Wikipedia: http://en.wikipedia.org/wiki/Algebraic_extension — Please support Wikipedia.
This page uses Creative Commons Licensed content from Wikipedia. A portion of the proceeds from advertising on Digplanet goes to supporting Wikipedia.
9509 videos foundNext > 

FIT2.3.3. Algebraic Extensions

Field Theory: We define an algebraic extension of a field F and show that successive algebraic extensions are also algebraic. This gives a useful criterion f...

A Level - A* Students - Core 3 Extension Questions Algebraic Fractions 1 (STEP/AEA prep)

All videos are listed at www.astarmaths.com These are not STEP or AEA questions. They are tougher examples at the end of each topic. They often require a lit...

√ Integration using Substitution - Substitution Algebra - HSC Maths Extension 1 - Maths Online Study

http://www.primeonlinetutor.com/me2 HSC Online Maths Extension 1 Tutor for Integration using Substitution Method by Replacing complicate part of the Integral...

Core 1 Extension Questions Algebraic Expressions (2)

This channel is managed by up and coming UK maths teachers. Videos designed for the site by Steve Blades, retired Youtuber and owner of m4ths.com to assist l...

Core 1 Extension Questions Algebraic Expressions (1)

This channel is managed by up and coming UK maths teachers. Videos designed for the site by Steve Blades, retired Youtuber and owner of m4ths.com to assist l...

MathHistory22b: Algebraic number theory and rings II

In the 19th century, algebraists started to look at extension fields of the rational numbers as new domains for doing arithmetic. In this way the notion of a...

MathHistory22: Algebraic number theory and rings I

In the 19th century, algebraists started to look at extension fields of the rational numbers as new domains for doing arithmetic. In this way the notion of a...

FIT2.2. Simple Extensions

Field Theory: We consider the case of simple extensions, where we adjoin a single element to a given field. The cases of transcendental and algebraic arise, ...

Lec 33 | Abstract Algebra

Week 12: Euclidean domains, PIDs, UFDs. Gauss' lemma. Eisenstein's criterion. Algebraic integers. This video: Part 1 Notes for this lecture: http://www.exten...

Algebraic Techniques - Part 4: Multiplying and Dividing Algebraic Fractions

We review the definition of algebraic fractions and show how multiplication and division of like and unlike algebraic fractions are the natural extension of the corresponding numerical techniques,...

9509 videos foundNext > 

We're sorry, but there's no news about "Algebraic extension" right now.

Loading

Oops, we seem to be having trouble contacting Twitter

Talk About Algebraic extension

You can talk about Algebraic extension with people all over the world in our discussions.

Support Wikipedia

A portion of the proceeds from advertising on Digplanet goes to supporting Wikipedia. Please add your support for Wikipedia!