Logarithmic density and measures on semigroups (Q1911861)

A set \(A\subseteq\mathbb{N}\) is said to be a multiplicative ideal provided that together with \(a\in A\), it contains also the number \(an\) \((n\in\mathbb{N})\). It is well-known that every multiplicative ideal has logarithmic density [cf. \textit{H. Davenport} and \textit{P. Erdös}, Acta Arith. 2, 147-151 (1936; Zbl 0015.10001)]. The author has extended this result to structures (so called quasi-ideals) \(A\) such that from \(a\), \(b\in A\), \(an\in A\), it follows that \(bn\in A\) [cf. the author, Acta. Arith. 42, 79-90 (1982; Zbl 0495.10034)]. In this paper a new proof of this result is given. The proof is based on a result on convolution of measures on discrete semigroups.