Quadratic integer

Quality 0.50 · 5 views · Updated 2 months ago

Root of a quadratic polynomial with a unit leading coefficient

title: "Quadratic integer" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["algebraic-number-theory", "ring-theory", "integers"] description: "Root of a quadratic polynomial with a unit leading coefficient" topic_path: "science/mathematics" source: "https://en.wikipedia.org/wiki/Quadratic_integer" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0

::summary Root of a quadratic polynomial with a unit leading coefficient ::

In number theory, quadratic integers are a generalization of the usual integers to quadratic fields. A complex number is called a quadratic integer if it is a root of some monic polynomial (a polynomial whose leading coefficient is 1) of degree two whose coefficients are integers, i.e. quadratic integers are algebraic integers of degree two. Thus quadratic integers are those complex numbers that are solutions of equations of the form : with b and c (usual) integers. When algebraic integers are considered, the usual integers are often called rational integers.

Common examples of quadratic integers are the square roots of rational integers, such as \sqrt{2}, and the complex number i=\sqrt{-1}, which generates the Gaussian integers. Another common example is the non-real cubic root of unity \frac{-1+\sqrt{-3}}{2}, which generates the Eisenstein integers.

Quadratic integers occur in the solutions of many Diophantine equations, such as Pell's equations, and other questions related to integral quadratic forms. The study of rings of quadratic integers is basic for many questions of algebraic number theory.

History

Medieval Indian mathematicians had already discovered a multiplication of quadratic integers of the same discriminant D, which allowed them to solve some cases of Pell's equation.

The characterization given in ** of the quadratic integers was first given by Richard Dedekind in 1871.

Definition

