## [Equivalencia de Morita](/es/node/63704) Definición 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 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 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 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 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 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 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 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 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.