|
Class Number Formula
In number theory, the class number formula relates many important invariants of an algebraic number field to a special value of its Dedekind zeta function. General statement of the class number formula We start with the following data: * is a number field. * , where denotes the number of real embeddings of , and is the number of complex embeddings of . * is the Dedekind zeta function of . * is the class number, the number of elements in the ideal class group of . * is the regulator of . * is the number of roots of unity contained in . * is the discriminant of the extension . Then: :Theorem (Class Number Formula). converges absolutely for and extends to a meromorphic function defined for all complex with only one simple pole at , with residue :: \lim_ (s-1) \zeta_K(s) = \frac This is the most general "class number formula". In particular cases, for example when is a cyclotomic extension of , there are particular and more refined class number formulas. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Number Theory
Number theory is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. Number theorists study prime numbers as well as the properties of mathematical objects constructed from integers (for example, rational numbers), or defined as generalizations of the integers (for example, algebraic integers). Integers can be considered either in themselves or as solutions to equations (Diophantine geometry). Questions in number theory can often be understood through the study of Complex analysis, analytical objects, such as the Riemann zeta function, that encode properties of the integers, primes or other number-theoretic objects in some fashion (analytic number theory). One may also study real numbers in relation to rational numbers, as for instance how irrational numbers can be approximated by fractions (Diophantine approximation). Number theory is one of the oldest branches of mathematics alongside geometry. One quirk of number theory is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gauss Circle Problem
In mathematics, the Gauss circle problem is the problem of determining how many integer lattice points there are in a circle centered at the origin and with radius r. This number is approximated by the area of the circle, so the real problem is to accurately bound the error term describing how the number of points differs from the area. The first progress on a solution was made by Carl Friedrich Gauss, hence its name. The problem Consider a circle in \mathbb^2 with center at the origin and radius r\ge 0. Gauss's circle problem asks how many points there are inside this circle of the form (m,n) where m and n are both integers. Since the equation of this circle is given in Cartesian coordinates by x^2+y^2= r^2, the question is equivalently asking how many pairs of integers ''m'' and ''n'' there are such that :m^2+n^2\leq r^2. If the answer for a given r is denoted by N(r) then the following list shows the first few values of N(r) for ''r'' an integer between 0 and 12 followed by ... [...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] |
Pell Equation
Pell is a surname shared by several notable people, listed below * Albert Pell * Axel Rudi Pell (born 1960), German heavy metal guitar player and member of Steeler and founder of his own eponymous band * Barney Pell * Benjamin Pell * Charles Pell (1874–1936), American college football coach * Charley Pell (1941–2001), American college football player and coach * Claiborne Pell (1918–2009), U.S. Senator from Rhode Island, serving six terms from 1961 to 1997, and sponsor of the Pell Grant, which provides financial aid funding to American college students * Clay Pell * Dave Pell (1925–2017), American jazz saxophonist and bandleader * Ella Ferris Pell (1846–1922), American painter, sculptor, and illustrator * Eva J. Pell (born 1948), American biologist, plant pathologist, and science administrator * George Pell (1941–2023), Australian cardinal of the Catholic Church * Harry Pell (born 1991), English professional footballer * Herbert Pell (1884–1961), American Re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dirichlet L-series
In mathematics, a Dirichlet L-series is a function of the form :L(s,\chi) = \sum_^\infty \frac. where \chi is a Dirichlet character and s a complex variable with real part greater than 1 . It is a special case of a Dirichlet series. By analytic continuation, it can be extended to a meromorphic function on the whole complex plane, and is then called a Dirichlet L -function and also denoted L ( s , \chi) . These functions are named after Peter Gustav Lejeune Dirichlet who introduced them in to prove the theorem on primes in arithmetic progressions that also bears his name. In the course of the proof, Dirichlet shows that L ( s , \chi) is non-zero at s = 1 . Moreover, if \chi is principal, then the corresponding Dirichlet L -function has a simple pole at s = 1 . Otherwise, the L -function is entire. Euler product Since a Dirichlet character \chi is completely multiplicative, its L -function can also be written as an Euler product in the half-plane of absolute ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dirichlet Character
In analytic number theory and related branches of mathematics, a complex-valued arithmetic function \chi: \mathbb\rightarrow\mathbb is a Dirichlet character of modulus m (where m is a positive integer) if for all integers a and b: # \chi(ab) = \chi(a)\chi(b); that is, \chi is completely multiplicative. # \chi(a) \begin =0 &\text \gcd(a,m)>1\\ \ne 0&\text\gcd(a,m)=1. \end (gcd is the greatest common divisor) # \chi(a + m) = \chi(a); that is, \chi is periodic with period m. The simplest possible character, called the principal character, usually denoted \chi_0, (see Notation below) exists for all moduli: : \chi_0(a)= \begin 0 &\text \gcd(a,m)>1\\ 1 &\text \gcd(a,m)=1. \end The German mathematician Peter Gustav Lejeune Dirichlet—for whom the character is named—introduced these functions in his 1837 paper on primes in arithmetic progressions. Notation \phi(n) is Euler's totient function. \zeta_n is a complex primitive n-th root of unity: : \zeta_n^n=1, but \zeta_n\ne 1, \ze ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kronecker Symbol
In number theory, the Kronecker symbol, written as \left(\frac an\right) or (a, n), is a generalization of the Jacobi symbol to all integers n. It was introduced by . Definition Let n be a non-zero integer, with prime factorization :n=u \cdot p_1^ \cdots p_k^, where u is a unit (i.e., u=\pm1), and the p_i are primes. Let a be an integer. The Kronecker symbol \left(\frac\right) is defined by : \left(\frac\right) := \left(\frac\right) \prod_^k \left(\frac\right)^. For odd p_i, the number \left(\frac\right) is simply the usual Legendre symbol. This leaves the case when p_i=2. We define \left(\frac\right) by : \left(\frac\right) := \begin 0 & \mboxa\mbox \\ 1 & \mbox a \equiv \pm1 \pmod, \\ -1 & \mbox a \equiv \pm3 \pmod. \end Since it extends the Jacobi symbol, the quantity \left(\frac\right) is simply 1 when u=1. When u=-1, we define it by : \left(\frac\right) := \begin -1 & \mboxa 0. Table of values The following is a table of values of Kronecker symbol \left(\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fundamental 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 original polynomial. The discriminant is widely used in polynomial factoring, number theory, and algebraic geometry. The discriminant of the quadratic polynomial ax^2+bx+c is :b^2-4ac, the quantity which appears under the square root in the quadratic formula. If a\ne 0, this discriminant is zero if and only if the polynomial has a double root. In the case of real coefficients, it is positive if the polynomial has two distinct real roots, and negative if it has two distinct complex conjugate roots. Similarly, the discriminant of a cubic polynomial is zero if and only if the polynomial has a multiple root. In the case of a cubic with real coefficients, the discriminant is positive if the polynomial has three distinct real roots, and negative ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Harold Davenport
Harold Davenport FRS (30 October 1907 – 9 June 1969) was an English mathematician, known for his extensive work in number theory. Early life and education Born on 30 October 1907 in Huncoat, Lancashire, Davenport was educated at Accrington Grammar School, the University of Manchester (graduating in 1927), and Trinity College, Cambridge. He became a research student of John Edensor Littlewood, working on the question of the distribution of quadratic residues. First steps in research The attack on the distribution question leads quickly to problems that are now seen to be special cases of those on local zeta-functions, for the particular case of some special hyperelliptic curves such as Y^2 = X(X-1)(X-2)\ldots (X-k). Bounds for the zeroes of the local zeta-function immediately imply bounds for sums \sum \chi(X(X-1)(X-2)\ldots (X-k)), where χ is the Legendre symbol ''modulo'' a prime number ''p'', and the sum is taken over a complete set of residues mod ''p''. In the l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
MathOverflow
MathOverflow is a mathematics question-and-answer (Q&A) website, which serves as an online community of mathematicians. It allows users to ask questions, submit answers, and rate both, all while getting merit points for their activities. It is a part of the Stack Exchange Network, but distinct fromath.stackexchange.com It is primarily for asking questions on mathematics research – i.e. related to unsolved problems and the extension of knowledge of mathematics into areas that are not yet known – and does not welcome requests from non-mathematicians for instruction, for example homework exercises. It does welcome various questions on other topics that might normally be discussed among mathematicians, for example about publishing, refereeing, advising, getting tenure, etc. It is generally inhospitable to questions perceived as tendentious or argumentative. Origin and history The website was started by Berkeley graduate students and postdocs Anton Geraschenko, David ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ideal (ring Theory)
In mathematics, and more specifically in ring theory, an ideal of a ring is a special subset of its elements. Ideals generalize certain subsets of the integers, such as the even numbers or the multiples of 3. Addition and subtraction of even numbers preserves evenness, and multiplying an even number by any integer (even or odd) results in an even number; these closure and absorption properties are the defining properties of an ideal. An ideal can be used to construct a quotient ring in a way similar to how, in group theory, a normal subgroup can be used to construct a quotient group. Among the integers, the ideals correspond one-for-one with the non-negative integers: in this ring, every ideal is a principal ideal consisting of the multiples of a single non-negative number. However, in other rings, the ideals may not correspond directly to the ring elements, and certain properties of integers, when generalized to rings, attach more naturally to the ideals than to the elem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quadratic Forms
In mathematics, a quadratic form is a polynomial with terms all of degree two (" form" is another name for a homogeneous polynomial). For example, 4x^2 + 2xy - 3y^2 is a quadratic form in the variables and . The coefficients usually belong to a fixed field , such as the real or complex numbers, and one speaks of a quadratic form ''over'' . Over the reals, a quadratic form is said to be '' definite'' if it takes the value zero only when all its variables are simultaneously zero; otherwise it is ''isotropic''. Quadratic forms occupy a central place in various branches of mathematics, including number theory, linear algebra, group theory (orthogonal groups), differential geometry (the Riemannian metric, the second fundamental form), differential topology ( intersection forms of manifolds, especially four-manifolds), Lie theory (the Killing form), and statistics (where the exponent of a zero-mean multivariate normal distribution has the quadratic form -\mathbf^\mathsf\boldsy ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
