Class number problem

Class number problem

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 with class number n. It is named after the great mathematician Carl Friedrich Gauss. It can also be stated in terms of discriminants. There are related questions for real quadratic fields and the behavior as

d \to -\infty.

The difficulty is in effective computation of bounds: for a given discriminant, it is easy to compute the class number, and there are several ineffective lower bounds on class number (meaning that they involve a constant that is not computed), but effective bounds (and explicit proofs of completeness of lists) are harder.

Contents

Gauss's original conjectures

The problems are posed in Gauss's Disquisitiones Arithmeticae of 1801 (Section V, Articles 303 and 304).[1]

Gauss discusses imaginary quadratic fields in Article 303, stating the first two conjectures, and discusses real quadratic fields in Article 304, stating the third conjecture.

Gauss Conjecture (Class number tends to infinity)
h(d) \to \infty\text{ as }d\to -\infty.
Gauss Class Number Problem (Low class number lists)
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 original Gauss class number problem for imaginary quadratic fields is significantly different and easier than the modern statement: he restricted to even discriminants, and allowed non-fundamental discriminants.

Status

Gauss Conjecture
Solved, Heilbronn, 1934.
Low class number lists
Class number 1: solved, Baker (1966), Stark (1967), Heegner (1952).
Class number 2: solved, Baker (1971), Stark (1971)[2]
Class number 3: solved, 1985[2]
Class numbers h up to 100: solved, Watkins 2004[3]
Infinitely many real quadratic fields with class number one
Open.

Lists of discriminants of class number 1

For imaginary quadratic number fields, the (fundamental) discriminants of class number 1 are:

d=-3,-4,-7,-8,-11,-19,-43,-67,-163.\

The non-fundamental discriminants of class number 1 are:

d=-12,-16,-27,-28.\

Thus, the even discriminants of class number 1, fundamental and non-fundamental (Gauss's original question) are:

d=-4,-8,-12,-16,-28.\

Modern developments

In 1934, Hans Heilbronn proved the Gauss Conjecture. Equivalently, for any given class number, there are only finitely many imaginary quadratic number fields with that class number.

Also in 1934, Heilbronn and Edward Linfoot showed that there were at most 10 imaginary quadratic number fields with class number 1 (the 9 known ones, and at most one further). The result was ineffective (see effective results in number theory): it did not allow bounds on the size of the remaining field.

In later developments, the case n = 1 was first discussed by Kurt Heegner, using modular forms and modular equations to show that no further such field could exist. This work was not initially accepted; only with later work of Harold Stark and Bryan Birch was the position clarified, and Heegner's work understood. See Stark–Heegner theorem, Heegner number. Practically simultaneously, Alan Baker proved an Baker's theorem on linear forms in logarithms of algebraic numbers which resolved the problem by a completely different method. The case n = 2 was tackled shortly afterwards, at least in principle, as an application of Baker's work.

The complete list of imaginary quadratic fields with class number one is \mathbf{Q}(\sqrt{k}) with k one of

-1, -2, -3, -7, -11, -19, -43, -67, -163.\

The general case awaited the discovery of Dorian Goldfeld that the class number problem could be connected to the L-functions of elliptic curves. This reduced the question, in principle, of effective determination, to one about establishing the existence of a multiple zero of such an L-function. This could be done on the basis of the later Gross-Zagier theorem. So at that point one could specify a finite calculation, the result of which would be a complete list for a given class number. In fact in practice such lists that are probably complete can be made by relatively simple methods; what is at issue is certainty. The cases up to n = 100 have now (2004) been done: see Watkins (2004).

Real quadratic fields

The contrasting case of real quadratic fields is very different, and much less is known. That is because what enters the analytic formula for the class number is not h, the class number, on its own — but h log ε, where ε is a fundamental unit. This extra factor is hard to control. It may well be the case that class number 1 for real quadratic fields occurs infinitely often.

The Cohen-Lenstra heuristics[4] are a set of more precise conjectures about the structure of class groups of quadratic fields. For real fields they predict that about 75.446% will have class number 1, a result that agrees with computations.[5]

See also

  • List of number fields with class number one

Notes

  1. ^ The Gauss Class-Number Problems, by H. M. Stark
  2. ^ a b Ireland, K.; Rosen, M. (1993), A Classical Introduction to Modern Number Theory, New York, New York: Springer-Verlag, pp. 358–361, ISBN 038797329X 
  3. ^ Watkins, M. (2004), Class numbers of imaginary quadratic fields, Mathematics of Computation, 73, pp. 907–938, http://www.ams.org/mcom/2004-73-246/S0025-5718-03-01517-5/home.html 
  4. ^ Cohen, ch. 5.10
  5. ^ te Riele & Williams

References

External links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Class (locomotive) — refers to a group of locomotives built to a common design for a single railroad. Often members of a particular class had detail variations between individual examples, and these could lead to subclasses. Sometimes technical alterations… …   Wikipedia

  • Number 13 class battleship — design Class overview Operators: Impe …   Wikipedia

  • Ideal class group — In mathematics, the extent to which unique factorization fails in the ring of integers of an algebraic number field (or more generally any Dedekind domain) can be described by a certain group known as an ideal class group (or class group). If… …   Wikipedia

  • Algebraic number field — In mathematics, an algebraic number field (or simply number field) F is a finite (and hence algebraic) field extension of the field of rational numbers Q. Thus F is a field that contains Q and has finite dimension when considered as a vector… …   Wikipedia

  • Heegner number — In number theory, a Heegner number is a (square free) positive integer d such that the imaginary quadratic fieldmathbf{Q}(sqrt{ d}) has class number 1. Equivalently, its ring of integers has a unique factorization.The determination of such… …   Wikipedia

  • Number Sense (UIL) — Number Sense is one of several academic events sanctioned by the University Interscholastic League. It is also a competition held by the Texas Math and Science Coaches Association, using the same rules as the UIL. It is one of the UIL s oldest… …   Wikipedia

  • Problem Frames Approach — Problem Analysis or the Problem Frames Approach is an approach to software requirements analysis. It was developed by British software consultant Michael A. Jackson. The Problem Frames Approach was first sketched by Jackson in his book Software… …   Wikipedia

  • List of algebraic number theory topics — This is a list of algebraic number theory topics. Contents 1 Basic topics 2 Important problems 3 General aspects 4 Class field theory …   Wikipedia

  • number game — Introduction       any of various puzzles and games that involve aspects of mathematics.       Mathematical recreations comprise puzzles and games that vary from naive amusements to sophisticated problems, some of which have never been solved.… …   Universalium

  • Number theory — A Lehmer sieve an analog computer once used for finding primes and solving simple diophantine equations. Number theory is a branch of pure mathematics devoted primarily to the study of the integers. Number theorists study prime numbers (the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”