Relation entre anneaux (ou algèbres) R et S affirmant que leurs catégories de modules (à droite) Mod-R et Mod-S sont équivalentes en tant que catégories ; l'équivalence de Morita implique que R et S présentent le même comportement en théorie des modules et que de nombreux invariants homologiques coïncident bien que les anneaux ne soient pas isomorphes.

Principe

Deux structures algébriques sont considérées comme 'les mêmes' pour la théorie des modules s'il existe une équivalence de leurs catégories de modules, ce qui se traduit par la préservation des propriétés de représentation via des progénérateurs adéquats ou des bimodules induisant des adjonctions.

Démonstration

Pour tout anneau R et entier n>0, l'anneau matriciel M_n(R) est Morita‑équivalent à R : la catégorie des modules sur M_n(R) est équivalente à Mod-R via la correspondance qui considère R^n comme un progénérateur et utilise Hom et le produit tensoriel pour construire l'équivalence.

Mauvaise application

Supposer qu'une équivalence de Morita entraîne l'isomorphisme des anneaux ou que tous les invariants d'anneau sont préservés ; par exemple, le centre ou la structure des idempotents peuvent différer, donc traiter des anneaux Morita‑équivalents comme identiques à tous égards algébriques est incorrect.

Conséquence

Les propriétés en théorie des modules et beaucoup d'invariants homologiques (classes de modules projectifs, injectifs, et souvent équivalences dérivées) se transfèrent à travers une équivalence de Morita ; les problèmes de classification peuvent être simplifiés en passant à un représentant Morita.

Inversion

Contraster avec l'isomorphisme strict d'anneaux : l'isomorphisme implique l'équivalence de Morita mais pas l'inverse ; inversement, des données algébriques fines (par ex. éléments centraux ou multiplication) peuvent distinguer des anneaux non isomorphes même si leurs catégories de modules sont équivalentes.

Limite

L'équivalence de Morita porte sur les catégories de modules (généralement pour des anneaux unitaires et des modules unitaires) ; elle n'englobe pas les propriétés hors du cadre modulaire, et des variantes (équivalence de Morita dérivée, équivalence stable) affinent ou relâchent la notion pour les catégories dérivées ou stables.

Tension sémantique

Entre « identité comme anneaux » et « identité pour les modules » : l'équivalence de Morita oblige à reconsidérer ce que signifie l'équivalence de deux anneaux — elle privilégie le comportement représentationnel sur l'égalité élémentaire ou structurelle.

Synthèse

L'équivalence de Morita identifie des anneaux dont les catégories de modules sont équivalentes, les rendant interchangeables pour les questions modulaires et beaucoup d'aspects homologiques ; cette équivalence est réalisée par des progénérateurs ou des bimodules et met l'accent sur la perspective catégorique plutôt que sur l'identité algébrique brute.