Arithmetic convolution rings. (Q2901414)

The arithmetic convolution type \(\mathcal T\), with \(X\) and \(\sigma\) the parameters of the convolution type, is a pair \(\mathcal T=(X,\sigma)\), where \(X\) is a nonempty set of integers, called the index set, and for every \(x\in X\), \(\sigma(x)\) is a nonempty and finite subset of \(X\times X\), called the convolution rule, such that \((s,t)\in\sigma(x)\) if and only if \((t,s)\in\sigma(x)\). Let \(A\) be a ring and let \(C(A,\mathcal T)=\{f\mid f\colon X\to A\text{ a function}\}\). On the set \(C(A,\mathcal T)\) the author defines two operations, componentwise addition and convolution product, respectively, by: For \(f,g\in C(A,\mathcal T)\) and \(x\in X\), let \((f+g)(x)=f(x)+g(x)\) and let \((fg)(x)=\sum_{(s,t)\in\sigma(x)}f(s)g(t)\). To ensure associativity, the author assumes that for all \(x\in X\), \((s,t)\in\sigma(x)\) and \((p,q)\in\sigma(s)\), there exists a unique \(v\in X\) with \((p,v)\in\sigma(x)\) and \((q,t)\in\sigma(v)\). Then \(C(A,\mathcal T)\) is a ring, called the arithmetic convolution ring of type \(\mathcal T\) over \(A\).NEWLINENEWLINE In this paper the author studies arithmetic convolution rings placing emphasis on factorization and related properties in such rings. In particular, he discusses the existence or not of zero divisors and units in such arithmetic convolution rings and shows some interaction between prime and irreducible elements in an integral domain \(A\) and \(C(A,\mathcal T)\) for some arithmetic convolution type \(\mathcal T\) called well-behaved. Also, the author gives conditions on the parameters of the convolution type \(\mathcal T\) which assure that for an integral domain \(A\), the arithmetic convolution ring \(C(A,\mathcal T)\) is a principal ideal domain or Noetherian or a unique factorization domain.