PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: Very high
algebraic extension (Definition)
Definition 1   Let $L/K$ be an extension of fields. $L/K$ is said to be an algebraic extension of fields if every element of $L$ is algebraic over $K$ If $L/K$ is not algebraic then we say that it is a transcendental extension of fields.

Examples:

  1. Let $L=\Rats(\sqrt{2})$ The extension $L/\Rats$ is an algebraic extension. Indeed, any element $\alpha\in L$ is of the form $$\alpha=q+t\sqrt{2}\in L$$ for some $q,t\in\Rats$ Then $\alpha\in L$ is a root of $$X^2-2qX+q^2-2t^2=0$$
  2. The field extension $\Reals/ \Rats$ is not an algebraic extension. For example, $\pi\in \Reals$ is a transcendental number over $\Rats$ (see pi). So $\Reals/\Rats$ is a transcendental extension of fields.
  3. Let $K$ be a field and denote by $\overline{K}$ the algebraic closure of $K$ Then the extension $\overline{K}/K$ is algebraic.
  4. In general, a finite extension of fields is an algebraic extension. However, the converse is not true. The extension $\overline{\Rats}/\Rats$ is far from finite.
  5. The extension $\Rats(\pi)/\Rats$ is transcendental because $\pi$ is a transcendental number, i.e. $\pi$ is not the root of any polynomial $p(x)\in \Rats[x]$




"algebraic extension" is owned by alozano.
(view preamble | get metadata)

View style:

See Also: algebraic, finite extension, a finite extension of fields is an algebraic extension, proof of transcendental root theorem, equivalent conditions for normality of a field extension

Other names:  algebraic field extension
Also defines:  examples of field extension, transcendental extension
Keywords:  algebraic, root of polynomial

Attachments:
a condition of algebraic extension (Theorem) by pahio
Log in to rate this entry.
(view current ratings)

Cross-references: polynomial, transcendental, converse, a finite extension of fields is an algebraic extension, algebraic closure, pi, transcendental number, field extension, root, algebraic, fields, extension
There are 31 references to this entry.

This is version 4 of algebraic extension, born on 2003-09-11, modified 2008-04-01.
Object id is 4724, canonical name is AlgebraicExtension.
Accessed 9143 times total.

Classification:
AMS MSC12F05 (Field theory and polynomials :: Field extensions :: Algebraic extensions)

Pending Errata and Addenda
None.
[ View all 4 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)