|
|
|
|
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:
- 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$$
- 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.
- Let $K$ be a field and denote by $\overline{K}$ the algebraic closure of $K$ Then the extension $\overline{K}/K$ is algebraic.
- 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.
- 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)
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 9231 times total.
Classification:
| AMS MSC: | 12F05 (Field theory and polynomials :: Field extensions :: Algebraic extensions) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|