PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (212)
Orphanage
Unclass'd (1)
Unproven (473)
Corrections (38)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: Medium Entry average rating: No information on entry rating
theory of algebraic and transcendental numbers (Topic)

The following entry is some sort of index of articles in PlanetMath about the basic theory of algebraic and transcendental numbers, and it should be studied together with its complement: the theory of rational and irrational numbers. The reader should follow the links in each bullet-point to learn more about each topic. For a somewhat deeper approach to the subject, the reader should read about Algebraic Number Theory. In this entry we will concentrate on the properties of the complex numbers and the extension $ \mathbb{C}/\mathbb{Q}$, however, in general, one can talk about numbers of any field $ F$ which are algebraic over a subfield $ K$.

Basic Definitions

  1. A number $ \alpha\in \mathbb{C}$ is said to be algebraic (over $ \mathbb{Q}$), or an algebraic number, if there is a polynomial $ p(x)$ with integer coefficients such that $ \alpha$ is a root of $ p(x)$ (i.e. $ p(\alpha)=0$).
  2. Similarly as the rational numbers may be classified to integer and non-integer (fractional) numbers, also the algebraic numbers may be classified to algebraic integers or entire algebraic numbers and non-integer algebraic numbers. The algebraic integers form an integral domain.
  3. The numbers $ \sqrt{2}$, $ \sqrt[3]{7}$, $ \sqrt{2}+\sqrt[3]{7}$, $ \zeta_{7}=e^{2\pi i/7}$ (that is, a $ 7$th root of unity), are all algebraic integers, $ \frac{\sqrt{2}}{2}$ is a non-integer algebraic number (its minimal polynomial is $ 2x^2-1$).
  4. A number $ \alpha\in \mathbb{C}$ is said to be transcendental if it is not algebraic.
  5. For example, e is transcendental, where e is the natural $ \log$ base (also called the Euler number). The number Pi ($ \pi$) is also transcendental. The proofs of these two facts are HARD!
  6. A field extension $ L/K$ is said to be an algebraic extension if every element of $ L$ is algebraic over $ K$. An extension which is not algebraic is said to be transcendental. For example $ \mathbb{Q}(\sqrt{2})/\mathbb{Q}$ is algebraic while $ \mathbb{Q}(e)/\mathbb{Q}$ is transcendental (see the simple field extensions).
  7. The algebraic closure of a field $ \mathbb{Q}$ is the union of all algebraic extension fields $ L$ of $ \mathbb{Q}$. The algebraic closure of $ \mathbb{Q}$ is usually denoted by $ \overline{\mathbb{Q}}$. In other words, $ \overline{\mathbb{Q}}$ is the union of all complex numbers which are algebraic.
  8. The set $ \overline{\mathbb{Q}}$ of all algebraic numbers is a field. It has as a subfield the $ \overline{\mathbb{Q}}\cap\mathbb{R}$, the set of all real algebraic numbers, and as a subring the set of all algebraic integers.
  9. The ring of all algebraic integers $ \mathbb{A}$ contains no irreducible elements.
  10. The height of an algebraic number is a way to measure the complexity of the number.

Small Results

  1. A finite extension of fields is an algebraic extension.
  2. The extension $ \mathbb{R}/\mathbb{Q}$ is not finite.
  3. For every algebraic number $ \alpha$, there exists an irreducible minimal polynomial $ m_\alpha(x)$ such that $ m_\alpha(\alpha)=0$ (see existence of the minimal polynomial).
  4. The transcendental root theorem: Let $ F\subset K$ be a field extension with $ K$ an algebraically closed field. Let $ x\in K$ be transcendental over $ F$. Then for any natural number $ n\geq 1$, the element $ x^{1/n}\in K$ is also transcendental over $ F$.
  5. An example of transcendental number (as an application of Liouville's approximation theorem).
  6. The algebraic numbers are countable. In other words, $ \overline{\mathbb{Q}}$ is a countable subset of $ \mathbb{C}$. Since $ \mathbb{C}$ is uncountable, we conclude that there are infinitely many transcendental numbers (uncountably many!). See also the proof of the existence of transcendental numbers.
  7. Algebraic and transcendental: the sum, difference, and quotient of two non-zero complex numbers, from which one is algebraic and the other transcendental, is transcendental.
  8. All transcendental extension fields $ \mathbb{Q}(\alpha)$ of $ \mathbb{Q}$ are isomorphic (see the simple transcendental field extensions).

BIG Results

  1. Steinitz Theorem: There exists an algebraic closure of a field.
  2. The Gelfond-Schneider Theorem: Let $ \alpha$ and $ \beta$ be algebraic over $ \mathbb{Q}$, with $ \beta$ irrational and $ \alpha$ not equal to 0 or 1. Then $ \alpha^{\beta}$ is transcendental over $ \mathbb{Q}$.
  3. The Lindemann-Weierstrass Theorem.



Anyone with an account can edit this entry. Please help improve it!

"theory of algebraic and transcendental numbers" is owned by alozano. [ full author list (3) ]
(view preamble)

View style:

See Also: algebraic number theory, theory of rational and irrational numbers, multiples of an algebraic number, norm and trace of algebraic number, algebraic sum and product, degree of an algebraic number

Keywords:  algebraic, irrational, transcendental

Attachments:
classification of complex numbers (Topic) by pahio
Log in to rate this entry.
(view current ratings)

Cross-references: Lindemann-Weierstrass theorem, irrational, Gelfond-Schneider Theorem, Steinitz theorem, simple transcendental field extensions, isomorphic, transcendental extension, quotient, difference, sum, proof of the existence of transcendental numbers, transcendental numbers, uncountable, subset, countable, algebraic numbers are countable, Liouville's approximation theorem, example of transcendental number, natural number, algebraically closed, existence of the minimal polynomial, minimal polynomial, irreducible, a finite extension of fields is an algebraic extension, measure, height of an algebraic number, contains, ring, subring, real, union, algebraic closure, simple field extensions, algebraic extension, field extension, pi, Euler number, base, e is transcendental, transcendental, root of unity, integral domain, algebraic integers, rational numbers, root, coefficients, integer, polynomial, algebraic number, subfield, algebraic, field, extension, complex numbers, properties, algebraic number theory, links, theory of rational and irrational numbers, complement, PlanetMath, index, sort
There are 4 references to this entry.

This is version 24 of theory of algebraic and transcendental numbers, born on 2005-05-03, modified 2008-02-22.
Object id is 7004, canonical name is TheoryOfAlgebraicNumbers.
Accessed 3923 times total.

Classification:
AMS MSC: 11R04 (Number theory :: Algebraic number theory: global fields :: Algebraic numbers; rings of algebraic integers)
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

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