Landau Prime Ideal Theorem
   HOME
*





Landau Prime Ideal Theorem
In algebraic number theory, the prime ideal theorem is the number field generalization of the prime number theorem. It provides an asymptotic formula for counting the number of prime ideals of a number field ''K'', with norm at most ''X''. Example What to expect can be seen already for the Gaussian integers. There for any prime number ''p'' of the form 4''n'' + 1, ''p'' factors as a product of two Gaussian primes of norm ''p''. Primes of the form 4''n'' + 3 remain prime, giving a Gaussian prime of norm ''p''2. Therefore, we should estimate :2r(X)+r^\prime(\sqrt) where ''r'' counts primes in the arithmetic progression 4''n'' + 1, and ''r''′ in the arithmetic progression 4''n'' + 3. By the quantitative form of Dirichlet's theorem on primes, each of ''r''(''Y'') and ''r''′(''Y'') is asymptotically :\frac. Therefore, the 2''r''(''X'') term predominates, and is asymptotically :\frac. General number fields This general pattern holds for number fields in general, so ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Algebraic Number Theory
Algebraic number theory is a branch of number theory that uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic objects such as algebraic number fields and their rings of integers, finite fields, and function fields. These properties, such as whether a ring admits unique factorization, the behavior of ideals, and the Galois groups of fields, can resolve questions of primary importance in number theory, like the existence of solutions to Diophantine equations. History of algebraic number theory Diophantus The beginnings of algebraic number theory can be traced to Diophantine equations, named after the 3rd-century Alexandrian mathematician, Diophantus, who studied them and developed methods for the solution of some kinds of Diophantine equations. A typical Diophantine problem is to find two integers ''x'' and ''y'' such that their sum, and the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Number Field
In mathematics, an algebraic number field (or simply number field) is an extension field K of the field of rational numbers such that the field extension K / \mathbb has finite degree (and hence is an algebraic field extension). Thus K is a field that contains \mathbb and has finite dimension when considered as a vector space over The study of algebraic number fields, and, more generally, of algebraic extensions of the field of rational numbers, is the central topic of algebraic number theory. This study reveals hidden structures behind usual rational numbers, by using algebraic methods. Definition Prerequisites The notion of algebraic number field relies on the concept of a field. A field consists of a set of elements together with two operations, namely addition, and multiplication, and some distributivity assumptions. A prominent example of a field is the field of rational numbers, commonly denoted together with its usual operations of addition and multiplication. ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Prime Number Theorem
In mathematics, the prime number theorem (PNT) describes the asymptotic distribution of the prime numbers among the positive integers. It formalizes the intuitive idea that primes become less common as they become larger by precisely quantifying the rate at which this occurs. The theorem was proved independently by Jacques Hadamard and Charles Jean de la Vallée Poussin in 1896 using ideas introduced by Bernhard Riemann (in particular, the Riemann zeta function). The first such distribution found is , where is the prime-counting function (the number of primes less than or equal to ''N'') and is the natural logarithm of . This means that for large enough , the probability that a random integer not greater than is prime is very close to . Consequently, a random integer with at most digits (for large enough ) is about half as likely to be prime as a random integer with at most digits. For example, among the positive integers of at most 1000 digits, about one in 2300 is prim ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Prime Ideal
In algebra, a prime ideal is a subset of a ring that shares many important properties of a prime number in the ring of integers. The prime ideals for the integers are the sets that contain all the multiples of a given prime number, together with the zero ideal. Primitive ideals are prime, and prime ideals are both primary and semiprime. Prime ideals for commutative rings An ideal of a commutative ring is prime if it has the following two properties: * If and are two elements of such that their product is an element of , then is in or is in , * is not the whole ring . This generalizes the following property of prime numbers, known as Euclid's lemma: if is a prime number and if divides a product of two integers, then divides or divides . We can therefore say :A positive integer is a prime number if and only if n\Z is a prime ideal in \Z. Examples * A simple example: In the ring R=\Z, the subset of even numbers is a prime ideal. * Given an integral do ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Field Norm
In mathematics, the (field) norm is a particular mapping defined in field theory, which maps elements of a larger field into a subfield. Formal definition Let ''K'' be a field and ''L'' a finite extension (and hence an algebraic extension) of ''K''. The field ''L'' is then a finite dimensional vector space over ''K''. Multiplication by α, an element of ''L'', :m_\alpha\colon L\to L :m_\alpha (x) = \alpha x, is a ''K''-linear transformation of this vector space into itself. The norm, N''L''/''K''(''α''), is defined as the determinant of this linear transformation. If ''L''/''K'' is a Galois extension, one may compute the norm of α ∈ ''L'' as the product of all the Galois conjugates of α: :\operatorname_(\alpha)=\prod_ \sigma(\alpha), where Gal(''L''/''K'') denotes the Galois group of ''L''/''K''. (Note that there may be a repetition in the terms of the product.) For a general field extension ''L''/''K'', and nonzero α in ''L'', let ''σ''(''α''), ..., σ(''α'') ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Gaussian Integer
In number theory, a Gaussian integer is a complex number whose real and imaginary parts are both integers. The Gaussian integers, with ordinary addition and multiplication of complex numbers, form an integral domain, usually written as \mathbf /math> or \Z Gaussian integers share many properties with integers: they form a Euclidean domain, and have thus a Euclidean division and a Euclidean algorithm; this implies unique factorization and many related properties. However, Gaussian integers do not have a total ordering that respects arithmetic. Gaussian integers are algebraic integers and form the simplest ring of quadratic integers. Gaussian integers are named after the German mathematician Carl Friedrich Gauss. Basic definitions The Gaussian integers are the set :\mathbf \, \qquad \text i^2 = -1. In other words, a Gaussian integer is a complex number such that its real and imaginary parts are both integers. Since the Gaussian integers are closed under addition and mu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Gaussian Prime
In number theory, a Gaussian integer is a complex number whose real and imaginary parts are both integers. The Gaussian integers, with ordinary addition and multiplication of complex numbers, form an integral domain, usually written as \mathbf /math> or \Z Gaussian integers share many properties with integers: they form a Euclidean domain, and have thus a Euclidean division and a Euclidean algorithm; this implies unique factorization and many related properties. However, Gaussian integers do not have a total ordering that respects arithmetic. Gaussian integers are algebraic integers and form the simplest ring of quadratic integers. Gaussian integers are named after the German mathematician Carl Friedrich Gauss. Basic definitions The Gaussian integers are the set :\mathbf \, \qquad \text i^2 = -1. In other words, a Gaussian integer is a complex number such that its real and imaginary parts are both integers. Since the Gaussian integers are closed under addition and multip ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Dirichlet's Theorem On Primes
In number theory, Dirichlet's theorem, also called the Dirichlet prime number theorem, states that for any two positive coprime integers ''a'' and ''d'', there are infinitely many primes of the form ''a'' + ''nd'', where ''n'' is also a positive integer. In other words, there are infinitely many primes that are congruent to ''a'' modulo ''d''. The numbers of the form ''a'' + ''nd'' form an arithmetic progression :a,\ a+d,\ a+2d,\ a+3d,\ \dots,\ and Dirichlet's theorem states that this sequence contains infinitely many prime numbers. The theorem, named after Peter Gustav Lejeune Dirichlet, extends Euclid's theorem that there are infinitely many prime numbers. Stronger forms of Dirichlet's theorem state that for any such arithmetic progression, the sum of the reciprocals of the prime numbers in the progression diverges and that different such arithmetic progressions with the same modulus have approximately the same proportions of primes. Equivalently, the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Edmund Landau
Edmund Georg Hermann Landau (14 February 1877 – 19 February 1938) was a German mathematician who worked in the fields of number theory and complex analysis. Biography Edmund Landau was born to a Jewish family in Berlin. His father was Leopold Landau, a gynecologist and his mother was Johanna Jacoby. Landau studied mathematics at the University of Berlin, receiving his doctorate in 1899 and his habilitation (the post-doctoral qualification required to teach in German universities) in 1901. His doctoral thesis was 14 pages long. In 1895, his paper on scoring chess tournaments is the earliest use of eigenvector centrality. Landau taught at the University of Berlin from 1899 to 1909, after which he held a chair at the University of Göttingen. He married Marianne Ehrlich, the daughter of the Nobel Prize-winning biologist Paul Ehrlich, in 1905. At the 1912 International Congress of Mathematicians Landau listed four problems in number theory about primes that he said were part ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Logarithmic Derivative
In mathematics, specifically in calculus and complex analysis, the logarithmic derivative of a function ''f'' is defined by the formula \frac where f' is the derivative of ''f''. Intuitively, this is the infinitesimal relative change in ''f''; that is, the infinitesimal absolute change in ''f,'' namely f', scaled by the current value of ''f.'' When ''f'' is a function ''f''(''x'') of a real variable ''x'', and takes real, strictly positive values, this is equal to the derivative of ln(''f''), or the natural logarithm of ''f''. This follows directly from the chain rule: \frac\ln f(x) = \frac \frac Basic properties Many properties of the real logarithm also apply to the logarithmic derivative, even when the function does ''not'' take values in the positive reals. For example, since the logarithm of a product is the sum of the logarithms of the factors, we have (\log uv)' = (\log u + \log v)' = (\log u)' + (\log v)' . So for positive-real-valued functions, the logarithmic d ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Dedekind Zeta-function
In mathematics, the Dedekind zeta function of an algebraic number field ''K'', generally denoted ζ''K''(''s''), is a generalization of the Riemann zeta function (which is obtained in the case where ''K'' is the field of rational numbers Q). It can be defined as a Dirichlet series, it has an Euler product expansion, it satisfies a functional equation, it has an analytic continuation to a meromorphic function on the complex plane C with only a simple pole at ''s'' = 1, and its values encode arithmetic data of ''K''. The extended Riemann hypothesis states that if ''ζ''''K''(''s'') = 0 and 0  1. In the case ''K'' = Q, this definition reduces to that of the Riemann zeta function. Euler product The Dedekind zeta function of K has an Euler product which is a product over all the prime ideals \mathfrak of \mathcal_K :\zeta_K (s) = \prod_ \frac,\text(s)>1. This is the expression in analytic terms of the uniqueness of prime factorization of ideal ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Logarithmic Integral Function
In mathematics, the logarithmic integral function or integral logarithm li(''x'') is a special function. It is relevant in problems of physics and has number theoretic significance. In particular, according to the prime number theorem, it is a very good approximation to the prime-counting function, which is defined as the number of prime numbers less than or equal to a given value x. Integral representation The logarithmic integral has an integral representation defined for all positive real numbers  ≠ 1 by the definite integral : \operatorname(x) = \int_0^x \frac. Here, denotes the natural logarithm. The function has a singularity at , and the integral for is interpreted as a Cauchy principal value, : \operatorname(x) = \lim_ \left( \int_0^ \frac + \int_^x \frac \right). Offset logarithmic integral The offset logarithmic integral or Eulerian logarithmic integral is defined as : \operatorname(x) = \int_2^x \frac = \operatorname(x) - \operatorname(2). A ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]