PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] completely multiplicative functions whose convolution inverses are completely multiplicative (Corollary)
Proof. Let $f$ be a completely multiplicative function whose convolution inverse is completely multiplicative. By this entry, $f\mu$ is the convolution inverse of $f$ where $\mu$ denotes the Möbius function. Thus, $f\mu$ is completely multiplicative.

Let $p$ be any prime. Then

$\begin{array}{rl} (f(p))^2 & =(f(p))^2(-1)^2 \\ \\ & =(f(p))^2(\mu(p))^2 \\ \\ & =(f(p)\mu(p))^2 \\ \\ & =f(p^2)\mu(p^2) \\ \\ & =f(p^2) \cdot 0 \\ \\ & =0. \end{array}$

Thus, $f(p)=0$ for every prime $p$ Since $f$ is completely multiplicative,

$$f(n)=\begin{cases} 1 & \text{if } n=1 \\ 0 & \text{if } n\neq 1. \end{cases}$$

Hence, $f=\varepsilon$ $ \qedsymbol$




"completely multiplicative functions whose convolution inverses are completely multiplicative" is owned by Wkbj79.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: prime, Möbius function, convolution identity function, completely multiplicative, convolution inverse, completely multiplicative function

This is version 1 of completely multiplicative functions whose convolution inverses are completely multiplicative, born on 2007-04-14.
Object id is 9182, canonical name is CompletelyMultiplicativeFunctionsWhoseConvolutionInversesAreCompletelyMultiplicative.
Accessed 715 times total.

Classification:
AMS MSC11A25 (Number theory :: Elementary number theory :: Arithmetic functions; related numbers; inversion formulas)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)