Multiplicative function ($f(1)=1,f(mn)=f(m)f(n)\text{if }\gcd (m,n)=1$)

An arithmetic function $f$ is a multiplicative function when $f(1)=1$ and $f(mn)=f(m)f(n)$ for all coprime integers $m,n>0$, meaning their greatest common divisor is $1$. The condition $f(1)=1$ excludes the identically zero function. This definition makes no assertion about a pair whose greatest common divisor exceeds $1$. ^[ref]

For the divisor function, the integer divisors of $2$ are $1,2$, those of $3$ are $1,3$, and those of $6$ are $1,2,3,6$. HenceHere $2$ and $3$ are coprime integers. In contrast, $\tau (4)=3\ne 4=\tau (2{)}^2$, because the integer divisors of $4$ are $1,2,4$. Thus the divisor function is a multiplicative function but not a completely multiplicative function.

The practical gain is that prime factorization reduces all values to values at prime powers. For distinct prime numbers $p_1,\dots ,p_r$ and positive exponents $a_1,\dots ,a_r$,For instance, $f(12)=f(4)f(3)$ since $4$ and $3$ are coprime integers; replacing $f(4)$ by $f(2{)}^2$ additionally requires a completely multiplicative function. The short proof repeatedly applies the defining rule to prime powers belonging to different prime numbers, which are coprime integers.

For an arithmetic function, multiplicativity means $f(1)=1$ and $f(mn)=f(m)f(n)$ whenever $m,n$ are positive coprime integers. It allows values of an arithmetic function to be assembled from its values on prime powers, as explained under multiplicative function.

An arithmetic function $f$ is a completely multiplicative function when $f(1)=1$ and $f(mn)=f(m)f(n)$ for every pair of positive integers $m,n$. In particular $f(p^a)=f(p{)}^a$ for every prime number $p$ and every nonnegative exponent $a$. Both the constant-one arithmetic function and the identity arithmetic function are completely multiplicative functions: $1(mn)=1=1\cdot 1$ and $\mathrm{id}(mn)=mn=\mathrm{id}(m)\mathrm{id}(n)$. The divisor function fails this stronger condition at $m=n=2$.

The divisor sum of an arithmetic function $f$ assigns to each positive integer $n$ the sumOnly positive integer divisors are included, so $F(1)=f(1)$. The weights $f(d)$ can count the integer divisors, measure their sizes, or record other arithmetic information: the constant-one arithmetic function gives the divisor function, whereas the identity arithmetic function gives the sum-of-divisors function.

Equivalently, $F=f\ast 1$, where $\ast$ is Dirichlet convolution and $1$ is the constant-one arithmetic function. If $f$ is a multiplicative function, then $F$ is a multiplicative function by Multiplicativity of Dirichlet convolution. ^[ref]

Here is the mechanism. For positive coprime integers $m,n$, every positive integer divisor of $mn$ has a unique form $ab$ with $a\mid m$ and $b\mid n$; moreover, $a,b$ are coprime integers. Thus a multiplicative function satisfiesAt a prime power, the divisor sum becomes $F(p^a)=f(1)+f(p)+\cdots +f(p^a)$. This turns a calculation over many integer divisors into short local calculations at prime powers.

The sum-of-divisors function adds all positive integer divisors of a positive integer, including the number itself:It is the divisor sum of the identity arithmetic function $\mathrm{id}(n)=n$, so $\sigma =\mathrm{id}\ast 1$ under Dirichlet convolution. Both factors are multiplicative functions, hence so is the sum-of-divisors function. The notation ${\sigma }_1$ distinguishes it from other weighted divisor sums. ^[ref]

For a prime number $p$ and a nonnegative exponent $a$, the positive integer divisors of the prime power $p^a$ are precisely $1,p,\dots ,p^a$. Their finite geometric series givesFor example, $\sigma (8)=1+2+4+8=15=(2^4-1)/(2-1)$. For a prime factorization $n={\prod }_{k=1}^r{p}_k^{a_k}$ with distinct prime numbers $p_k$ and positive exponents $a_k$, multiplicativity givesFor $n=1$, this is an empty product, equal to $1$. ^[ref]

