On additive and multiplicative arithmetical functions

Masood Aryapoor

DOI: https://doi.org/10.48550/arXiv.1106.5320

2011-06-27

Abstract:A characterization of multiplicative (and additive) arithmetical functions is given. Using this characterization, we show that the group of multiplicative arithmetical functions is isomorphic to the group of additive arithmetical functions.

Number Theory

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to prove that the set of multiplicative arithmetical functions and the set of additive arithmetical functions are isomorphic under their respective algebraic structures. Specifically:

1. **Multiplicative arithmetical functions**: These functions form an Abelian group under the Dirichlet product.
2. **Additive arithmetical functions**: These functions form an Abelian group under ordinary addition.

The core objective of the paper is to show that these two groups are isomorphic. To achieve this goal, the author uses some operations defined on arithmetical functions, especially those defined in reference [3].

### Main steps and conclusions

- **Lemma 3.2** provides characterizations of multiplicative and additive arithmetical functions:
- An arithmetical function \(a\) is multiplicative if and only if it can be represented as an infinite product of certain formal power series.
- An arithmetical function \(a\) is additive if and only if it can be represented as the convolution of the unit function \(u\) and an infinite sum of certain formal power series.

- **Proposition 3.3** further states that an arithmetical function \(a\) is additive if and only if for every natural number \(n\), if \(n\) is not a power of some prime number, then \(\mu\star a(n) = 0\).

- **Theorem 4.1** is the key result of the paper, which proves that the mapping \(\Psi: I + M\rightarrow M\), defined as \(\Psi(a)=u\star\log(a)\), is a group isomorphism. Moreover, \(a\) is multiplicative if and only if \(\Psi(a)\) is additive. Therefore, \(\Psi: M\rightarrow A\) is also a group isomorphism.

Through these steps, the author successfully shows the isomorphic relationship between the group of multiplicative arithmetical functions and the group of additive arithmetical functions.

### Formula summary

- **Dirichlet convolution**:
\[
(a\star b)(n)=\sum_{d|n}a(d)b\left(\frac{n}{d}\right)
\]

- **Logarithm and exponential operations**:
\[
\log(a)=\sum_{n = 1}^{\infty}\frac{(-1)^{n - 1}}{n}(a - I)^{*n}
\]
\[
\exp(a)=I+\sum_{n = 1}^{\infty}\frac{a^{*n}}{n!}
\]

- **Mapping \(\Psi\)**:
\[
\Psi(a)=u\star\log(a)
\]

These formulas and theorems together form the core content of the paper, showing the profound connection between multiplicative and additive arithmetical functions.