## You are here

Homeformula for the convolution inverse of a completely multiplicative function

## Primary tabs

# formula for the convolution inverse of a completely multiplicative function

###### Corollary 1.

If $f$ is a completely multiplicative function, then its convolution inverse is $f\mu$, where $\mu$ denotes the Möbius function.

###### Proof.

Recall the Möbius inversion formula $1*\mu=\varepsilon$, where $\varepsilon$ denotes the convolution identity function. Thus, $f(1*\mu)=f\varepsilon$. Since pointwise multiplication of a completely multiplicative function distributes over convolution, $(f\cdot 1)*(f\mu)=f\varepsilon$. Note that, for all natural numbers $n$, $f(n)1(n)=f(n)\cdot 1=f(n)$ and $f(n)\varepsilon(n)=\varepsilon(n)$. Thus, $f*(f\mu)=\varepsilon$. It follows that $f\mu$ is the convolution inverse of $f$. ∎

Related:

CriterionForAMultiplicativeFunctionToBeCompletelyMultiplicative

Major Section:

Reference

Type of Math Object:

Corollary

Parent:

## Mathematics Subject Classification

11A25*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections