A general theory of convolution product
in my childhood, I learned about convolution products for function over R (1). For quite a while now, I have played with polynomial rings, where also, the product is sometime called a convolution product (2). I am now discovering convolution products for arithmetic function and multiplicative functions [Apostol, Introduction to Analytic Number Theory] (3).
In case (1), the domain is R, an ordered abelian group. In case (2), seeing a ring of polynomial as a group ring Z⟨G⟩, the domain is an abelain group, without ordering. In case (3), the domain seems to be the monoid , with an ordered by the divisibilty relation.
I don't have anything very formal, but it seems to me that there should be a general theory of convolution I don't know yet about ? Is the monoid structure the most general domain, or maybe something less structured as an acyclic graph ? Would you have lectures notes on such a theory ?