Una relación de equivalencia entre anillos (o álgebras) que afirma que sus categorías de módulos (típicamente módulos izquierdos) son equivalentes como categorías abelianas mediante funtoresexactos que preservan sumas directas; dos anillos son Morita equivalentes cuando presentan la misma teoría de representación por módulos.

Principio

La identidad desde el punto de vista de la representación se captura a nivel categórico: si las categorías de módulos son equivalentes, los fenómenos relativos a módulos (proyectividad, descomposiciones en sumas directas, muchos invariantes homológicos) son indistinguibles entre los anillos, aunque los anillos no sean isomorfos.

Demostración

El ejemplo clásico es R y la matriz de anillos M_n(R): las categorías de módulos izquierdos sobre R y sobre M_n(R) son equivalentes mediante la correspondencia que envía un R-módulo M al M_n(R)-módulo R^n ⊗_R M; un bimódulo progenerador implementa la equivalencia.

Aplicación incorrecta

Concluir que anillos Morita equivalentes son isomorfos como anillos, o aplicar la equivalencia de Morita sin comprobar condiciones de unidad o finitud (por ejemplo para anillos sin unidad), malinterpreta la relación y puede confundir invariantes algebraicos distintos.

Consecuencia

Usada correctamente, la equivalencia de Morita permite transferir resultados sobre módulos, preservar invariantes bajo equivalencia y reemplazar un anillo complicado por otro Morita equivalente más adecuado para cálculos o clasificación.

Inversión

La visión inversa trata el isomorfismo de anillos como más fuerte que la equivalencia de Morita: el isomorfismo implica equivalencia categórica pero no viceversa, destacando la diferencia entre identidad algebraica y igualdad representacional.

Límite

Se aplica a anillos con unidad y a categorías de módulos adecuadamente definidas; no se aplica automáticamente a anillos sin unidad, a categorías de comodulos, ni a invariantes puramente anulares que no se reflejen en categorías de módulos salvo que se impongan hipótesis adicionales.

Tensión semántica

Compite con otras nociones de equivalencia como equivalencia derivada o equivalencias tipo Morita en entornos triangulados; la equivalencia de Morita es en algunos contextos más estricta que la mera equivalencia derivada y más débil que el isomorfismo de anillos.

Síntesis

La equivalencia de Morita expresa cuándo dos objetos algebraicos comparten el mismo mundo de módulos: mediante equivalencias de categorías de módulos implementadas por bimódulos o funtor apropiados, la teoría de representaciones se convierte en el invariante central en lugar del anillo subyacente.