Null ideals of matrices over residue class rings of principal ideal domains

TL;DR

This paper investigates the null ideals of matrices over residue class rings of principal ideal domains, providing explicit generators, module decompositions, and descriptions of integer-valued polynomial rings related to the matrices.

Contribution

It computes generators for null ideals of matrices over residue class rings of PIDs and explores their module decompositions and integer-valued polynomial rings.

Findings

Computed generating sets for null ideals of matrices over residue class rings.

Decomposed the module S[A] into cyclic S-modules related to null ideals.

Provided explicit descriptions of the ring of integer-valued polynomials on A.

Abstract

Given a square matrix $A$ with entries in a commutative ring $S$, the ideal of $S[X]$ consisting of polynomials $f$ with $f(A) =0$ is called the null ideal of $A$. Very little is known about null ideals of matrices over general commutative rings. We compute a generating set of the null ideal of a matrix in case $S = D/dD$ is the residue class ring of a principal ideal domain $D$ modulo $d\in D$. We discuss two applications. At first, we compute a decomposition of the $S$-module $S[A]$ into cyclic $S$-modules and explain the strong relationship between this decomposition and the determined generating set of the null ideal of $A$. And finally, we give a rather explicit description of the ring \IntA of all integer-valued polynomials on $A$.