Search results
Results From The WOW.Com Content Network
If one takes the other cyclotomic fields, they have Galois groups with extra -torsion, so contain at least three quadratic fields. 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 ...
In number theory, the Heegner theorem [1] establishes the complete list of the quadratic imaginary number fields whose rings of integers are principal ideal domains. It solves a special case of Gauss's class number problem of determining the number of imaginary quadratic fields that have a given fixed class number.
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.
Karl Rubin found a more elementary proof of the Mazur–Wiles theorem by using Thaine's method and Kolyvagin's Euler systems, described in Lang (1990) and Washington (1997), and later proved other generalizations of the main conjecture for imaginary quadratic fields. [2]
For given low class number (such as 1, 2, and 3), Gauss gives lists of imaginary quadratic fields with the given class number and believes them to be complete. Infinitely many real quadratic fields with class number one Gauss conjectures that there are infinitely many real quadratic fields with class number one.
The union Q CM of all CM fields is similar to a CM field except that it has infinite degree. It is a quadratic extension of the union of all totally real fields Q R. The absolute Galois group Gal(Q /Q R) is generated (as a closed subgroup) by all elements of order 2 in Gal(Q /Q), and Gal(Q /Q CM) is a subgroup of index 2.
In algebraic number theory, a number field is called totally imaginary (or totally complex) if it cannot be embedded in the real numbers. Specific examples include imaginary quadratic fields, cyclotomic fields, and, more generally, CM fields. Any number field that is Galois over the rationals must be either totally real or totally imaginary.
In mathematics, elliptic units are certain units of abelian extensions of imaginary quadratic fields constructed using singular values of modular functions, or division values of elliptic functions. They were introduced by Gilles Robert in 1973, and were used by John Coates and Andrew Wiles in their work on the Birch and Swinnerton-Dyer conjecture.