An equivalence relation on rings or algebraic objects asserting that two rings are Morita equivalent when their categories of (right or left) modules are equivalent as categories, so they share the same representation-theoretic behavior and module-theoretic invariants.

Principle

The organizing principle is categorical representation: what matters is the category of modules (or representations) rather than the ring elements themselves, so equivalence of module categories signals identical module-theoretic structure and derived invariants.

Demonstration

Matrix rings M_n(R) are Morita equivalent to R because R-modules correspond to M_n(R)-modules via change-of-ring constructions; this explains why many properties, such as projectivity or homological dimensions, transfer across Morita equivalences.

Misapplication

Declaring rings with similar spectra or shared elements to be Morita equivalent without checking categorical equivalence of module categories: Morita equivalence is stronger and concerns categories of modules, not mere ring-theoretic coincidences.

Consequence

If two rings are Morita equivalent, they have equivalent derived categories of modules (under suitable hypotheses), identical categories of projective modules up to equivalence, and share many homological invariants and representation-theoretic properties.

Reversal

The reversal is non-equivalence: rings that are not Morita equivalent may still share certain invariants but do not induce equivalent module categories, so representation theory differs in essential ways.

Boundary

Morita equivalence applies to rings, algebras, and similar structures with well-defined module categories; it excludes invariants sensitive to element-level structure not visible in module categories and does not assert isomorphism of rings.

Semantic Tension

Morita equivalence competes with isomorphism and derived equivalence: isomorphism is stricter, derived equivalence is weaker or differently focused; deciding which notion best captures ‘same representation theory’ produces tension.

Synthesis

Morita equivalence identifies algebraic structures by equivalence of their module categories: two rings are considered the same from a representation-theoretic viewpoint when their module categories are categorically equivalent, making module behavior the criterion of sameness.