Integral closure of rings of integer-valued polynomials on algebras

Let $D$ be an integrally closed domain with quotient field $K$. Let $A$ be a torsion-free $D$-algebra that is finitely generated as a $D$-module. For every $a$ in $A$ we consider its minimal polynomial $\mu_a(X)\in D[X]$, i.e. the monic polynomial of least degree such that $\mu_a(a)=0$. The ring ${\rm Int}_K(A)$ consists of polynomials in $K[X]$ that send elements of $A$ back to $A$ under evaluation. If $D$ has finite residue rings, we show that the integral closure of ${\rm Int}_K(A)$ is the ring of polynomials in $K[X]$ which map the roots in an algebraic closure of $K$ of all the $\mu_a(X)$, $a\in A$, into elements that are integral over $D$. The result is obtained by identifying $A$ with a $D$-subalgebra of the matrix algebra $M_n(K)$ for some $n$ and then considering polynomials which map a matrix to a matrix integral over $D$. We also obtain information about polynomially dense subsets of these rings of polynomials.Comment: Keywords: Integer-valued polynomial, matrix, triangular matrix, integral closure, pullback, polynomially dense set. accepted for publication in the volume "Commutative rings, integer-valued polynomials and polynomial functions", M. Fontana, S. Frisch and S. Glaz (editors), Springer 201

Polynomial functions on non-commutative rings - a link between ringsets and null-ideal sets

Regarding polynomial functions on a subset $S$ of a non-commutative ring $R$, that is, functions induced by polynomials in $R[x]$ (whose variable commutes with the coefficients), we show connections between, on one hand, sets $S$ such that the integer-valued polynomials on $S$ form a ring, and, on the other hand, sets $S$ such that the set of polynomials in $R[x]$ that are zero on $S$ is an ideal of $R[x]$.Comment: 9 pages, conference paper for "advances in algebra ..." at Ton Duc Thang University, Vietnam, Dec 18-20, 201

Basic Module Theory over Non-Commutative Rings with Computational Aspects of Operator Algebras

The present text surveys some relevant situations and results where basic Module Theory interacts with computational aspects of operator algebras. We tried to keep a balance between constructive and algebraic aspects.Comment: To appear in the Proceedings of the AADIOS 2012 conference, to be published in Lecture Notes in Computer Scienc

Sylow pp-groups of polynomial permutations on the integers mod pnp^n

We describe the Sylow $p$-groups of the group of polynomial permutations of the integers mod $p^n$

On Linear Difference Equations over Rings and Modules

In this note we develop a coalgebraic approach to the study of solutions of linear difference equations over modules and rings. Some known results about linearly recursive sequences over base fields are generalized to linearly (bi)recursive (bi)sequences of modules over arbitrary commutative ground rings.Comment: 21 pages, to appear in IJMM