Vipul at 23:19, 6 May 2009

2009-05-06T23:19:43Z

@@ Line 46: / Line 46: @@
 ==Properties==
 ===Completely multiplicative function===
@@ Line 62: / Line 66: @@
 The pointwise product of multiplicative functions is multiplicative, and the Dirichlet product of multiplicative functions is multiplicative. However, a composition of multiplicative functions, even when it makes sense, need not be multiplicative. This is because <math>m</math> and <math>n</math> being relatively prime does not imply <math>f(m)</math> and <math>f(n)</math> are relatively prime.

Vipul: Created page with '==Definition== An '''arithmetic function''' is a function from the set $\mathbb{N}$ of natural numbers to a commutative unital ring, i.e., a commutative ring ...'

2009-05-02T19:20:16Z

Created page with '==Definition== An '''arithmetic function''' is a function from the set <math>\mathbb{N}</math> of natural numbers to a commutative unital ring, i.e., a commutative ring ...'

New page

==Definition==

An '''arithmetic function''' is a function from the set <math>\mathbb{N}</math> of [[natural number]]s to a [[commutative unital ring]], i.e., a commutative ring with <math>1</math>.

Typically, arithmetic functions are to the ring of integers <math>\mathbb{Z}</math>, though they are sometimes to bigger rings such as the field <math>\mathbb{Q}</math> of rational numbers or to the field <math>\mathbb{R}</math> of real numbers.

==Structure==

===Dirichlet product===

{{further|[[Dirichlet product]]}}

The Dirichlet product of two arithmetic functions <math>f,g</math> is defined as:

<math>(f * g)(n) = \sum_{d | n} f(d)g(n/d)</math>.

The Dirichlet product is a commutative and associative operation, and any function such that <math>f(1)</math> is a unit is a unit with respect to the Dirichlet product function. The identity for the Dirichlet product is the function <math>I</math> that is the indicator function of <math>1</math>: it sends <math>1</math> to <math>1</math>, and everything else to <math>0</math>.

The [[multiplicative function]]s form a subgroup of the group of invertible Dirichlet functions.

===Pointwise product===

Given two arithmetic functions, we can take the pointwise product of these functions. This is defined as:

<math>(f \cdot g)(n) = f(n)g(n)</math>.

Pointwise product is commutative and associative on arithmetic functions. The identity for pointwise product is the [[all ones function]] <math>U</math>, i.e., the function that sends every natural number to <math>1</math>. A function is invertible with respect to the pointwise product if and only if the value it takes at every natural number is invertible.

===Composition===

Composition of arithmetic functions does ''not'' in general make sense, because arithmetic functions take value, not in the natural numbers, but in an arbitrary commutative unital ring. However, in some cases, the commutative unital ring has characteristic zero, and hence contains a copy of the natural numbers. Further, some arithmetic functions take only positive integer values. In this case, we can compose two such arithmetic functions.

The identity element for composition is the [[identity function]], typically denoted <math>E</math>. This function sends every natural number to itself.

==Dirichlet series==

{{further|[[Dirichlet series]]}}

For an arithmetic function <math>f</math> to a field of characteristic zero, the corresponding Dirichlet series is the formal sum:

<math>\sum_{n \in \mathbb{N}} \frac{f(n)}{n^s}</math>.

The Dirichlet series behaves particularly well with respect to Dirichlet products: the series for the Dirichlet product of two arithmetic functions is the same as the ''product'' of their Dirichlet series.

The Dirichlet series also has alternative, more compact, expressions for [[multiplicative function]]s and [[completely multiplicative function]]s.

==Properties==

===Completely multiplicative function===

{{further|[[Completely multiplicative function]]}}

A completely multiplicative function can be thought of as an arithmetic function that is a unital homomorphism from the monoid of natural numbers to the multiplicative monoid of the commutative unital ring. More explicitly, it is a function <math>f</math> such that <math>f(1) = 1</math> and <math>f(mn) = f(m)f(n)</math> for natural numbers <math>m</math> and <math>n</math>.

The pointwise product of completely multiplicative functions is completely multiplicative. A composition of completely multiplicative functions is also completely multiplicative, when it makes sense. However, a Dirichlet product of completely multiplicative functions need not be completely multiplicative.

===Multiplicative function===

{{further|[[Multiplicative function]]}}

An arithmetic function <math>f</math> is termed multiplicative if <math>f(1) = 1</math> and, whenever <math>m</math> and <math>n</math> are relatively prime, <math>f(mn) = f(m)f(n)</math>. Any completely multiplicative function is multiplicative, but the converse is not true.

The pointwise product of multiplicative functions is multiplicative, and the Dirichlet product of multiplicative functions is multiplicative. However, a composition of multiplicative functions, even when it makes sense, need not be multiplicative. This is because <math>m</math> and <math>n</math> being relatively prime does not imply <math>f(m)</math> and <math>f(n)</math> are relatively prime.

Arithmetic function - Revision history

Vipul at 23:19, 6 May 2009

Vipul: Created page with '==Definition== An '''arithmetic function''' is a function from the set \mathbb{N} of natural numbers to a commutative unital ring, i.e., a commutative ring ...'

Vipul: Created page with '==Definition== An '''arithmetic function''' is a function from the set $\mathbb{N}$ of natural numbers to a commutative unital ring, i.e., a commutative ring ...'