Algebraic Number

DOWNLOAD Mathematica Notebook EXPLORE THIS TOPIC IN the MathWorld Classroom

If r is a root of a nonzero polynomial equation

 a_nx^n+a_(n-1)x^(n-1)+...+a_1x+a_0=0,
(1)

where the a_is are integers (or equivalently, rational numbers) and r satisfies no similar equation of degree <n, then r is said to be an algebraic number of degree n.

A number that is not algebraic is said to be transcendental. If r is an algebraic number and a_n=1, then it is called an algebraic integer.

In general, algebraic numbers are complex, but they may also be real. An example of a complex algebraic number is i, and an example of a real algebraic number is sqrt(2), both of which are of degree 2.

The set of algebraic numbers is denoted A (Wolfram Language), or sometimes Q^_ (Nesterenko 1999), and is implemented in the Wolfram Language as Algebraics.

A number x 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 n is a number from 1 to the degree of the polynomial (represented as a so-called "pure function") f.

Examples of some significant algebraic numbers and their degrees are summarized in the following table.

constantdegree
Conway's constant lambda71
Delian constant 2^(1/3)3
disk covering problem r(5)8
Freiman's constant2
golden ratio phi2
golden ratio conjugate Phi2
Graham's biggest little hexagon area A10
hard hexagon entropy constant kappa_h24
heptanacci constant7
hexanacci constant6
i2
Lieb's square ice constant2
logistic map 3-cycle onset r_32
logistic map 4-cycle onset r_42
logistic map 5-cycle onset r_522
logistic map 6-cycle onset r_640
logistic map 7-cycle onset r_7114
logistic map 8-cycle onset r_812
logistic map 16-cycle onset r_(16)240
pentanacci constant5
plastic constant3
Pythagoras's constant sqrt(2)2
silver constant3
silver ratio2
tetranacci constant4
Theodorus's constant2
tribonacci constant3
twenty-vertex entropy constant2
Wallis's constant3

If, instead of being integers, the a_is in the above equation are algebraic numbers b_i, then any root of

 b_nx^n+b_(n-1)x^(n-1)+...+b_1x+b_0=0,
(2)

is an algebraic number.

If alpha is an algebraic number of degree n satisfying the polynomial equation

 (x-alpha)(x-beta)(x-gamma)...=0,
(3)

then there are n-1 other algebraic numbers beta, gamma, ... called the conjugates of alpha. Furthermore, if alpha satisfies any other algebraic equation, then its conjugates also satisfy the same equation (Conway and Guy 1996).

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.