Prove that the set of rational-valued, multiplicative arithmetical functions and the set of complex rational-valued, multiplicative arithmetical functions form isomorphic groups with the convolution operation f∘g defined by (f∘g)(n)=d∣n∑f(d)g(dn). (We call a complex number <spanclass=′latex−italic′>complexrational</span>, if its real and imaginary parts are both rational.)
B. Csakany functionreal analysisnumber theory proposednumber theory