- x2 + Bx + C = 0
with B and C integers. They are thus algebraic integers of the degree two. When algebraic integers are considered, usual integers are often called rational integers.
Common examples of quadratic integers are the square roots of integers, such as √, and the complex number i = √, which generates the Gaussian integers. Another common example is the non-real cubic root of unity -1 + √/, which generates the Eisenstein integers.
|This section requires expansion. (March 2015)|
A quadratic integer is a complex number which is a solution of an equation of the form
- x2 + Bx + C = 0
with B and C integers. In other words, a quadratic integer is an algebraic integer in a quadratic field. Each quadratic integer that is not an integer lies in a uniquely determined quadratic field, namely, the extension of generated by the square-root of B2-4C, which can always be written in the form where D is the unique square-free integer for which B2 – 4C = DE2 for some integer E.
The quadratic integers (including the ordinary integers), which belong to a quadratic fieds form a integral domain called ring of integers of
Here and in the following, D is supposed to be a square-free integer. This does not restricts the generality, as the equality √ = a√ (for any positive integer a) implies
Every quadratic integer may be written a + ωb , where a and b are integers, and where ω is defined by:
(as D has been supposed square-free the case is impossible, since it would imply that D would be divisible by the square 4).
Although the quadratic integers belonging to a given quadratic field form a ring, the set of all quadratic integers is not a ring, because it is not closed under addition, as is an algebraic integer, which has a minimal polynomial of degree four.
Norm and conjugation
A quadratic integer in may be written
- a + b√,
where either a and b are either integers, or, only if D ≡ 1 (mod 4), halves of odd integers. The norm of such a quadratic integer is
- N(a + b√) = a2 – b2D.
The norm of a quadratic integer is always an integer. If D < 0, the norm of a quadratic integer is the square of its absolute value as a complex number (this is false if D > 0). The norm is a completely multiplicative function, which means that the norm of a product of quadratic integers is always the product of their norms.
Every quadratic integer a + b√ has a conjugate
An algebraic integer has the same norm as its conjugate, and this norm is the product of the algebraic integer and its conjugate. The conjugate of a sum or a product of algebraic integers it the sum or the product (respectively) of the conjugates. This means that the conjugation is an automorphism of the ring of the integers of
A quadratic integer is a unit in the ring of the integers of if and only if its norm is 1 or –1. In the first case its multiplicative inverse is its conjugate. It is the opposite of its conjugate in the second case.
If D < 0, the ring of the integers of has at most six units. In the case of the Gaussian integers (D = –1), the four units are 1, –1, √, –√. In the case of the Eisenstein integers (D = –3), the six units are ±1, ±1 ± √/. For all other negative D, there are only two units that are 1 and –1.
If D > 0, the ring of the integers of has infinitely many units that are equal to ±ui, where i is an arbitrary integer, and u is a particular unit called a fundamental unit. Given a fundamental unit u, there are three other fundamental units, its conjugate and also and Commonly, one calls the fundamental unit, the unique one which has an absolute value greater than 1 (as a real number). It is the unique fundamental unit that may be written a + b√, with a and b positive (integers or halves of integers).
The fundamental units for the 10 smallest positive square-free D are 1 + √, 2 + √, 1 + √/ (the golden ratio), 5 + 2√, 8 + 3√, 3 + √, 10 + 3√, 3 + √/, 15 + 4√, 4 + √. For larger D, the coefficients of the fundamental unit may be very large. For example, for D = 19, 31, 43, the fundamental units are respectively 170 + 39 √, 1520 + 273 √ and 3482 + 531 √.
Quadratic integer rings
Every square-free integer (different of 0 and 1) D defines a quadratic integer ring, which is the integral domain of the algebraic integers contained in It is the set Z[ω] =a + ωb : a, b ∈ Z, where ω is defined as above. It is called the ring of integers of Q(√) and often denoted By definition, it is the integral closure of Z in
The properties of the quadratic integers (and more generally of algebraic integers) has been a long standing problem, which has motivated the elaboration of the notions of ring and ideal. In particular the fundamental theorem of arithmetic is not true in many rings of quadratic integers. However there is a unique factorization for ideals, which is expressed by the fact that every ring of algebraic integers is a Dedekind domain.
Quadratic integer rings and their associated quadratic fields are thus commonly the starting examples of most studies of algebraic number fields.
The quadratic integer rings divide in two classes depending on the sign of D. If D > 0, all elements of are real, and the ring is a real quadratic integer ring. If D < 0, the only real elements of are the ordinary integers, and the ring is a complex quadratic integer ring.
Examples of complex quadratic integer rings
- A classic example is , the Gaussian integers, which was introduced by Carl Gauss around 1800 to state his biquadratic reciprocity law.
- The elements in are called Eisenstein integers.
which is not even a unique factorization domain. This can be shown as follows.
In we have
The factors 3, and are irreducible, as they have all a norm of 9, and if they were not irreducible, they would have a factor of norm 3, which is impossible, the norm of an element different of ±1 being at least 4. Thus the factorization of 9 into irreducible factors is not unique.
Examples of real quadratic integer rings
For D > 0, ω is a positive irrational real number, and the corresponding quadratic integer ring is a set of algebraic real numbers. The solutions of the Pell's equation X2 − D Y2 = 1, a Diophantine equation that has been widely studied, are the units of these rings, for D ≡ 2, 3 (mod 4).
- For D = 5, ω = 1+√/ is the golden ratio. This ring was studied by Peter Gustav Lejeune Dirichlet. Its invertible elements have the form ±ωn, where n is an arbitrary integer. This ring also arises from studying 5-fold rotational symmetry on Euclidean plane, for example, Penrose tilings.
- Indian mathematician Brahmagupta treated the Pell's equation X2 − 61 Y2 = 1, corresponding to the ring is Z[√]. Some results were presented to European community by Pierre Fermat in 1657.[which?]
Principal rings of quadratic integers
Unique factorization property is not always verified for rings of quadratic integers, as seen above for the case of Z[√]. However, as for every Dedekind domain, a ring of quadratic integers is a unique factorization domain if and only if it is a principal ideal domain. This occurs if and only if the class number of the corresponding quadratic field is one.
The imaginary rings of quadratic integers that are principal ideal rings have been completely determined. These are for
- D = −1, −2, −3, −7, −11, −19, −43, −67, −163.
This result was first conjectured by Gauss and proven by Kurt Heegner, although Heegner's proof was not believed until Harold Stark gave a later proof in 1967. (See Stark–Heegner theorem.) This is a special case of the famous class number problem.
There are many known positive integers D > 0, for which the ring of quadratic integers is a principal ideal ring. However, the complete list is not known; it is not even known if the number of these principal ideal rings is finite or not.
Euclidean rings of quadratic integers
Equipped with the norm as an Euclidean function, is an Euclidean domain for negative D when
- D = −1, −2, −3, −7, −11, 
and, for positive D, when
There is no other ring of quadratic integers that is Euclidean with the norm as a Euclidean function.
For negative D, a ring of quadratic integers is Euclidean if and only if the norm is a Euclidean function for it. It follows that, for
- D = −19, −43, −67, −163,
the four corresponding rings of quadratic integers are among the rare known examples of principal ideal domains that are not Euclidean domains.
On the other hand, the generalized Riemann hypothesis implies that a ring of real quadratic integers that is a principal ideal domain is also a Euclidean domain for some Euclidean function.
- Dedekind 1871, Supplement X, p. 447
- Bourbaki 1994, p. 99
- Dummit, pg. 229
- de Bruijn, N. G. (1981), "Algebraic theory of Penrose's non-periodic tilings of the plane, I, II" (PDF), Indagationes mathematicae 43 (1): 39–66
- Dummit, pg. 272
- LeVeque, William J. (2002) . Topics in Number Theory, Volumes I and II. New York: Dover Publications. pp. II:57,81. ISBN 978-0-486-42539-9. Zbl 1009.11001.
- Bourbaki, Nicolas (1994), Elements of the history of mathematics, Berlin: Springer-Verlag, ISBN 978-3-540-64767-6, MR 1290116. Translated from the original French by John Meldrum
- Dedekind, Richard (1871), Vorlesungen über Zahlentheorie von P.G. Lejeune Dirichlet (2 ed.), Vieweg. Retrieved 5. August 2009
- Dummit, D. S., and Foote, R. M., 2004. Abstract Algebra, 3rd ed.
- J.S. Milne. Algebraic Number Theory, Version 3.01, September 28, 2008. online lecture note