Search results
Results From The WOW.Com Content Network
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.
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.
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 ...
Karl Rubin found a more elementary proof of the Mazur-Wiles theorem by using Kolyvagin's Euler systems, described in Lang (1990) and Washington (1997), and later proved other generalizations of the main conjecture for imaginary quadratic fields.
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]
In mathematics, the Gauss class number problem (for imaginary quadratic fields), as usually understood, is to provide for each n ≥ 1 a complete list of imaginary quadratic fields (for negative integers d) having class number n. It is named after Carl Friedrich Gauss.
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.
The simplest, and motivating, example of a CM-field is an imaginary quadratic field, for which the totally real subfield is just the field of rationals. One of the most important examples of a CM-field is the cyclotomic field Q ( ζ n ) {\displaystyle \mathbb {Q} (\zeta _{n})} , which is generated by a primitive nth root of unity .