An equivalence relation between rings (or algebras) asserting that their categories of modules (typically left modules) are equivalent as abelian categories via exact functors that preserve direct sums; two rings are Morita equivalent when they present the same module-theoretic representation theory.

Principle

Representation-theoretic identity is captured at the categorical level: if module categories are equivalent, then module-theoretic phenomena (projectivity, direct-sum decompositions, many homological invariants) are indistinguishable between the rings, even if the rings themselves are not isomorphic.

Demonstration

The classical example is R and the matrix ring M_n(R): the categories of left modules over R and over M_n(R) are equivalent via the correspondence that sends an R-module M to the M_n(R)-module R^n ⊗_R M; a progenerator bimodule implements the equivalence.

Misapplication

Concluding that Morita equivalent rings are isomorphic as rings, or applying Morita equivalence without checking unit or finiteness conditions (e.g., for nonunital rings), misstates the relationship and can conflate distinct algebraic invariants.

Consequence

Correctly used, Morita equivalence lets one transfer module-theoretic results, derive invariants that persist under equivalence, and replace a complicated ring by a Morita-equivalent one more convenient for computation or classification.

Reversal

The inverse viewpoint treats isomorphism of rings as stronger than Morita equivalence: isomorphism implies categorical equivalence but not conversely, so reversing the perspective highlights the difference between algebraic identity and representational sameness.

Boundary

Applies to rings with identity and to module categories set up appropriately; it does not automatically apply to nonunital rings, to categories of comodules, or to invariants that are purely ring-theoretic and not reflected in module categories unless extra hypotheses are imposed.

Semantic Tension

Competes with other equivalence notions such as derived equivalence or Morita-type equivalences in triangulated settings; Morita equivalence is stricter than mere derived equivalence in some contexts and weaker than ring isomorphism.

Synthesis

Morita equivalence encodes when two algebraic objects share the same module-theoretic world: through equivalences of module categories implemented by suitable bimodules or functors, representation theory becomes the invariant of interest rather than the underlying ring.