Quadratic field
In algebraic number theory, a quadratic field is an algebraic number field K of degree two over Q, the rational numbers. The map d ↦ Q(√d) is a bijection from the set of all squarefree integers d ≠ 0, 1 to the set of all quadratic fields. If d > 0 the corresponding quadratic field is called a real quadratic field, and for d < 0 an imaginary quadratic field or complex quadratic field, corresponding to whether it is or not a subfield of the field of the real numbers.
Quadratic fields have been studied in great depth, initially as part of the theory of binary quadratic forms. There remain some unsolved problems. The class number problem is particularly important.
Contents
Ring of integers
Discriminant
For a nonzero square free integer d, the discriminant of the quadratic field K=Q(√d) is d if d is congruent to 1 modulo 4, and otherwise 4d. For example, when d is −1 so that K is the field of socalled Gaussian rationals, the discriminant is −4. The reason for this distinction relates to general algebraic number theory. The ring of integers of K is spanned over the rational integers by 1 and √d only in the second case, while in the first case it is spanned by 1 and (1 + √d)/2.
The set of discriminants of quadratic fields is exactly the set of fundamental discriminants.
Prime factorization into ideals
Any prime number p gives rise to an ideal pO_{K} in the ring of integers O_{K} of a quadratic field K. In line with general theory of splitting of prime ideals in Galois extensions, this may be
 p is inert
 (p) is a prime ideal
 The quotient ring is the finite field with p^{2} elements: O_{K}/pO_{K} = F_{p2}
 p splits
 (p) is a product of two distinct prime ideals of O_{K}.
 The quotient ring is the product O_{K}/pO_{K} = F_{p} × F_{p}.
 p is ramified
 (p) is the square of a prime ideal of O_{K}.
 The quotient ring contains nonzero nilpotent elements.
The third case happens if and only if p divides the discriminant D. The first and second cases occur when the Kronecker symbol (D/p) equals −1 and +1, respectively. For example, if p is an odd prime not dividing D, then p splits if and only if D is congruent to a square modulo p. The first two cases are in a certain sense equally likely to occur as p runs through the primes, see Chebotarev density theorem.^{[1]}
The law of quadratic reciprocity implies that the splitting behaviour of a prime p in a quadratic field depends only on p modulo D, where D is the field discriminant.
Quadratic subfields of cyclotomic fields
The quadratic subfield of the prime cyclotomic field
A classical example of the construction of a quadratic field is to take the unique quadratic field inside the cyclotomic field generated by a primitive pth root of unity, with p a prime number > 2. The uniqueness is a consequence of Galois theory, there being a unique subgroup of index 2 in the Galois group over Q. As explained at Gaussian period, the discriminant of the quadratic field is p for p = 4n + 1 and −p for p = 4n + 3. This can also be predicted from enough ramification theory. In fact p is the only prime that ramifies in the cyclotomic field, so that p is the only prime that can divide the quadratic field discriminant. That rules out the 'other' discriminants −4p and 4p in the respective cases.
Other cyclotomic fields
If one takes the other cyclotomic fields, they have Galois groups with extra 2torsion, and so contain at least three quadratic fields. In general a quadratic field of field discriminant D can be obtained as a subfield of a cyclotomic field of Dth roots of unity. This expresses the fact that the conductor of a quadratic field is the absolute value of its discriminant, a special case of the Führerdiskriminantenproduktformel.
Orders of quadratic number fields of small discriminant
The following table shows some orders of small discriminant of quadratic fields. The maximal order of an algebraic number field is its ring of integers, and the discriminant of the maximal order is the discriminant of the field. The discriminant of a nonmaximal order is the product of the discriminant of the corresponding maximal order by the square of the determinant of the matrix that expresses a basis of the nonmaximal order over a basis of the maximal order. All these discriminants may be defined by the formula of Discriminant of an algebraic number field § Definition.
Order  Discriminant  Class number  Units  Comments 

Z[√−5]  −20  2  ±1  Ideal classes (1), (2, 1+√−5) 
Z[(1+√−19)/2]  −19  1  ±1  Principal ideal domain, not Euclidean 
Z[2√−1]  −16  1  ±1  Nonmaximal order 
Z[(1+√−15)/2]  −15  2  ±1  Ideal classes (1), (2, (1+√−15)/2) 
Z[√−3]  −12  1  ±1  Nonmaximal order 
Z[(1+√−11)/2]  −11  1  ±1  Euclidean 
Z[√−2]  −8  1  ±1  Euclidean 
Z[(1+√−7)/2]  −7  1  ±1  Kleinian integers 
Z[√−1]  −4  1  ±1, ±i cyclic of order 4  Gaussian integers 
Z[(1+√−3)/2]  −3  1  ±1, (±1±√−3)/2  Eisenstein integers 
Z[(1+√5)/2]  5  1  ±((1+√5)/2)^{n} (norm −1^{n})  
Z[√2]  8  1  ±(1+√2)^{n} (norm −1^{n})  
Z[√3]  12  1  ±(2+√3)^{n} (norm 1)  
Z[(1+√13)/2]  13  1  ±((3+√13)/2)^{n} (norm −1^{n})  
Z[(1+√17)/2]  17  1  ±(4+√17)^{n} (norm −1^{n})  
Z[√5]  20  2  ±(√5+2)^{n} (norm −1^{n})  Nonmaximal order 
See also
Notes
 ^ Samuel 1972, pp. 76f
References
 Buell, Duncan (1989), Binary quadratic forms: classical theory and modern computations, SpringerVerlag, ISBN 0387970371 Chapter 6.

Samuel, Pierre (1972), Algebraic Theory of Numbers (Hardcover ed.), Paris / Boston: Hermann / Houghton Mifflin Company, ISBN 9780901665065
 Samuel, Pierre (2008), Algebraic Theory of Numbers (Paperback ed.), Dover, ISBN 9780486466668
 Stewart, I. N.; Tall, D. O. (1979), Algebraic number theory, Chapman and Hall, ISBN 0412138409 Chapter 3.1.
External links
 Weisstein, Eric W. "Quadratic Field". MathWorld.
 Hazewinkel, Michiel, ed. (2001) [1994], "Quadratic field", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 9781556080104