Morales, N.; Urrutia, L. F.; Tapia-Recillas, H. The ideal of relations of a nilpotent diagonal matrix. (English) Zbl 0902.15007 Congr. Numerantium 107, 209-222 (1995). Let \(R\) be a commutative ring, and let \(M_n(R)\) be the \(R\)-algebra of \(n\times n\) matrices over \(R\). Let \(A\) be an element of \(M_n(R)\). Then the ideal of relations satisfied by \(A\), and denoted \(I(A)\), is defined by the set of polynomials in one variable, \(f\) with coefficients in \(R\) such that \(f(A)= 0\) in \(M_n(R)\). The authors give an explicit description of the ideal of relations when \(A\) is a nilpotent diagonal matrix. However, to the best of the knowledge of the present reviewer, a characterization of the ideal of relations for an arbitrary matrix over any commutative ring has been given by Neal H. McCoy [Bull. Am. Math. Soc. 45, 280-284 (1939; Zbl 0021.00404)] and we find more details in the book of B. R. McDonald [Linear algebra over commutative rings (1984; Zbl 0556.13003)]. The paper is selfcontained. Reviewer: Philippe Elbaz-Vincent (Montpellier) MSC: 15B33 Matrices over special rings (quaternions, finite fields, etc.) 15A30 Algebraic systems of matrices 15A24 Matrix equations and identities 16S50 Endomorphism rings; matrix rings Keywords:ideal of relations associated to a matrix; nilpotent diagonal matrix; polynomial identities Citations:Zbl 0021.00404; Zbl 0556.13003 PDFBibTeX XMLCite \textit{N. Morales} et al., Congr. Numerantium 107, 209--222 (1995; Zbl 0902.15007)