A quadratic integer is an algebraic integer of degree two. More explicitly, it is a complex number x = (-b\pm\sqrt{b^2-4c})/2, which solves an equation of the form , with b and c integers. Each quadratic integer that is not an integer is not rational—namely, it is a real irrational number if b2 − 4c 0 and non-real if {{math|b2 − 4c \mathbb{Q}(\sqrt{D},), the extension of \mathbb{Q} generated by the square root of the unique square-free integer D that satisfies for some integer e. If D is positive, the quadratic integer is real. If {{math|D

The quadratic integers (including the ordinary integers) that belong to a quadratic field \mathbb{Q}(\sqrt{D},) form an integral domain called the ring of integers of \mathbb{Q}(\sqrt{D},).

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 or multiplication. For example, 1+\sqrt{2} and \sqrt{3} are quadratic integers, but 1+\sqrt{2}+\sqrt{3} and (1+\sqrt{2})\cdot\sqrt{3} are not, as their minimal polynomials have degree four.

Explicit representation

Here and in the following, the quadratic integers that are considered belong to a quadratic field \mathbb{Q}(\sqrt{D},), where D is a square-free integer. This does not restrict the generality, as the equality \sqrt{a^2D} = a\sqrt{D}(for any positive integer a) implies \mathbb{Q}(\sqrt{D},) = \mathbb{Q}(\sqrt{a^2D},).

An element x of \mathbb{Q}(\sqrt{D},) is a quadratic integer if and only if there are two integers a and b such that either : x = a+b\sqrt D, or, if D − 1 is a multiple of 4 : x = \frac{a}{2}+\frac{b}{2}\sqrt{D}, with a and b both odd.

In other words, every quadratic integer may be written a + ωb, where a and b are integers, and where ω is defined by : \omega = \begin{cases} \sqrt{D} & \mbox{if }D \equiv 2, 3 \pmod{4} \ \over 2} & \mbox{if }D \equiv 1 \pmod{4} \end{cases} (as D has been supposed square-free the case D \equiv 0\pmod{4} is impossible, since it would imply that D is divisible by the square 4).

Norm and conjugation

A quadratic integer in \mathbb{Q}(\sqrt{D},) may be written : a+b\sqrt{D}, where a and b are either both integers, or, only if D ≡ 1 (mod 4), both halves of odd integers. The norm of such a quadratic integer is : N(a+b\sqrt{D})=a^2-Db^2.

The norm of a quadratic integer is always an integer. If {{math|D 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\sqrt{D} has a conjugate : \overline{a+b\sqrt{D}} = a-b\sqrt{D}. A quadratic integer has the same norm as its conjugate, and this norm is the product of the quadratic integer and its conjugate. The conjugate of a sum or a product of quadratic integers is the sum or the product (respectively) of the conjugates. This means that the conjugation is an automorphism of the ring of the integers of \mathbb{Q}(\sqrt{D},) – see **, below.

Quadratic integer rings

Every square-free integer (different from 0 and 1) D defines a quadratic integer ring, which is the integral domain consisting of the algebraic integers contained in \mathbb{Q}(\sqrt{D},). It is the set \mathbb{Z}[\omega] = { a + \omega b : a,b \in \mathbb{Z} } where \omega = \tfrac{1+\sqrt D}{2} if , and otherwise. It is often denoted \mathcal{O}_{\mathbb{Q}(\sqrt{D},)}, because it is the ring of integers of \mathbb{Q}(\sqrt{D},), which is the integral closure of \mathbb{Z} in \mathbb{Q}(\sqrt{D},). The ring \mathbb{Z}[\omega] consists of all roots of all equations whose discriminant is the product of D by the square of an integer. In particular belongs to \mathbb{Z}[\omega], being a root of the equation , which has 4D as its discriminant.

The square root of any integer is a quadratic integer, as every integer can be written , where D is a square-free integer, and its square root is a root of .

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. Being the simplest examples of algebraic integers, quadratic integers are commonly the starting examples of most studies of algebraic number theory.

The quadratic integer rings divide in two classes depending on the sign of D. If D 0, all elements of \mathcal{O}{\mathbb{Q}(\sqrt{D},)} are real, and the ring is a real quadratic integer ring. If {{math|D \mathcal{O}{\mathbb{Q}(\sqrt{D},)} are the ordinary integers, and the ring is a complex quadratic integer ring.

For real quadratic integer rings, the class number – which measures the failure of unique factorization – is given in OEIS A003649; for the imaginary case, they are given in OEIS A000924.

Units

A quadratic integer is a unit in the ring of the integers of \mathbb{Q}(\sqrt{D},) if and only if its norm is 1 or −1. In the first case its multiplicative inverse is its conjugate. It is the negation of its conjugate in the second case.

If {2}. For all other negative D, there are only two units, which are 1 and −1.

If D 0, the ring of the integers of \mathbb{Q}(\sqrt{D},) has infinitely many units that are equal to ± u**i, 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 \overline{u}, and also -u and -\overline{u}. 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 as 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+\sqrt{2} (the silver ratio), 2+\sqrt{3}, \frac{1+\sqrt{5}}{2} (the golden ratio), 5+2\sqrt{6}, 8+3\sqrt{7}, 3+\sqrt{10}, 10+3\sqrt{11}, \frac{3+\sqrt{13}}{2}, 15+4\sqrt{14}, 4+\sqrt{15}. For larger D, the coefficients of the fundamental unit may be very large. For example, for , the fundamental units are respectively 170+39\sqrt{19}, 1520+273\sqrt{31} and 3482+531\sqrt{43}.

Examples of complex quadratic integer rings

::figure[src="https://upload.wikimedia.org/wikipedia/commons/e/ea/Punktraster.svg" caption="Gaussian integers in the [[complex plane"] ::

::figure[src="https://upload.wikimedia.org/wikipedia/commons/1/17/EisensteinPrimes-01.svg" caption="Eisenstein primes in the [[complex plane"] ::

For D

  • A classic example is \mathbf{Z}[\sqrt{-1},], the Gaussian integers, which was introduced by Carl Gauss around 1800 to state his biquadratic reciprocity law.
  • The elements in \mathcal{O}_{\mathbf{Q}(\sqrt{-3},)} = \mathbf{Z}\left[\tfrac12\bigl(1 + \sqrt{-3}~!\bigr)\right] are called Eisenstein integers.
  • The elements in \mathcal{O}_{\mathbf{Q}(\sqrt{-7},)} = \mathbf{Z}\left[\tfrac12\bigl(1 + \sqrt{-7}!\bigr)\right] are called Kleinian integers The first two rings mentioned above are rings of integers of cyclotomic fields Q(ζ4) and Q(ζ3) correspondingly. In contrast, \mathbf{Z}\bigl[\sqrt{-3}!\bigr] is not even a Dedekind domain.

All the above examples are principal ideal rings and also Euclidean domains for the norm. This is not the case for : \mathcal{O}_{\mathbf{Q}(\sqrt{-5},)} = \mathbf{Z}\left[\sqrt{-5},\right], which is not even a unique factorization domain. This can be shown as follows.

In \mathcal{O}_{\mathbf{Q}(\sqrt{-5},)}, we have : 9 = 3\cdot3 = (2+\sqrt{-5})(2-\sqrt{-5}). The factors 3, 2+\sqrt{-5} and 2-\sqrt{-5} 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.

The ideals \langle 3, 1+\sqrt{-5},\rangle and \langle 3, 1-\sqrt{-5},\rangle are not principal, as a simple computation shows that their product is the ideal generated by 3, and, if they were principal, this would imply that 3 would not be irreducible.

Examples of real quadratic integer rings

::figure[src="https://upload.wikimedia.org/wikipedia/commons/7/70/GoldenPrimes.svg" caption="n ≠ 0.}}"] ::

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 , a Diophantine equation that has been widely studied, are the units of these rings, for D ≡ 2, 3 (mod 4).

Principal rings of quadratic integers

The 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 \mathcal{O}_{\mathbf{Q}(\sqrt{D},)} for : . 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

When a ring of quadratic integers is a principal ideal domain, it is interesting to know whether it is a Euclidean domain. This problem has been completely solved as follows.

Equipped with the norm N(a + b\sqrt{D},) = |a^2 - Db^2| as a Euclidean function, \mathcal{O}_{\mathbf{Q}(\sqrt{D},)} is a Euclidean domain for negative D when : , 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 : , 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, which can indeed differ from the usual norm. The values were the first for which the ring of quadratic integers was proven to be Euclidean, but not norm-Euclidean. On the other hand, it turned out that Z[] is not a UFD because, for example, 6 has two distinct factorizations into irreducibles: : 6 = 2(3) = (1 + \sqrt{-5})(1 - \sqrt{-5}). (In fact, Z[] has class number 2.) The failure of the unique factorization led Ernst Kummer and Dedekind to develop a theory that would enlarge the set of "prime numbers"; the result was the introduction of the notion of ideal, and the definition of what is now called a Dedekind domain: All the ring of integers of number fields are Dedekind domains, and the ideals of a Dedekind domain have the property of unique factorization into products of prime ideals.

Being a Dedekind domain, a quadratic integer ring is a UFD if and only if it is a principal ideal domain (i.e., its class number is one). However, there are quadratic integer rings that are principal ideal domains but not Euclidean domains. For example, Q[] has class number 1 but its ring of integers is not Euclidean. There are effective methods to compute ideal class groups of quadratic integer rings, but many theoretical questions about their structure are still open after a hundred years.

Notes

References

  • {{citation | last1=Artin | first1=M | title=Algebra | edition=2nd
  • {{citation | last1=Clark | first1=David A. | year=1994 | title=A quadratic field which is Euclidean but not norm-Euclidean | journal=Manuscripta Mathematica | volume=83 | pages=327–330 | doi=10.1007/BF02567617 | url=http://www.math.clemson.edu/~jimlb/CourseNotes/AbstractAlgebra/EuclideanNotNormEuclidean.pdf | archive-url=https://web.archive.org/web/20150129163358/http://www.math.clemson.edu/~jimlb/CourseNotes/AbstractAlgebra/EuclideanNotNormEuclidean.pdf | archive-date=2015-01-29
  • {{citation | last1=de Bruijn | first1=N. G. | year=1981 | title=Algebraic theory of Penrose's non-periodic tilings of the plane, I, II | journal=Indagationes Mathematicae | volume=43 | issue=1 | pages=39–66 | url=https://alexandria.tue.nl/repository/freearticles/597566.pdf
  • {{citation | last1=Dedekind | first1=Richard | author1-link=Richard Dedekind | title=Vorlesungen über Zahlentheorie von P.G. Lejeune Dirichlet | url=http://gdz.sub.uni-goettingen.de/en/dms/load/toc/?PPN=PPN30976923X&DMDID=dmdlog1 | edition=2nd | year=1871 | publisher=Vieweg | access-date=2009-08-05
  • {{citation | last1=Dummit | first1=D. S. | last2=Foote | first2=R. M. | year=2004 | title=Abstract Algebra | edition=3rd
  • {{citation | last1=Harper |first1=M. | year=2004 | title=\mathbb {Z}[\sqrt{14}] is Euclidean | journal=Can. J. Math. 56 |volume=56 | pages=55–70 |doi=10.4153/CJM-2004-003-9
  • {{cite book | last1 = LeVeque | first1 = William J. | author1-link = William J. LeVeque | title = Topics in Number Theory, Volumes I and II | publisher = Dover Publications | location = New York | year = 2002 | orig-year = 1956 | isbn = 978-0-486-42539-9 | zbl = 1009.11001 | url = https://archive.org/details/topicsinnumberth0000leve

References

  1. "Why is quadratic integer ring defined in that way?".
  2. P. Weinberger, ''On Euclidean rings of algebraic integers''. In: Analytic Number Theory (St. Louis, 1972), Proc. Sympos. Pure Math. 24(1973), 321–332.
  3. Milne, pg. 64

::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::

algebraic-number-theoryring-theoryintegers