## [Morita-Äquivalenz](/de/node/63704) Definition Eine Äquivalenzrelation zwischen Ringen (oder Algebren), die besagt, dass deren Modul-Kategorien (typischerweise linke Module) als abelsche Kategorien äquivalent sind durch exakte Funktoren, die direkte Summen erhalten; zwei Ringe sind Morita-äquivalent, wenn sie dieselbe modul-theoretische Darstellungstheorie besitzen. ## Prinzip Prinzip Repräsentationstheoretische Identität wird auf kategorialer Ebene erfasst: Sind Modul-Kategorien äquivalent, so sind modultheoretische Phänomene (Projektivität, Zerlegungen in direkte Summen, viele homologische Invarianten) zwischen den Ringen nicht unterscheidbar, auch wenn die Ringe selbst nicht isomorph sind. ## Demonstration Demonstration Das klassische Beispiel ist R und die Matrixalgebra M_n(R): Die Kategorien der linken Module über R und über M_n(R) sind äquivalent durch die Zuordnung, die ein R-Modul M auf das M_n(R)-Modul R^n ⊗_R M abbildet; ein Progenerator-Bimodul realisiert die Äquivalenz. ## Fehlanwendung Fehlanwendung Zu folgern, Morita-äquivalente Ringe seien als Ringe isomorph, oder Morita-Äquivalenz anzuwenden ohne Einheits- oder Finitheitsbedingungen (z. B. bei nicht-einheitlichen Ringen), missdeutet die Beziehung und kann verschiedene algebraische Invarianten verwechseln. ## Konsequenz Konsequenz Richtig angewandt erlaubt Morita-Äquivalenz das Übertragen modultheoretischer Aussagen, die Beständigkeit von Invarianten unter Äquivalenz und das Ersetzen eines komplizierten Rings durch einen Morita-äquivalenten, rechenfreundlicheren Ring. ## Umkehrung Umkehrung Die umgekehrte Sichtweise betont, dass Ringisomorphie stärker ist als Morita-Äquivalenz: Isomorphie impliziert kategoriale Äquivalenz, aber nicht umgekehrt. Das hebt den Unterschied zwischen algebraischer Identität und repräsentatorischer Gleichheit hervor. ## Abgrenzung Abgrenzung Gilt für unitäre Ringe und entsprechend aufgesetzte Modul-Kategorien; gilt nicht automatisch für nicht-einheitliche Ringe, für Kategorien von Komodulen oder für rein ringtheoretische Invarianten, die sich ohne zusätzliche Hypothesen nicht in Modul-Kategorien widerspiegeln. ## Semantische Spannung Semantische Spannung Steht im Wettbewerb mit anderen Äquivalenzbegriffen wie abgeleiteten Äquivalenzen oder Rickard-Äquivalenzen in triangulierten Kategorien; Morita-Äquivalenz ist in manchen Kontexten strenger als bloße abgeleitete Äquivalenz und schwächer als Ringisomorphie. ## Synthese Synthese Morita-Äquivalenz fasst zusammen, wann zwei algebraische Objekte dieselbe Modulwelt teilen: Durch Äquivalenzen von Modul-Kategorien, realisiert von geeigneten Bimodulen oder Funktoren, wird die Darstellungstheorie zum entscheidenden Invariante.