Équivalence de Morita
From Wikipedia, the free encyclopedia
En algèbre, et plus précisément en théorie des anneaux, l'équivalence de Morita est une relation entre anneaux. Elle est nommée d'après le mathématicien japonais Kiiti Morita qui l'a introduite dans un article de 1958[1].
L'étude d'un anneau consiste souvent à explorer la catégorie des modules sur cet anneau[Note 1],[2]. Deux anneaux sont en équivalence de Morita précisément lorsque leurs catégories de modules sont équivalentes.
L'équivalence de Morita présente surtout un intérêt dans l'étude des anneaux non commutatifs. En effet, l'équivalence de Morita entre anneaux commutatifs coïncide avec l'isomorphisme de ces anneaux[Note 2]. La notion a inspiré des constructions similaires en théorie des topos et dans l'étude des C*-algèbres, parfois également appelées équivalences de Morita dans ces contextes.
Soit et deux anneaux, alors les propriétés suivantes sont équivalentes[3] :
- et sont équivalents au sens de Morita ;
- La catégorie des -modules à gauche est équivalente à la catégorie des -modules à gauches ;
- La catégorie des -modules à droite est équivalente à la catégorie des -modules à droite ;
- est isomorphe à l'anneau des endomorphismes d'un générateur dans la catégorie des -modules (à droite ou à gauche) ;
- est isomorphe à l'anneau des endomorphismes d'un générateur dans la catégorie des -modules (à droite ou à gauche).