The distributive property makes the formula especially beautiful: choosing one term from each factor produces each positive integer divisor exactly once, by the fundamental theorem of arithmetic. For $12=4\cdot 3=2^2\cdot 3$, the choices form a three-by-two grid with entries $2^i{3}^j$, where $0\le i\le 2$ and $0\le j\le 1$. Adding its rows givesThe divisor function counts six cells; the sum-of-divisors function adds their six values. Once the prime factorization is known, the product formula avoids testing every candidate integer divisor. Shared prime factors require care: $\sigma (4)=7\ne 9=\sigma (2{)}^2$, so the sum-of-divisors function is not a completely multiplicative function.

Subtracting the number itself gives the proper-divisor sum $s(n)=\sigma (n)-n$. Comparing $s(n)$ with $n$ distinguishes perfect numbers, deficient numbers, and abundant numbers. For $6$, $s(6)=1+2+3=6$; for $28$, $s(28)=1+2+4+7+14=28$. Both are perfect numbers. The calculation $s(8)=1+2+4=7<8$ makes $8$ a deficient number, while $s(12)=1+2+3+4+6=16>12$ makes $12$ an abundant number. These comparisons turn the sizes of integer divisors into a classification of positive integers. ^[ref]

This connection is ancient: Euclid's Elements, Book IX, Proposition 36, constructs a perfect number by multiplying the last term of $1,2,\dots ,2^{k-1}$ by their sum, when that sum is a prime number. In modern notation, put $q=2^k-1$ and $N=2^{k-1}q$, with $k\ge 2$ and $q$ a prime number. The sum-of-divisors function proves the construction immediately:Consequently the proper-divisor sum is $s(N)=N$. Taking $k=2,3$ produces the perfect numbers $6,28$. ^[ref]

The proper-divisor sum, or aliquot sum, adds the positive proper divisors:In particular $s(1)=0$, an empty sum. Removing $n$ from the sum-of-divisors function is essential: $\sigma (6)=12$, but its proper-divisor sum is $6$.

For multiplicative functions bounded by one, the pretentious distance up to $x$ is defined byIt measures how similarly $f$ and $g$ behave on primes.

Let $X\ge 3$, and let $f$ be a normalized multiplicative arithmetic function supported on squarefree integers, with $|f(p)|\le 1$. Form the finite measure $\nu ={\sum }_{n}f(n)n^{-1-1/\log X}{\delta }_{\log n}$ using Dirac measures. Under the transform convention $\hat{\nu }(t)=\int e^{-itu}d\nu (u)$, its Euler product is ${\prod }_p(1+f(p)p^{-1-1/\log X-it})$. Expanding its logarithmic modulus, and replacing the damped prime weights by $1/p$ up to $X$ with Mertens first theorem, gives the displayed absolute bound, uniformly in real $t$. Hence $|\hat{\nu }(t)|\ge \delta \log X$ forces $D(f,n^{it};X{)}^2\le \log (C/\delta )$. The distance expression still defines a nonnegative pretentious score for prime values bounded by one; its actual metric interpretation uses unit-modulus values.

Because $\mu (p)=-1$, the squared pretentious distance from one to the Möbius function is twice the reciprocal-prime sum. The Mertens second theorem therefore gives $D(1,\mu ;X{)}^2=2\log \log X+2B_1+o(1)$. In particular the distance diverges, illustrating that a multiplicative function can be far from the constant function even though both have unit-modulus prime values.

For unit-modulus prime values, pretentious distance is the Euclidean metric on the finite vectors $(f(p)/\sqrt{2p}{)}_{p\le X}$. On whole arithmetic functions it is only a pseudometric: it sees neither values on prime powers nor primes above the cutoff. Even for every cutoff, the functions one and ${\mu }^2$ have distance zero but differ on nonsquarefree integers. The norm representation proves the triangle inequality and identifies exactly the quotient on which separation holds.

The pretentious distance obeys

An Archimedean character on the positive integers is the completely multiplicative function $n\mapsto n^{it}$ for a real parameter $t$.

Halász's theorem bounds the mean of a bounded multiplicative arithmetic function in terms of its least pretentious distance from an Archimedean character. A large mean can occur only when this distance is small.

The Möbius function stays far in pretentious distance from every Archimedean character. One useful uniform form isThis follows by estimating the prime sum ${\sum }_{p\le x}(1+\cos (t\log p))/p$.