If is a root of a nonzero polynomial equation
(1)
|
where the s are integers (or equivalently, rational numbers) and satisfies no similar equation of degree , then is said to be an algebraic number of degree .
A number that is not algebraic is said to be transcendental. If is an algebraic number and , then it is called an algebraic integer.
Any algebraic number is an algebraic period, and if a number is not an algebraic period, then it is a transcendental number (Waldschmidt 2006). Note there is a "gap" between those two statements in the sense that algebraic periods may be algebraic or transcendental.
In general, algebraic numbers are complex, but they may also be real. An example of a complex algebraic number is , and an example of a real algebraic number is , both of which are of degree 2.
The set of algebraic numbers is denoted (Wolfram Language), or sometimes (Nesterenko 1999), and is implemented in the Wolfram Language as Algebraics.
A number can then be tested to see if it is algebraic in the Wolfram Language using the command Element[x, Algebraics]. Algebraic numbers are represented in the Wolfram Language as indexed polynomial roots by the symbol Root[f, n], where is a number from 1 to the degree of the polynomial (represented as a so-called "pure function") .
Examples of some significant algebraic numbers and their degrees are summarized in the following table.
constant | degree |
Conway's constant | 71 |
Delian constant | 3 |
disk covering problem | 8 |
Freiman's constant | 2 |
golden ratio | 2 |
golden ratio conjugate | 2 |
Graham's biggest little hexagon area | 10 |
hard hexagon entropy constant | 24 |
heptanacci constant | 7 |
hexanacci constant | 6 |
i | 2 |
Lieb's square ice constant | 2 |
logistic map 3-cycle onset | 2 |
logistic map 4-cycle onset | 2 |
logistic map 5-cycle onset | 22 |
logistic map 6-cycle onset | 40 |
logistic map 7-cycle onset | 114 |
logistic map 8-cycle onset | 12 |
logistic map 16-cycle onset | 240 |
pentanacci constant | 5 |
plastic constant | 3 |
Pythagoras's constant | 2 |
silver constant | 3 |
silver ratio | 2 |
tetranacci constant | 4 |
Theodorus's constant | 2 |
tribonacci constant | 3 |
twenty-vertex entropy constant | 2 |
Wallis's constant | 3 |
If, instead of being integers, the s in the above equation are algebraic numbers , then any root of
(2)
|
is an algebraic number.
If is an algebraic number of degree satisfying the polynomial equation
(3)
|
then there are other algebraic numbers , , ... called the conjugates of . Furthermore, if satisfies any other algebraic equation, then its conjugates also satisfy the same equation (Conway and Guy 1996).