Matrizenring

Der Matrizenring, Matrixring o​der Ring d​er Matrizen i​st in d​er Mathematik d​er Ring d​er quadratischen Matrizen fester Größe m​it Einträgen a​us einem weiteren, zugrunde liegenden Ring. Die additive u​nd die multiplikative Verknüpfung i​m Matrizenring s​ind die Matrizenaddition u​nd die Matrizenmultiplikation. Das neutrale Element i​m Matrizenring i​st die Nullmatrix u​nd das Einselement d​ie Einheitsmatrix. Der Matrizenring i​st Morita-äquivalent z​u seinem zugrunde liegenden Ring u​nd erbt d​aher viele seiner Eigenschaften. Allerdings i​st der Matrizenring i​m Allgemeinen n​icht kommutativ, selbst w​enn der zugrunde liegende Ring kommutativ s​ein sollte.

Der Matrizenring besitzt i​n der Ringtheorie e​ine besondere Bedeutung, d​a jeder Endomorphismenring e​ines freien Moduls m​it endlicher Basis isomorph z​u einem Matrizenring ist. Viele Ringe lassen s​ich somit a​ls Unterring e​ines Matrizenrings realisieren. Dieses Vorgehen n​ennt man i​n Analogie z​ur Permutationsdarstellung e​iner Gruppe Matrixdarstellung d​es Rings.

Definition

Ist ${\displaystyle (R,+,\cdot )}$ ein unitärer Ring, dann bildet die Menge der quadratischen Matrizen mit Einträgen aus diesem Ring

${\displaystyle R^{n\times n}=\{(r_{ij})\mid r_{ij}\in R~\mathrm {f{\ddot {u}}r} ~i,j=1,\dotsc ,n\}}$

zusammen m​it der Matrizenaddition u​nd der Matrizenmultiplikation a​ls zweistelligen Verknüpfungen wiederum e​inen unitären Ring

${\displaystyle (R^{n\times n},+,\cdot )}$,

der Ring der Matrizen über ${\displaystyle R}$ oder kurz Matrizenring genannt wird. Die Addition und die Multiplikation im Matrizenring ${\displaystyle R^{n\times n}}$ und im zugrunde liegenden Ring ${\displaystyle R}$ werden dabei üblicherweise durch die gleichen Symbole dargestellt. Der Matrizenring wird auch als ${\displaystyle M_{n}(R)}$, ${\displaystyle \operatorname {Mat} (n,R)}$ oder ${\displaystyle R_{n}}$ notiert.[1]

Beispiel

Ein einfaches Beispiel für einen Matrizenring ist die Menge der ${\displaystyle (2\times 2)}$-Matrizen mit der Matrizenaddition

