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

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

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

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

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

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

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

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

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.