Definición
Una relación de equivalencia entre anillos u objetos algebraicos que afirma que dos anillos son equivalentes en el sentido de Morita cuando sus categorías de módulos (a la derecha o a la izquierda) son equivalentes como categorías, de modo que comparten el mismo comportamiento representacional y los mismos invariantes ligados a módulos.
Principio
Principio
El principio organizador es la representación categórica: lo importante es la categoría de módulos (o representaciones) y no los elementos del anillo, por lo que la equivalencia de las categorías de módulos indica estructura modulárica idéntica e invariantes derivados compartidos.
Demostración
Demostración
Los anillos de matrices M_n(R) son equivalentes de Morita a R porque los R-módulos corresponden a los M_n(R)-módulos mediante construcciones de cambio de anillo; esto explica por qué muchas propiedades, como la proyectividad o dimensiones homológicas, se transfieren a través de equivalencias de Morita.
Aplicación incorrecta
Aplicación incorrecta
Afirmar que anillos con espectros similares o elementos compartidos son equivalentes de Morita sin verificar la equivalencia categórica de las categorías de módulos: la equivalencia de Morita es más fuerte y trata sobre categorías de módulos, no sobre coincidencias meramente anillo-teóricas.
Consecuencia
Consecuencia
Si dos anillos son equivalentes de Morita, sus categorías derivadas de módulos (bajo hipótesis adecuadas) son equivalentes, sus categorías de módulos proyectivos son equivalentes hasta equivalencia, y comparten muchos invariantes homológicos y propiedades representacionales.
Inversión
Inversión
La inversión es la no equivalencia: anillos que no son equivalentes de Morita pueden compartir ciertos invariantes pero no inducen categorías de módulos equivalentes, por lo que la teoría de representaciones difiere en aspectos esenciales.
Límite
Límite
La equivalencia de Morita se aplica a anillos, álgebras y estructuras similares con categorías de módulos bien definidas; excluye invariantes sensibles a la estructura a nivel de elementos que no son visibles en las categorías de módulos y no afirma isomorfismo de anillos.
Tensión semántica
Tensión semántica
La equivalencia de Morita compite con la isomorfía y la equivalencia derivada: la isomorfía es más estricta y la equivalencia derivada es más débil o con otro enfoque; decidir cuál noción captura mejor la 'misma teoría de representaciones' genera tensión.
Síntesis
Síntesis
La equivalencia de Morita identifica estructuras algebraicas por la equivalencia de sus categorías de módulos: dos anillos se consideran idénticos desde la perspectiva representacional cuando sus categorías de módulos son categóricamente equivalentes, haciendo del comportamiento de los módulos el criterio de identidad.