No label defined (Q4371256)

Let \(A(n)\) be a non-empty set of divisors of \(n\), and denote by \(F\) the set of all arithmetic functions. If \(f,g\in F\), their \(A\)-convolution \(f*_Ag\) is defined by \(f*_Ag(n)=\sum f(d)g(n/d)\), where the summation is taken over all \(d\) belonging to \(A(n)\). The convolution is said to be regular if the following conditions are satisfied: (i) \(F(+,*_A)\) is a commutative ring with unity, (ii) if \(f\) and \(g\) are multiplicative, then \(f*_Ag\) is multiplicative, (iii) the function \(\zeta\) defined by \(\zeta(n)=1\) for all \(n\in\mathbb N\) has an inverse \(\mu_A\) with respect to \(A\)-convolution, and \(\mu_A(n)=0\) or \(-1\) if \(n\) is a prime power. An arithmetic function \(f\in F\) is called \(A\)-additive if for each positive integer \(n\), \(f(d)+f(n/d)=f(n)\) holds for all \(d\in A(n)\). The author studies some special aspects of regular convolutions. For example, the author proves the following theorem. For \(f\in F\) the following statements are equivalent: (i) \(f\) is \(A\)-additive; (ii) \(f(g*_Ah)=fg*_Ah+g*_Afh\) for all \(g,h\in F\); (iii) \(f(g*_Ag)=2(fg*_Ag)\) for all \(g\in F\); (iv) \(f\tau_A=2(f*_A\zeta)\), where \(\tau_A(n)\) is the cardinality of \(A(n)\).