Concerning matrices with elements in a commutative ring. (Q2590450)

Ist \(R_1\) ein kommutativer Ring mit Eins, so bezeichne \(R_n\) den Ring aller Matrizen des Grades \(n\) mit Elementen aus \(R_1\) und \(R_n (\lambda)\) den Polynomring über \(R_n\). Ist \(M\) eine Matrix aus \(R_n\) und \(f(\lambda) = | \lambda E - M|\), so gilt die Gleichung \(f (M) = 0\). Man nenne das Hauptideal \((f(\lambda))\) in \(R_1(\lambda)\) das charakteristische Ideal von \(M\), ferner das Ideal \(\mathfrak m\) aller Polynome \(g(\lambda)\) aus \(R_1(\lambda)\), für die \(g (M) = 0\) gilt, Minimalideal von \(M\). Das Ideal \(\mathfrak m\) ist im allgemeinen kein Hauptideal, seine Elemente \(g(\lambda)\) werden durch die Kongrenzen \[ g(\lambda)h_{\alpha\beta}(\lambda)\equiv 0(f(\lambda))\qquad (\alpha,\,\beta=1,\,2,\, \ldots,\,n) \] gekennzeichnet, wobei \(h_{\alpha\beta}(\lambda)\) die \((n - 1)\)-reihigen Unterdeterminanten von \(f(\lambda)\) bezeichnen. Die Primidealteiler von \(\mathfrak m\) stimmen mit denen des Ideals \((f(\lambda))\) überein. Wie man sieht, sind diese Sätze unmittelbare Verallgemeinerungen der bekannten Sätze für den Fall, daß \(R_1\) ein Körper ist.