3 Multiplicative Functions 153For any two functionsf,g:N→C, we define theirsum f+g:N→Cin the
natural way:
(f+g)(n)=f(n)+g(n).It is obvious that addition is commutative and associative, and that the distributive law
holds:
f∗(g+h)=f∗g+f∗h.The functionδ:N→C,definedbyδ(n)=1 or 0 according asn=1orn> 1 ,acts as an identity element for Dirichlet multiplication:
δ∗f=f for everyf:N→C,since
δ∗f(n)=∑
d|nδ(d)f(n/d)=f(n).Thus the setAof all arithmetical functions is indeed a commutative ring.
For any function f :N→Cwhich is not identically zero, put|f|=v(f)−^1 ,
wherev(f)is the least positive integernsuch thatf(n)=0, and put|O|=0. Then
|f∗g|=|f||g|,|f+g|≤max(|f|,|g|) for allf,g∈A.Hence the ringA of all arithmetical functions is actually an integral domain. It is
readily shown that the set of allf∈Asuch that|f|<1 is an ideal, but not a prin-
cipal ideal. (AlthoughA is not a principal ideal domain, it may be shown that it is a
factorialdomain.)
The next result shows that the functionsf∈Asuch that|f|=1aretheunitsin
the ringA:
Lemma 25For any function f:N→C, there is a function f−^1 :N→Csuch that
f−^1 ∗ f =δif and only if f( 1 )= 0. The inverse f−^1 is uniquely determined and
f−^1 ( 1 )f( 1 )= 1.
Proof Supposeg:N→Chas the property thatg∗f=δ.Theng( 1 )f( 1 )=1. Thus
g( 1 )is non-zero and uniquely determined. Ifn>1, then
∑
d|ng(d)f(n/d)= 0.Hence
g(n)f( 1 )=−∑
d|n,d<ng(d)f(n/d).It follows by induction thatg(n)is uniquely determined for everyn∈N.Conversely,
ifgis defined inductively in this way, theng∗f=δ.