Search results
Results From The WOW.Com Content Network
In general a quadratic field of field discriminant can be obtained as a subfield of a cyclotomic field of -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.
An integer that occurs as the discriminant of a quadratic number field is called a fundamental discriminant. [3] Cyclotomic fields: let n > 2 be an integer, let ζ n be a primitive nth root of unity, and let K n = Q(ζ n) be the nth cyclotomic field. The discriminant of K n is given by [2] [4]
Geometrically, the discriminant of a quadratic form in three variables is the equation of a quadratic projective curve. The discriminant is zero if and only if the curve is decomposed in lines (possibly over an algebraically closed extension of the field). A quadratic form in four variables is the equation of a projective surface.
Quadratic_discriminants_presentation.pdf (754 × 566 pixels, file size: 331 KB, MIME type: application/pdf, 5 pages) This is a file from the Wikimedia Commons . Information from its description page there is shown below.
Simultaneously generalizing the case of imaginary quadratic fields and cyclotomic fields is the case of a CM field K, i.e. a totally imaginary quadratic extension of a totally real field. In 1974, Harold Stark conjectured that there are finitely many CM fields of class number 1. [12] He showed that there are finitely many of a fixed degree.
By definition, the different ideal δ K is the inverse fractional ideal I −1: it is an ideal of O K. The ideal norm of δ K is equal to the ideal of Z generated by the field discriminant D K of K. The different of an element α of K with minimal polynomial f is defined to be δ(α) = f′(α) if α generates the field K (and zero otherwise ...
The Cohen–Lenstra heuristics [6] are a set of more precise conjectures about the structure of class groups of quadratic fields. For real fields they predict that about 75.45% of the fields obtained by adjoining the square root of a prime will have class number 1, a result that agrees with computations. [7]
Let D be the discriminant of the field, n be the degree of K over , and = be the number of complex embeddings where is the number of real embeddings.Then every class in the ideal class group of K contains an integral ideal of norm not exceeding Minkowski's bound