Search results
Results From The WOW.Com Content Network
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 ...
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.
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.
Dirichlet's unit theorem shows that the unit group has rank 1 exactly when the number field is a real quadratic field, a complex cubic field, or a totally imaginary quartic field. When the unit group has rank ≥ 1, a basis of it modulo its torsion is called a fundamental system of units. [1]
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 .
This page was last edited on 2 December 2003, at 08:02 (UTC).; Text is available under the Creative Commons Attribution-ShareAlike 4.0 License; additional terms may apply.