Quadratic field
In algebraic number theory, a quadratic field is an algebraic number field of degree two over , the rational numbers. Every such quadratic field is some where is a (uniquely defined) square-free integer different from and . If , the corresponding quadratic field is called a real quadratic field, and for an imaginary quadratic field or complex quadratic field, corresponding to whether or not it is 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. Discriminant. For a nonzero square free integer formula_1, the discriminant of the quadratic field formula_2 is formula_1 if formula_1 is congruent to 1 modulo 4, and otherwise formula_5. For example, if formula_1 is −1, then formula_7 is the field of Gaussian rationals and the discriminant is −4. The reason for such a distinction is that the ring of integers of formula_7 is generated by formula_9 in the first case, but by formula_10 in the second case. 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" in the ring of integers "O" of a quadratic field "K". In line with general theory of splitting of prime ideals in Galois extensions, this may be 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. 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. Class group. Determining the class group of a quadratic field extension can be accomplished using Minkowski's bound and the Kronecker symbol because of the finiteness of the class group. A quadratic field formula_2 has discriminant formula_12 so the Minkowski bound isformula_13 Then, the ideal class group is generated by the prime ideals whose norm  is less than formula_14. This can be done by looking at the decomposition of the ideals formula_15 for formula_16 prime where formula_17 These decompositions can be found using the Dedekind–Kummer theorem. 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 "p"-th 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" = 4"n" + 1 and −"p" for "p" = 4"n" + 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 −4"p" and 4"p" in the respective cases. Other cyclotomic fields. If one takes the other cyclotomic fields, they have Galois groups with extra 2-torsion, 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 "D"-th 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 conductor-discriminant formula. 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 non-maximal 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 non-maximal order over a basis of the maximal order. All these discriminants may be defined by the formula of . For real quadratic integer rings, the ideal class number, which measures the failure of unique factorization, is given in OEIS A003649; for the imaginary case, they are given in OEIS A000924. Some of these examples are listed in Artin, "Algebra" (2nd ed.), §13.8. Quadratic field In