Eine Relation zwischen Ringen (oder Algebren) R und S, die besagt, dass ihre Modul-Kategorien (rechts) Mod-R und Mod-S als Kategorien äquivalent sind; Morita-Äquivalenz impliziert, dass R und S dasselbe modultheoretische Verhalten und viele homologische Invarianten teilen, obwohl die Ringe nicht isomorph sein müssen.

Prinzip

Zwei algebraische Strukturen gelten für die Modultheorie als ‚gleich‘, wenn eine Äquivalenz ihrer Modul-Kategorien existiert, das heißt Darstellungseigenschaften werden durch geeignete Progeneratoren oder bimodulinduzierte Adjunktionen erhalten.

Demonstration

Für jeden Ring R und jede positive ganze Zahl n ist die Matrixalgebra M_n(R) Morita‑äquivalent zu R: Die Kategorie der M_n(R)-Module ist äquivalent zu Mod-R, wobei R^n als Progenerator betrachtet wird und Hom‑ sowie Tensor‑Konstruktionen die Äquivalenz liefern.

Fehlanwendung

Anzunehmen, Morita-Äquivalenz bedeute Isomorphie der Ringe oder alle ringtheoretischen Invarianten würden erhalten bleiben; etwa Zentrum oder Idempotentenstruktur müssen nicht erhalten bleiben, daher ist es falsch, Morita‑äquivalente Ringe in allen algebraischen Details als identisch zu behandeln.

Konsequenz

Modultheoretische Eigenschaften und viele homologische Invarianten (Projektivität, Injektivität, oft auch abgeleitete Äquivalenzen) übertragen sich über Morita-Äquivalenzen; Klassifikationsprobleme lassen sich durch Übergang zu Morita‑Vertretern vereinfachen.

Umkehrung

Im Gegensatz zur strikten Isomorphie von Ringen: Isomorphie impliziert Morita-Äquivalenz, aber nicht umgekehrt; die Umkehrung zeigt, dass feinere ringtheoretische Daten (z. B. zentrale Elemente) nicht durch die Modul-Kategorie erfasst werden müssen.

Abgrenzung

Morita-Äquivalenz bezieht sich auf Modul-Kategorien (gewöhnlich unitalen Ringen und unitalen Modulen); sie erfasst keine Eigenschaften außerhalb der Modultheorie, und Varianten (z. B. abgeleitete Morita-Äquivalenz, stabile Äquivalenz) verfeinern oder schwächen die Notion für abgeleitete oder stabile Modul-Kategorien.

Semantische Spannung

Zwischen ‚Gleichheit als Ringe‘ und ‚Gleichheit für Module‘: Morita-Äquivalenz verschiebt den Maßstab dessen, was zwei Ringe ‚gleich‘ macht, indem sie darstellerische Eigenschaften gegenüber elementarer oder struktureller Identität priorisiert.

Synthese

Morita-Äquivalenz identifiziert Ringe, deren Modul-Kategorien äquivalent sind, und macht sie für modultheoretische und viele homologische Fragestellungen austauschbar; die Äquivalenz wird durch Progeneratoren oder Bimodule realisiert und betont die kategoriale Repräsentation gegenüber naiver algebraischer Identität.