Abstract analytic number theory |
Abstract analytic number theory is a branch of mathematics which takes the ideas and techniques of classical analytic number theory and applies them to a variety of different mathematical fields. The classical prime number theorem serves as a prototypical example, and the emphasis is on abstract asymptotic analysis. The theory was invented and developed by John Knopfmacher in the early 1970s.
= Arithmetical semigroups =
The fundamental notion involved is that of an arithmetical semigroup , which is a commutative monoid G satisfying the following properties:
*There exists a countable subset (finite or countably infinite) P of G , such that every element a ≠ 1 in G has a unique factorisation of the form
::a = p_1^{alpha_1} p_2^{alpha_2} cdots p_r^{alpha_r}
:where the p i are distinct elements of P , the α i are positive integers, r may depend on a , and two factorisations are considered the same if they differ only by the order of the factors indicated. The elements of P are called the primes of G .
*There exists a real number-valued norm mapping |mbox{ }| on G such that :#|1| = 1 :#|p| > 1 mbox{ for all } p in P :#|ab| = |a| |b| mbox{ for all } a,b in G :#The total number N_G(x) of elements a in G of norm |a| leq x is finite, for each real x > 0.
= Examples =
*The prototypical example of an arithmetical semigroup is the multiplicative semigroup of negative and positive numbers integers G = Z+ = {1, 2, 3, ...}, with subset of rational prime numbers P = {2, 3, 5, ...}. Here, the norm of an integer is simply |n| = n, so that N_G(x) = lfloor x floor, the floor function not exceeding x . *If K is an algebraic number field, i.e. a finite extension of the field (mathematics) of rational numbers Q, then the set G of all nonzero ideal (ring theory)s in the ring (mathematics) of integers O K of K forms an arithmetical semigroup with identity element O K and the norm of an ideal I is given by the cardinality of the quotient ring O K / I . In this case, the appropriate generalisation of the prime number theorem is the Edmund Landau prime ideal theorem , (not to be confused with the Boolean prime ideal theorem) which describes the asymptotic distribution of the ideals in O K . *Various arithmetical categories which satisfy a theorem of Krull-Schmidt type can be considered. In all these cases, the elements of G are isomorphism classes in an appropriate category (category theory), and P consists of all isomorphism classes of indecomposable objects, i.e. objects which cannot be decomposed as a direct product of nonzero objects. Some typical examples are the following. **The category of all finite abelian groups under the usual direct product operation and norm mapping |A| = mbox{ card}(A). The indecomposable objects are the cyclic groups of prime power order. **The category of all compact space simply-connected globally symmetric Riemannian manifolds under the Riemannian product of manifolds and norm mapping |M| = c^{mbox{dim }M}, where c > 1 is fixed, and dim M denotes the manifold dimension of M . The indecomposable objects are the compact simply-connected irreducible symmetric spaces. **The category of all pseudometric space finite topological spaces under the disjoint union (topology) and norm mapping |X| = 2^{mbox{card}(X)}. The indecomposable objects are the connected space spaces.
= Methods and techniques =
The use of arithmetic functions and zeta functions is extensive. The idea is to extend the various arguments and techniques of arithmetic functions and zeta functions in classical analytic number theory to the context of an arbitrary arithmetical semigroup which may satisfy one or more additional axioms. Such a typical axiom is the following, usually called Axiom A in the literature:
For any arithmetical semigroup which satisfies Axiom A , we have the following abstract prime number theorem :
:pi_G(x) sim frac{x^{delta}}{delta log x} mbox { as } x ightarrow infin
where π G ( x ) = total number of elements p in P of norm | p | ≤ x .
The notion of arithmetical formation provides a generalisation of the ideal class group in algebraic number theory and allows for abstract asymptotic distribution results under constraints. In the case of number fields, for example, this is Chebotarev s density theorem.
= Reference =
|
|