Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Équivalence de Morita
Résumé
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.
L'étude d'un anneau consiste souvent à explorer la catégorie des modules sur cet anneau. 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. 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 :
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).
Deux anneaux isomorphes sont a fortiori équivalents au sens de Morita ;
Soit un anneau (avec unité), et l'anneau des matrices carrées à coefficients dans . Alors pour tout et sont équivalents.
De nombreuses propriétés sont préservées par l'équivalence de Morita, comme le fait d'être simple, semi-simple, noethérien, artinien.
En revanche, d'autres propriétés importantes ne sont pas préservées par l'équivalence : le fait d'être commutatif, local, réduit, ou intègre par exemple.
Si deux anneaux sont équivalents, alors leurs centres sont isomorphes (et a fortiori, équivalents) ;
Si deux anneaux sont équivalents, alors et sont équivalents, où désigne l'idéal de Jacobson.
Si deux anneaux sont équivalents, alors il y a une équivalence entre leurs catégories de modules projectifs.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.