Substitution of matrices over rings

For a given commutative ring with an identity element, we define and study the substitution of a matrix with entries in into a matrix polynomial or rational function over . A Bezout-type remainder theorem and a "partial-substitution rule" are derived and used to obtain a number of results. The tensor map is introduced and used to investigate the solvability of linear matrix equations.