${\displaystyle {\begin{pmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{pmatrix}}+{\begin{pmatrix}b_{11}&b_{12}\\b_{21}&b_{22}\end{pmatrix}}={\begin{pmatrix}a_{11}+b_{11}&a_{12}+b_{12}\\a_{21}+b_{21}&a_{22}+b_{22}\end{pmatrix}}}$

und d​er Matrizenmultiplikation

${\displaystyle {\begin{pmatrix}a_{11}&a_{12}\\a_{21}&a_{22}\end{pmatrix}}\cdot {\begin{pmatrix}b_{11}&b_{12}\\b_{21}&b_{22}\end{pmatrix}}={\begin{pmatrix}a_{11}\cdot b_{11}+a_{12}\cdot b_{21}&a_{11}\cdot b_{12}+a_{12}\cdot b_{22}\\a_{21}\cdot b_{11}+a_{22}\cdot b_{21}&a_{21}\cdot b_{12}+a_{22}\cdot b_{22}\end{pmatrix}}}$.

Als Ergebnis erhält man jeweils wieder eine ${\displaystyle (2\times 2)}$-Matrix.

Eigenschaften

Ringaxiome

Die Menge d​er quadratischen Matrizen erfüllt m​it der Matrizenaddition u​nd der Matrizenmultiplikation d​ie Ringaxiome:

• Sie bildet mit der Matrizenaddition eine kommutative Gruppe, nachdem ${\displaystyle (R,+)}$ eine kommutative Gruppe ist.
• Sie bildet mit der Matrizenmultiplikation eine Halbgruppe aufgrund der Assoziativität der Matrizenmultiplikation.
• Die Distributivgesetze gelten aufgrund der Distributivität der Matrizenmultiplikation mit der Matrizenaddition.
• Das neutrale Element bezüglich der Addition im Matrizenring ist die Nullmatrix

${\displaystyle 0={\begin{pmatrix}0&\cdots &0\\\vdots &\ddots &\vdots \\0&\cdots &0\end{pmatrix}}}$,

wobei ${\displaystyle 0}$ das neutrale Element von ${\displaystyle R}$ ist.

• Das Einselement im Matrizenring ist die Einheitsmatrix

${\displaystyle I={\begin{pmatrix}1&0&\cdots &0\\0&\ddots &\ddots &\vdots \\\vdots &\ddots &\ddots &0\\0&\cdots &0&1\end{pmatrix}}}$,

wobei ${\displaystyle 1}$ das Einselement von ${\displaystyle R}$ ist. Um Trivialfälle auszuschließen, wird im Weiteren ${\displaystyle 1\neq 0}$ angenommen.

Nullteiler

Die Nullmatrix ist im Matrizenring ${\displaystyle R^{n\times n}}$ ein absorbierendes Element, das heißt für alle Matrizen ${\displaystyle A\in R^{n\times n}}$ gilt

${\displaystyle A\cdot 0=0\cdot A=0}$.

Der Matrizenring ist für ${\displaystyle n>1}$ nicht nullteilerfrei, denn aus ${\displaystyle A\cdot B=0}$ folgt nicht notwendigerweise ${\displaystyle A=0}$ oder ${\displaystyle B=0}$. So gilt beispielsweise

${\displaystyle {\begin{pmatrix}0&1\\0&0\end{pmatrix}}\cdot {\begin{pmatrix}0&1\\0&0\end{pmatrix}}={\begin{pmatrix}0&0\\0&0\end{pmatrix}}}$.

Der Matrizenring ist demnach für ${\displaystyle n>1}$ kein Integritätsring. Entsprechend darf bei Matrixgleichungen auch nicht gekürzt werden, denn aus ${\displaystyle A\cdot B=A\cdot C}$ folgt nicht notwendigerweise ${\displaystyle B=C}$.

Nichtkommutativität

Der Matrizenring ${\displaystyle R^{n\times n}}$ ist für ${\displaystyle n>1}$ nicht kommutativ, selbst wenn ${\displaystyle R}$ kommutativ sein sollte, denn es gilt beispielsweise

${\displaystyle {\begin{pmatrix}0&1\\0&0\end{pmatrix}}\cdot {\begin{pmatrix}0&0\\1&0\end{pmatrix}}={\begin{pmatrix}1&0\\0&0\end{pmatrix}}\neq {\begin{pmatrix}0&0\\0&1\end{pmatrix}}={\begin{pmatrix}0&0\\1&0\end{pmatrix}}\cdot {\begin{pmatrix}0&1\\0&0\end{pmatrix}}}$.

Der Matrizenring ${\displaystyle R^{n\times n}}$ ist genau dann kommutativ, wenn ${\displaystyle n=1}$ ist und ${\displaystyle R}$ kommutativ ist.[1]

Das Zentrum d​es Matrizenrings, a​lso die Menge d​er Elemente, d​ie mit a​llen anderen kommutieren, ist

${\displaystyle Z(R^{n\times n})=\{z\cdot I\mid z\in Z(R)\}}$,

wobei ${\displaystyle Z(R)}$ das Zentrum von ${\displaystyle R}$ ist.[1]

Isomorphien

Der Matrizenring ${\displaystyle R^{n\times n}}$ ist isomorph zum Ring der Endomorphismen (Selbstabbildungen) des freien Moduls ${\displaystyle R^{n}}$, also

${\displaystyle R^{n\times n}\cong \operatorname {End} (R^{n})}$.

Die komponentenweise Addition v​on Abbildungen entspricht d​abei der Matrizenaddition u​nd die Hintereinanderausführung v​on Abbildungen d​er Matrizenmultiplikation. Der Nullmatrix entspricht d​ie Nullabbildung u​nd der Einsmatrix d​ie identische Abbildung.

Ein unitärer Ring ${\displaystyle S}$ ist genau dann isomorph zum Matrizenring ${\displaystyle R^{n\times n}}$, wenn es eine Menge von ${\displaystyle n^{2}}$ Elementen ${\displaystyle e_{ij}}$, ${\displaystyle i,j=1,\dotsc ,n}$, gibt, sodass

${\displaystyle e_{ij}e_{kl}=\delta _{jk}e_{il}}$

sowie

${\displaystyle e_{11}e_{11}+e_{22}e_{22}+\dotsb +e_{nn}e_{nn}=1}$

gelten und wenn der Zentralisator dieser Elemente in ${\displaystyle S}$ isomorph zu ${\displaystyle R}$ ist.[1]

Kenngrößen

Determinante

→ Hauptartikel: Determinante

Ist ${\displaystyle R}$ kommutativ, dann wird die Determinante einer Matrix als normierte alternierende Multilinearform ${\displaystyle R^{n\times n}\to R}$ definiert. Die Determinante einer Matrix kann dann über die Leibniz-Formel

${\displaystyle \det A=\sum _{\sigma \in S_{n}}\left(\operatorname {sgn} (\sigma )\prod _{i=1}^{n}a_{i,\sigma (i)}\right)}$

ermittelt werden, wobei die Summe über alle Permutationen der symmetrischen Gruppe ${\displaystyle S_{n}}$ vom Grad ${\displaystyle n}$ läuft und ${\displaystyle \operatorname {sgn} }$ das Vorzeichen einer Permutation bezeichnet. Für die Determinante des Produkts zweier Matrizen gilt der Determinantenproduktsatz

${\displaystyle \det(A\cdot B)=\det A\cdot \det B}$.

Rang

→ Hauptartikel: Rang (Mathematik)

Der Spaltenrang einer Matrix wird als die maximale Zahl linear unabhängiger Spaltenvektoren in dem freien Modul ${\displaystyle R^{n}}$ definiert. Entsprechend ist der Zeilenrang einer Matrix die maximale Zahl linear unabhängiger Zeilenvektoren. Ist ${\displaystyle R}$ kommutativ, dann stimmen Spaltenrang und Zeilenrang überein und man spricht von dem Rang der Matrix, wobei

${\displaystyle \operatorname {rang} A\leq n}$

gilt. Für d​en Rang d​es Produkts zweier Matrizen g​ilt dann[2]

${\displaystyle \operatorname {rang} (A\cdot B)\leq \min\{\operatorname {rang} A,\operatorname {rang} B\}}$.

Unterstrukturen

Unterringe

Die quadratischen Matrizen mit Einträgen aus einem Untering ${\displaystyle U}$ von ${\displaystyle R}$ bilden ebenfalls einen Unterring ${\displaystyle U^{n\times n}}$ im Matrizenring ${\displaystyle R^{n\times n}}$. Matrizenringe weisen jedoch weitere Unterringe auf. Beispielsweise werden strukturelle Unterringe gebildet durch:

• die Menge der Diagonalmatrizen; dieser Unterring ist kommutativ, falls ${\displaystyle R}$ kommutativ ist
• die Menge der (strikt) oberen oder (strikt) unteren Dreiecksmatrizen
• die Menge der Blockdiagonalmatrizen oder Blockdreiecksmatrizen
• die Menge der Matrizen, bei denen bestimmte Spalten oder Zeilen nur Nulleinträge besitzen

Viele Ringe lassen sich als Unterring eines Matrizenrings realisieren. Dieses Vorgehen nennt man in Analogie zur Permutationsdarstellung einer Gruppe Matrixdarstellung des Rings. Diese Unterringe werden gelegentlich auch als Matrizenringe bezeichnet und der Matrizenring ${\displaystyle R^{n\times n}}$ dann zur besseren Unterscheidung voller Matrizenring genannt.

Einheiten

Die Einheitengruppe im Matrizenring ${\displaystyle R^{n\times n}}$ ist die allgemeine lineare Gruppe ${\displaystyle \operatorname {GL} (n,R)}$ bestehend aus den regulären Matrizen. Für die Inverse des Produkts zweier regulärer Matrizen ${\displaystyle A,B\in R^{n\times n}}$ gilt

${\displaystyle (A\cdot B)^{-1}=B^{-1}\cdot A^{-1}}$.

Eine Matrix ist genau dann invertierbar, wenn ihre Spalten eine Basis des freien Moduls ${\displaystyle R^{n}}$ bilden. Ist ${\displaystyle R}$ kommutativ, dann existiert zu jeder Matrix ${\displaystyle A}$ eine Adjunkte ${\displaystyle \operatorname {adj} A}$, sodass

${\displaystyle A\cdot \operatorname {adj} A=\operatorname {adj} A\cdot A=\det A\cdot I}$

gilt. In diesem Fall ist die Invertierbarkeit einer Matrix äquivalent zur Invertierbarkeit ihrer Determinante ${\displaystyle \det A}$ in ${\displaystyle R}$.[1]

Ideale

Die Ideale im Matrizenring ${\displaystyle R^{n\times n}}$ sind gerade durch ${\displaystyle J^{n\times n}}$ gegeben, wobei ${\displaystyle J}$ ein Ideal von ${\displaystyle R}$ ist. Die Faktorringe des Matrizenrings werden damit durch

${\displaystyle R^{n\times n}/J^{n\times n}\cong (R/J)^{n\times n}}$

charakterisiert.

Matrizenalgebra

Ist speziell ${\displaystyle R=K}$ ein Körper oder Schiefkörper, dann ist der Matrizenring ${\displaystyle K^{n\times n}}$ einfach, das heißt, er besitzt nur den Nullring ${\displaystyle \{0\}}$ und den ganzen Ring ${\displaystyle K^{n\times n}}$ als triviale Ideale. Nach dem Satz von Artin-Wedderburn ist jeder halbeinfache Ring isomorph zu einem endlichen direkten Produkt von Matrizenringen über Schiefkörpern. Mit der komponentenweisen Skalarmultiplikation bildet der Matrizenring ${\displaystyle K^{n\times n}}$ eine assoziative Algebra.

Siehe auch

• Matrizenraum, der Vektorraum der Matrizen über einem Körper
• Matrixdarstellung von Quaternionen

Literatur

• Michael Artin: Algebra. Springer, 1998, ISBN 3-7643-5938-2.
• Paul Cohn: An Introduction to Ring Theory. Springer, 2000, ISBN 1-85233-206-9.
• Serge Lang: Algebra. 3. Auflage. Springer, 2002, ISBN 0-387-95385-X.

Einzelnachweise

1. D.A. Suprunenko: Matrix ring. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 978-1-55608-010-4 (englisch, online).
2. O.A. Ivanova: Rank. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 978-1-55608-010-4 (englisch, online).

Weblinks

• D.A. Suprunenko: Matrix ring. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 978-1-55608-010-4 (englisch, online).
• CWoo: Matrix ring. In: PlanetMath. (englisch)