EPFL Logo
fr|en
Se Connecter
Concept

Équivalence de Morita

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.
Cours associés (2)
MATH-436: Homotopical algebra
This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous
MATH-111(e): Linear Algebra
L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et ses applications.
Séances de cours associées (18)
Introduction à la théorie des catégories: Transformations naturelles
Introduit des transformations naturelles dans la théorie des catégories à travers des exemples concrets de la théorie des groupes.
Paires de Quillen et équivalences de Quillen : foncteurs dérivés
Explore les paires de Quillen, les équivalences et les foncteurs dérivés en algèbre homotopique.
Polynômes caractéristiques et matrices similaires
Explore les polynômes caractéristiques, la similarité des matrices et les valeurs propres dans les transformations linéaires.
Afficher plus
Publications associées (12)
Afficher plus
Concepts associés (23)
Noncommutative ring
In mathematics, a noncommutative ring is a ring whose multiplication is not commutative; that is, there exist a and b in the ring such that ab and ba are different. Equivalently, a noncommutative ring is a ring that is not a commutative ring. Noncommutative algebra is the part of ring theory devoted to study of properties of the noncommutative rings, including the properties that apply also to commutative rings. Sometimes the term noncommutative ring is used instead of ring to refer to an unspecified ring which is not necessarily commutative, and hence may be commutative.
Idempotent (ring theory)
In ring theory, a branch of mathematics, an idempotent element or simply idempotent of a ring is an element a such that a2 = a. That is, the element is idempotent under the ring's multiplication. Inductively then, one can also conclude that a = a2 = a3 = a4 = ... = an for any positive integer n. For example, an idempotent element of a matrix ring is precisely an idempotent matrix. For general rings, elements idempotent under multiplication are involved in decompositions of modules, and connected to homological properties of the ring.
Prime ring
In abstract algebra, a nonzero ring R is a prime ring if for any two elements a and b of R, arb = 0 for all r in R implies that either a = 0 or b = 0. This definition can be regarded as a simultaneous generalization of both integral domains and simple rings. Although this article discusses the above definition, prime ring may also refer to the minimal non-zero subring of a field, which is generated by its identity element 1, and determined by its characteristic.
Afficher plus

Copyright © 2025 EPFL, tous droits réservés

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.