If
is a root of the polynomial
equation
where the s
are integers and
satisfies no similar equation of degree
, then
is called an algebraic integer of degree
. An algebraic integer is a special case of an algebraic
number (for which the leading coefficient
need not equal 1). Radical
integers are a subring of the algebraic integers.
A sum or product of algebraic integers is again an algebraic integer. However, Abel's
impossibility theorem shows that there are algebraic integers of degree which are not expressible in terms
of addition, subtraction,
multiplication, division,
and root extraction (the elementary
operations) on rational numbers. In fact,
if elementary operations are allowed on real
numbers only, then there are real numbers which are algebraic integers of degree
3 that cannot be so expressed.
The Gaussian integers are algebraic integers of ,
since
are roots of