Ankeny–Artin–Chowla Congruence
   HOME

TheInfoList



OR:

In
number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777â ...
, the Ankeny–Artin–Chowla congruence is a result published in 1953 by N. C. Ankeny,
Emil Artin Emil Artin (; March 3, 1898 – December 20, 1962) was an Austrian mathematician of Armenian descent. Artin was one of the leading mathematicians of the twentieth century. He is best known for his work on algebraic number theory, contributing lar ...
and S. Chowla. It concerns the class number ''h'' of a real quadratic field of
discriminant In mathematics, the discriminant of a polynomial is a quantity that depends on the coefficients and allows deducing some properties of the roots without computing them. More precisely, it is a polynomial function of the coefficients of the origi ...
''d'' > 0. If the
fundamental unit A base unit (also referred to as a fundamental unit) is a Units of measurement, unit adopted for measurement of a ''base quantity''. A base quantity is one of a conventionally chosen subset of physical quantity, physical quantities, where no quanti ...
of the field is :\varepsilon = \frac with integers ''t'' and ''u'', it expresses in another form :\frac \pmod\; for any
prime number A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways ...
''p'' > 2 that divides ''d''. In case ''p'' > 3 it states that :-2 \equiv \sum_ \lfloor \rfloor \pmod where m = \frac\;   and  \chi\;  is the Dirichlet character for the quadratic field. For ''p'' = 3 there is a factor (1 + ''m'') multiplying the LHS. Here :\lfloor x\rfloor represents the floor function of ''x''. A related result is that if ''d=p'' is congruent to one mod four, then :h \equiv B_ \pmod where ''B''''n'' is the ''n''th Bernoulli number. There are some generalisations of these basic results, in the papers of the authors.


References

* Theorems in algebraic number theory {{numtheory-stub