Integer-Valued Polynomials over Matrix Rings

Abstract

When D is a commutative integral domain with field of fractions K, the ring Int(D) = {f ∈ K[x] | f(D) ⊆ D} of integer-valued polynomials over D is well-understood. This article considers the construction of integer-valued polynomials over matrix rings with entries in an integral domain. Given an integral domain D with field of fractions K, we define Int(M _n (D)): = {f ∈ M _n (K)[x] | f(M _n (D)) ⊆ M _n (D)}. We prove that Int(M _n (D)) is a ring and investigate its structure and ideals. We also derive a generating set for Int(M _n (ℤ)) and prove that Int(M _n (ℤ)) is non-Noetherian.

Key Words:

• Integer-valued polynomial
• Matrix
• Non-commutative ring

2010 Mathematics Subject Classification:

• Primary 16S99
• Secondary 13F20, 16S50

Notes

Communicated by I. Swanson.