##  [Morita Equivalence](/morita-equivalence-0) 

 Definition

A relation between rings (or algebras) R and S asserting that their categories of (right) modules Mod-R and Mod-S are equivalent as categories; Morita equivalence implies that R and S present the same module-theoretic behavior and many homological invariants coincide despite the rings not being isomorphic.

 

 

 

 

 

 





## Principle

Principle

Two algebraic structures are considered 'the same' for module theory if there is an equivalence of their module categories, meaning representation-theoretic properties are preserved by suitably chosen progenerators or bimodule-induced adjunctions.

 

 

 

 

 





## Demonstration

Demonstration

For any ring R and positive integer n, the matrix ring M_n(R) is Morita equivalent to R: the category of modules over M_n(R) is equivalent to Mod-R via the correspondence that views R^n as a progenerator and uses Hom and tensor constructions to build the equivalence.

 

 

 

 

## Misapplication

Misapplication

Assuming Morita equivalence implies ring isomorphism or that all ring-theoretic invariants are preserved; for instance, center or idempotent structure need not be preserved, so treating Morita‑equivalent rings as identical in all algebraic respects is incorrect.

 

 

 

 

 





## Consequence

Consequence

Module-theoretic and many homological properties (projectivity, injectivity classes, derived equivalences in many cases) transfer across Morita equivalences; classification problems can thus be simplified by passing to Morita representatives.

 

 

 

 

## Reversal

Reversal

Contrast with strict isomorphism of rings: isomorphism implies Morita equivalence but not conversely; reversing the view shows finer ring-theoretic data (e.g., specific multiplication table or central elements) may distinguish non‑Morita-equivalent rings from equivalent module categories.

 

 

 

 

 





## Boundary

Boundary

Morita equivalence is a statement about module categories (usually unital rings and unital modules); it does not capture properties outside module theory, and variants (e.g., derived Morita equivalence, stable equivalence) refine or weaken the notion for derived categories or stable module categories.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Between 'sameness as rings' and 'sameness for modules': Morita equivalence forces a re-evaluation of what it means for two rings to be equivalent — it privileges representational behavior over elementwise or structural equality.

 

 

 

 

 





## Synthesis

Synthesis

Morita equivalence identifies rings whose module categories are equivalent, rendering them interchangeable for module-theoretic and many homological purposes; the equivalence is implemented by progenerators or bimodules and emphasizes categorical representation over naive algebraic identity.