Facts
- The sum, difference and product of two algebraic integers is an algebraic integer. In general their quotient is not. The monic polynomial involved is generally of higher degree than those of the original algebraic integers, and can be found by taking resultants and factoring. For example, if x2 − x − 1 = 0, y3 − y − 1 = 0 and z = xy, then eliminating x and y from z − xy and the polynomials satisfied by x and y using the resultant gives z6 − 3z4 − 4z3 + z2 + z − 1, which is irreducible, and is the monic polynomial satisfied by the product. (To see that the xy is a root of the x-resultant of z − xy and x2 − x − 1, one might use the fact that the resultant is contained in the ideal generated by its two input polynomials.)
- Any number constructible out of the integers with roots, addition, and multiplication is therefore an algebraic integer; but not all algebraic integers are so constructible: in a naïve sense, most roots of irreducible quintics are not. This is the Abel-Ruffini theorem.
- Every root of a monic polynomial whose coefficients are algebraic integers is itself an algebraic integer. In other words, the algebraic integers form a ring which is integrally closed in any of its extensions.
- The ring of algebraic integers A is a Bézout domain.
Read more about this topic: Algebraic Integer
Famous quotes containing the word facts:
“I’m not afraid of facts, I welcome facts but a congeries of facts is not equivalent to an idea. This is the essential fallacy of the so-called “scientific” mind. People who mistake facts for ideas are incomplete thinkers; they are gossips.”
—Cynthia Ozick (b. 1928)
“The past is of no importance. The present is of no importance. It is with the future that we have to deal. For the past is what man should not have been. The present is what man ought not to be. The future is what artists are.
The facts: nothing matters but the facts: worship of the facts leads to everything, to happiness first of all and then to wealth.”
—Edmond De Goncourt (1822–1896)