Decomposition of integer-valued polynomial algebras (Q1748111): Difference between revisions

Let \(A\) be an algebra over a commutative domain \(D\), let \(K\) be the field of fractions of \(D\), and let \(B\) be the extension of \(A\) to a \(K\)-algebra. The authors study the relation between the set \[ \mathrm{Int}(A) = \{f\in B[X]:\;f(A)\subset A\} \] of integer-valued polynomials on \(A\) and \(\mathrm{Int}_K(A)=\mathrm{Int}(A)\cap K[X]\). Earlier [J. Pure Appl. Algebra 218, 1806--1891 (2014; Zbl. 1298.13018)] the second author called a free finitely generated \(D\)-algebra \(A=\bigoplus_i D\alpha_i\) to be \(\mathrm{Int}_K\)-decomposable if \(\mathrm{Int}(A)=\bigoplus_i \mathrm{Int}_K(A)\alpha_i\) holds, and described all such algebras in the case when \(D\) is a Dedekind domain with finite norm property. An earlier result of \textit{S. Frisch} (Theorem 7.2 in [J. Algebra 373, 414--425 (2013; Zbl. 1273.13037)] implies that the algebra of \(n\times n\) matrices over \(D\) has this property. Now the authors extend the definition of \(\mathrm{Int}_K\)-decomposability to torsion-free \(D\)-algebras satisfying \(A\cap K = D\), and call them to be \(\mathrm{Int}_K\)-decomposable if one has \[ \mathrm{Int}(A)\cong \mathrm{Int}_K(A)\otimes_D A. \] Assuming that \(D\) is a Dedekind domain with finite norm property they characterize \(\mathrm{Int}_K\)-decomposable algebras over \(D\) (Theorem 2.10), show that in this case one has \(\mathrm{Int}_K(A) = \mathrm{Int}(D)\) if and only if for all prime ideals \(P\) of \(D\) one has \[ A/PA\cong \bigoplus_{i=1}^t D/P \] for some \(t\), and present two new descriptions of \(\mathrm{Int}_K\)-decomposability (Theorems 3.6 and 4.10).