Concerning matrices with elements in a commutative ring. (Q2590450): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 08:42, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Concerning matrices with elements in a commutative ring. |
scientific article |
Statements
Concerning matrices with elements in a commutative ring. (English)
0 references
1939
0 references
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.
0 references