Relación entre anillos (o álgebras) R y S que afirma que sus categorías de módulos (a la derecha) Mod-R y Mod-S son equivalentes como categorías; la equivalencia de Morita implica que R y S presentan el mismo comportamiento desde el punto de vista de módulos y que muchos invariantes homológicos coinciden aunque los anillos no sean isomorfos.

Principio

Dos estructuras algebraicas se consideran 'iguales' para la teoría de módulos si existe una equivalencia de sus categorías de módulos, lo que significa que las propiedades representacionales se preservan mediante progeneradores adecuados o adjunciones inducidas por bimódulos.

Demostración

Para cualquier anillo R y entero positivo n, la álgebra de matrices M_n(R) es Morita equivalente a R: la categoría de módulos sobre M_n(R) es equivalente a Mod-R mediante la correspondencia que toma R^n como progenerador y utiliza construcciones Hom y tensoriales para construir la equivalencia.

Aplicación incorrecta

Suponer que la equivalencia de Morita implica isomorfismo de anillos o que todos los invariantes del anillo se conservan; por ejemplo, el centro o la estructura de idempotentes pueden diferir, por lo que tratar anillos Morita‑equivalentes como idénticos en todos los aspectos algebraicos es incorrecto.

Consecuencia

Las propiedades desde el punto de vista de módulos y muchos invariantes homológicos (proyectividad, clases de inyectividad, y con frecuencia equivalencias derivadas) se transfieren a través de equivalencias de Morita; los problemas de clasificación pueden simplificarse pasando a representantes Morita.

Inversión

Contrastar con el isomorfismo estricto de anillos: el isomorfismo implica equivalencia de Morita pero no al revés; desde la perspectiva inversa, datos algebraicos más finos (por ejemplo elementos centrales) pueden distinguir anillos no isomorfos aunque sus categorías de módulos sean equivalentes.

Límite

La equivalencia de Morita trata sobre categorías de módulos (normalmente anillos unitarios y módulos unitarios); no captura propiedades fuera de la teoría de módulos, y variantes (como la equivalencia de Morita derivada o la equivalencia estable) refinan o debilitan la noción para categorías derivadas o estables de módulos.

Tensión semántica

Entre 'ser iguales como anillos' y 'ser iguales para módulos': la equivalencia de Morita obliga a reevaluar qué significa que dos anillos sean equivalentes, privilegiando el comportamiento representacional sobre la igualdad elemento a elemento.

Síntesis

La equivalencia de Morita identifica anillos cuyas categorías de módulos son equivalentes, haciéndolos intercambiables para propósitos modulare y muchos aspectos homológicos; la equivalencia se implementa mediante progeneradores o bimódulos y enfatiza la perspectiva categórica por encima de la identidad algebraica simple.