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

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

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

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

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

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

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

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

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.