|
Cohen-Lenstra Heuristics
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 \mathbb(\sqrt) (for negative integers ''d'') having class number ''n''. It is named after Carl Friedrich Gauss. It can also be stated in terms of discriminants. There are related questions for real quadratic fields and for 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. Gauss's original conjectures The problems are posed in Gauss's Disquisitiones Arithmeticae of 1801 (Section V, Articles 303 and 304). Gauss discusses imaginary quadratic fields in Article 303, stating the first two conje ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stark–Heegner Theorem
In number theory, the Heegner theorem 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. Let denote the set of rational numbers, and let be a square-free integer. The field is a quadratic extension of . The class number of is one if and only if the ring of integers of is a principal ideal domain. The Baker–Heegner–Stark theorem can then be stated as follows: :If , then the class number of is one if and only if d \in \. These are known as the Heegner numbers. By replacing with the discriminant of this list is often written as: :D \in\. History This result was first conjectured by Gauss in Section 303 of his ''Disquisitiones Arithmeticae'' (1798). It was essentially proven by Kurt Heegner in 1952, but Heegner's proof was not accepted until ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematische Zeitschrift
''Mathematische Zeitschrift'' ( German for ''Mathematical Journal'') is a mathematical journal for pure and applied mathematics published by Springer Verlag. History The journal was founded in 1917, with its first issue appearing in 1918. It was initially edited by Leon Lichtenstein together with Konrad Knopp, Erhard Schmidt, and Issai Schur. Because Lichtenstein was Jewish, he was forced to step down as editor in 1933 under the Nazi rule of Germany; he fled to Poland and died soon after. The editorship was offered to Helmut Hasse Helmut Hasse (; 25 August 1898 – 26 December 1979) was a German mathematician working in algebraic number theory, known for fundamental contributions to class field theory, the application of ''p''-adic numbers to local class field theory and ..., but he refused, Translated by Bärbel Deninger from the 1982 German original. and Konrad Knopp took it over. Other past editors include Erich Kamke, Friedrich Karl Schmidt, Rolf Nevanlinna, Hel ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bulletin Of The American Mathematical Society
The ''Bulletin of the American Mathematical Society'' is a quarterly mathematical journal published by the American Mathematical Society. Scope It publishes surveys on contemporary research topics, written at a level accessible to non-experts. It also publishes, by invitation only, book reviews and short ''Mathematical Perspectives'' articles. History It began as the ''Bulletin of the New York Mathematical Society'' and underwent a name change when the society became national. The Bulletin's function has changed over the years; its original function was to serve as a research journal for its members. Indexing The Bulletin is indexed in Mathematical Reviews, Science Citation Index, ISI Alerting Services, CompuMath Citation Index, and Current Contents/Physical, Chemical & Earth Sciences. See also *'' Journal of the American Mathematical Society'' *'' Memoirs of the American Mathematical Society'' *'' Notices of the American Mathematical Society'' *'' Proceedings of the Ame ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
List Of Number Fields With Class Number One
This is an incomplete list of number fields with class number 1. It is believed that there are infinitely many such number fields, but this has not been proven. Definition The class number of a number field is by definition the order of the ideal class group of its ring of integers. Thus, a number field has class number 1 if and only if its ring of integers is a principal ideal domain (and thus a unique factorization domain). The fundamental theorem of arithmetic says that Q has class number 1. Quadratic number fields These are of the form ''K'' = Q(), for a square-free integer ''d''. Real quadratic fields ''K'' is called real quadratic if ''d'' > 0. ''K'' has class number 1 for the following values of ''d'' : * 2*, 3, 5*, 6, 7, 11, 13*, 14, 17*, 19, 21, 22, 23, 29*, 31, 33, 37*, 38, 41*, 43, 46, 47, 53*, 57, 59, 61*, 62, 67, 69, 71, 73*, 77, 83, 86, 89*, 93, 94, 97*, ...Chapter I, section 6, p. 37 of (complete until ''d'' = 100) *: The narrow cl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fundamental Unit (number Theory)
In algebraic number theory, a fundamental unit is a generator (modulo the root of unity, roots of unity) for the unit group of the Algebraic integer, ring of integers of a number field, when that group has rank of an abelian group, rank 1 (i.e. when the unit group modulo its torsion subgroup is infinite cyclic). 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 number field, 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. Some authors use the term fundamental unit to mean any element of a fundamental system of units, not restricting to the case of rank 1 (e.g. ). Real quadratic fields For the real quadratic field K=\mathbf(\sqrt) (with ''d'' square-free), the fundamental unit ε is commonly normalized so that (as a real number). Then it is uniquely characterized as the mi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gross–Zagier Theorem
In mathematics, a Heegner point is a point on a modular curve that is the image of a quadratic imaginary point of the upper half-plane. They were defined by Bryan Birch and named after Kurt Heegner, who used similar ideas to prove Gauss's conjecture on imaginary quadratic fields of class number one. Gross–Zagier theorem The Gross–Zagier theorem describes the height of Heegner points in terms of a derivative of the L-function of the elliptic curve at the point ''s'' = 1. In particular if the elliptic curve has (analytic) rank 1, then the Heegner points can be used to construct a rational point on the curve of infinite order (so the Mordell–Weil group has rank at least 1). More generally, showed that Heegner points could be used to construct rational points on the curve for each positive integer ''n'', and the heights of these points were the coefficients of a modular form of weight 3/2. Shou-Wu Zhang generalized the Gross–Zagier theorem from elliptic cur ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elliptic Curve
In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point . An elliptic curve is defined over a field and describes points in , the Cartesian product of with itself. If the field's characteristic is different from 2 and 3, then the curve can be described as a plane algebraic curve which consists of solutions for: :y^2 = x^3 + ax + b for some coefficients and in . The curve is required to be non-singular, which means that the curve has no cusps or self-intersections. (This is equivalent to the condition , that is, being square-free in .) It is always understood that the curve is really sitting in the projective plane, with the point being the unique point at infinity. Many sources define an elliptic curve to be simply a curve given by an equation of this form. (When the coefficient field has characteristic 2 or 3, the above equation is not quite general enough to include all non-singular cubic cu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
L-function
In mathematics, an ''L''-function is a meromorphic function on the complex plane, associated to one out of several categories of mathematical objects. An ''L''-series is a Dirichlet series, usually convergent on a half-plane, that may give rise to an ''L''-function via analytic continuation. The Riemann zeta function is an example of an ''L''-function, and some important conjectures involving ''L''-functions are the Riemann hypothesis and its generalizations. The theory of ''L''-functions has become a very substantial, and still largely conjectural, part of contemporary analytic number theory. In it, broad generalisations of the Riemann zeta function and the ''L''-series for a Dirichlet character are constructed, and their general properties, in most cases still out of reach of proof, are set out in a systematic way. Because of the Euler product formula there is a deep connection between ''L''-functions and the theory of prime numbers. The mathematical field tha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dorian Goldfeld
Dorian Morris Goldfeld (born January 21, 1947) is an American mathematician working in analytic number theory and automorphic forms at Columbia University. Professional career Goldfeld received his B.S. degree in 1967 from Columbia University. His doctoral dissertation, entitled "Some Methods of Averaging in the Analytical Theory of Numbers", was completed under the supervision of Patrick X. Gallagher in 1969, also at Columbia. He has held positions at the University of California at Berkeley ( Miller Fellow, 1969–1971), Hebrew University (1971–1972), Tel Aviv University (1972–1973), Institute for Advanced Study (1973–1974), in Italy (1974–1976), at MIT (1976–1982), University of Texas at Austin (1983–1985) and Harvard (1982–1985). Since 1985, he has been a professor at Columbia University. He is a member of the editorial board of ''Acta Arithmetica'' and of ''The Ramanujan Journal''. On January 1, 2018 he became the Editor-in-Chief of the Journal of Number Theor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Number
In mathematics, an algebraic number is a number that is a root of a function, root of a non-zero polynomial in one variable with integer (or, equivalently, Rational number, rational) coefficients. For example, the golden ratio (1 + \sqrt)/2 is an algebraic number, because it is a root of the polynomial X^2 - X - 1, i.e., a solution of the equation x^2 - x - 1 = 0, and the complex number 1 + i is algebraic as a root of X^4 + 4. Algebraic numbers include all integers, rational numbers, and nth root, ''n''-th roots of integers. Algebraic complex numbers are closed under addition, subtraction, multiplication and division, and hence form a field (mathematics), field, denoted \overline. The set of algebraic real numbers \overline \cap \R is also a field. Numbers which are not algebraic are called transcendental number, transcendental and include pi, and . There are countable set, countably many algebraic numbers, hence almost all real (or complex) numbers (in the sense of Lebesgue ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Forms In Logarithms
In transcendental number theory, a mathematical discipline, Baker's theorem gives a lower bound for the absolute value of linear combinations of logarithms of algebraic numbers. Nearly fifteen years earlier, Alexander Gelfond had considered the problem with only integer coefficients to be of "extraordinarily great significance". The result, proved by , subsumed many earlier results in transcendental number theory. Baker used this to prove the transcendence of many numbers, to derive effective bounds for the solutions of some Diophantine equations, and to solve the class number problem of finding all imaginary quadratic fields with class number 1. History To simplify notation, let \mathbb be the set of logarithms to the base ''e'' of nonzero algebraic numbers, that is \mathbb = \left \, where \Complex denotes the set of complex numbers and \overline denotes the algebraic numbers (the algebraic closure of the rational numbers \Q). Using this notation, several results in transcendent ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
