## The set of algebraic numbers is denumerable.

Algebraic numbers are (complex) numbers that can be expressed as roots of polynomials with integer coefficients. The set of algebraic numbers is denumerable, i.e., it is equivalent to the set of natural numbers. Since the set of natural numbers is equivalent to the set of rational numbers it suffices to show that the set of algebraic numbers is equivalent to the set of rational numbers. Furthermore, since every rational number is also algebraic (write p/q as the solution of qx=p ) we only have to show that we can associate a rational number with every algebraic number such that no two algebraic numbers give rise to the same rational number.

To this end consider the polynomial

.

We may assume that the integer coefficients have no common factors, and that the leading coefficient is positive. The polynomial p has up to n roots, all of which are algebraic numbers. We order them by increasing real part, and if they have the same real part, by putting the one with negative imaginary part first. If p has a multiple root we count it only once. Let

denote the sequence of prime numbers. Let x be the k -th root of p and consider the positive rational number

.

A few examples may be helpful in explaining this association, Of course, since any algebraic number can be expressed as the solution of infinitely many polynomials, the number r(x) depends on the polynomial p as well as on the number x. To remove the dependence on the polynomial we pick q(x) to be the smallest rational number than can be written as r(x). Since the prime factorization of a natural number is unique, q(x) is a unique positive rational number associated with the algebraic number x (and with no other algebraic number). The set of algebraic numbers is therefore equivalent to a subset of the rational numbers, and, as we wish to show, the set of algebraic numbers is equivalent to the set of rational numbers.

As an exercise you may want to modify the above way to associate rational numbers with algebraic numbers such that it associates natural numbers instead.

[16-Aug-1996]