154 (number)

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 distribution results. The theory was invented and developed by John Knopfmacher in the early 1970s.

Arithmetic semigroups

The fundamental notion involved is that of an arithmetic 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-valued norm mapping $|{\mbox{ }}|$ on G such that
  1. $|1|=1$
  2. $|p|>1{\mbox{ for all }}p\in P$
  3. $|ab|=|a||b|{\mbox{ for all }}a,b\in G$
  4. The total number $N_{G}(x)$ of elements $a\in G$ of norm $|a|\leq x$ is finite, for each real $x>0$.

Additive number systems

Name: Jodi Junker
My age: 32
Country: Netherlands
Home town: Oudkarspel
Post code: 1724 Xg
Street: Waterlelie 22

my page - www.hostgator1centcoupon.info An additive number system is an arithmetic semigroup in which the underlying monoid G is free abelian. The norm function may be written additively.

If the norm is integer-valued, we associate counting functions a(n) and p(n) with G where p counts the number of elements of P of norm n, and a counts the number of elements of G of norm n. We let A(x) and P(x) be the corresponding formal power series. We have the fundamental identity

$A(x)=\sum _{n}a(n)x^{n}=\prod _{n}(1-x^{n})^{-p(n)}\$

which formally encodes the unique expression of each element of G as a product of elements of P. The radius of convergence of G is the radius of convergence of the power series A(x).

The fundamental identity has the alternative form

$A(x)=\exp \left({\sum _{m\geq 1}{\frac {P(x^{m})}{m}}}\right)\ .$

Examples

• The prototypical example of an arithmetic semigroup is the multiplicative semigroup of positive integers G = Z⁺ = {1, 2, 3, ...}, with subset of rational primes P = {2, 3, 5, ...}. Here, the norm of an integer is simply $|n|=n$, so that $N_{G}(x)=\lfloor x\rfloor$, the greatest integer not exceeding x.
• If K is an algebraic number field, i.e. a finite extension of the field of rational numbers Q, then the set G of all nonzero ideals in the ring of integers O_K of K forms an arithmetic 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 Landau 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, 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 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 pseudometrisable finite topological spaces under the topological sum and norm mapping $|X|=2^{{\mbox{card}}(X)}$. The indecomposable objects are the connected 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 arithmetic semigroup which may satisfy one or more additional axioms. Such a typical axiom is the following, usually called "Axiom A" in the literature:

• Axiom A. There exist positive constants A and $\delta$, and a constant $\nu$ with $0\leq \nu <\delta$, such that $N_{G}(x)=Ax^{\delta }+O(x^{\nu }){\mbox{ as }}x\rightarrow \infty .$

For any arithmetic 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\rightarrow \infty$

where π_G(x) = total number of elements p in P of norm |p| ≤ x.

Arithmetical formation

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. An arithmetical formation is an arithmetic semigroup G with an equivalence relation ≡ such that the quotient G/≡ is a finite abelian group A. This quotient is the class group of the formation and the equivalence classes are generalised arithmetic progressions or generalised ideal classes. If χ is a character of A then we can define a Dirichlet series

$\sum _{g\in G}\chi ([g])|g|^{-s}$

which provides a notion of zeta function for arithmetical semigroup.

See also

• Axiom A, a property of dynamical systems
• Beurling zeta function

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534