Eine Äquivalenzrelation für Ringe oder algebraische Strukturen, die besagt, dass zwei Ringe Morita-äquivalent sind, wenn ihre Kategorien von (rechts- oder links-) Moduln als Kategorien äquivalent sind, sodass sie dasselbe darstellungstheoretische Verhalten und modultheoretische Invarianten teilen.

Prinzip

Das ordnende Prinzip ist kategoriale Repräsentation: ausschlaggebend ist die Kategorie der Moduln (oder Darstellungen) und nicht die Elemente des Rings; die Äquivalenz der Modul-Kategorien signalisiert identische modultheoretische Struktur und gemeinsame abgeleitete Invarianten.

Demonstration

Matrixringe M_n(R) sind Morita-äquivalent zu R, weil R-Moduln entsprechenden M_n(R)-Moduln durch Ringwechsel-Konstruktionen zugeordnet werden können; daher übertragen sich viele Eigenschaften wie Projektivität oder homologische Dimensionen über Morita-Äquivalenzen hinweg.

Fehlanwendung

Ringe aufgrund ähnlicher Spektren oder gemeinsamer Elemente als Morita-äquivalent zu erklären, ohne die kategoriale Äquivalenz der Modul-Kategorien zu prüfen: Morita-Äquivalenz ist stärker und betrifft die Modul-Kategorien, nicht bloße ringtheoretische Zufälligkeiten.

Konsequenz

Sind zwei Ringe Morita-äquivalent, so besitzen sie äquivalente abgeleitete Kategorien von Moduln (unter geeigneten Voraussetzungen), äquivalente Kategorien projektiver Moduln bis auf Äquivalenz und teilen zahlreiche homologische Invarianten und darstellungstheoretische Eigenschaften.

Umkehrung

Die Umkehr ist Nicht-Äquivalenz: Ringe, die nicht Morita-äquivalent sind, können gewisse Invarianten teilen, induzieren jedoch keine äquivalenten Modul-Kategorien, sodass sich die Darstellungstheorie wesentlich unterscheidet.

Abgrenzung

Morita-Äquivalenz gilt für Ringe, Algebren und ähnliche Strukturen mit wohldefinierten Modul-Kategorien; ausgeschlossen sind Invarianten, die auf Element-Ebene liegen und in Modul-Kategorien nicht sichtbar sind, und sie behauptet nicht die Isomorphie der Ringe.

Semantische Spannung

Morita-Äquivalenz steht in Spannung zu Isomorphie und abgeleiteter Äquivalenz: Isomorphie ist strenger, abgeleitete Äquivalenz schwächer oder anders fokussiert; die Wahl der passenden Gleichheitsbedingung für 'gleiche Darstellungstheorie' erzeugt Spannung.

Synthese

Morita-Äquivalenz identifiziert algebraische Strukturen durch die Äquivalenz ihrer Modul-Kategorien: Zwei Ringe gelten aus darstellungstheoretischer Sicht als gleich, wenn ihre Modul-Kategorien kategorial äquivalent sind, wodurch das Modulverhalten zum Kriterium der Gleichheit wird.