Integer-valued polynomials over matrices and divided differences

Let $D$ be an integrally closed domain with quotient field $K$ and $n$ a positive integer. We give a characterization of the polynomials in $K[X]$ which are integer-valued over the set of matrices $M_n(D)$ in terms of their divided differences. A necessary and sufficient condition on $f\in K[X]$ to be integer-valued over $M_n(D)$ is that, for each $k$ less than $n$ , the $k$ th divided difference of $f$ is integral-valued on every subset of the roots of any monic polynomial over $D$ of degree $n$ . If in addition $D$ has zero Jacobson radical then it is sufficient to check the above conditions on subsets of the roots of monic irreducible polynomials of degree $n$ , that is, conjugate integral elements of degree $n$ over $D$ .     

Note on ideal-transforms, Rees rings, and Krull rings

Let I be an ideal in a Noetherian ring R and let T(I) be the ideal-transform of R with respect to I. Several necessary and sufficient conditions are given for T(I) to be Noetherian for a height one ideal I in an important class of altitude two local domains, and some specific examples are given to show that the integral closure T(I)′ and the complete integral closure T(I)″ of T(I) may differ, even when R is an altitude two Cohen-Macaulay local domain whose integral closure is a regular domain and a finite R-module. It is then shown that T(I)″ is always a Krull ring, and if the integral closure of R is a finite R-module, then T(I)′ is contained in a finite T(I)-module. Finally, these last two results are applied to certain symbolic Rees rings.     

Krull property of generalized power series rings

Let D be an integral domain and let $(S,\le )$ be a torsion-free, ≤-cancellative, subtotally ordered monoid. We show that the generalized power series ring $?D^{S,\le }?$ is a Krull domain if and only if D is a Krull domain and S is a Krull monoid.     

Krull dimension of modules over involution rings. II

Let be a ring with involution and invertible 2, and let be the subring of generated by the symmetric elements in . The following questions of Lanski are answered positively:

(i)

Must have Krull dimension when does?

(ii)

Is every Artinian -module Artinian as an -module?

     

Finiteness conditions in Krull subrings of a ring of polynomials

LetR be a Krull subring of a ring of polynomialsk[x ₁, …, x_n] over a fieldk. We prove that ifR is generated by monomials overk thenr is affine. We also construct an example of a non-affine Krull ringR, such thatk[x, xy]⊂R⊂k[x, y], and a non-Noetherian Krull ringS, such thatk[x, xy, z]⊂S⊂k[x, y, z].     

Gorenstein rings and inverse polynomials

We characterize left perfect rings using locally, finitely projective and flat covers, thus answering a question of Xue in the positive.