Top Qs
Chronologie
Chat
Contexte
Module quotient
De Wikipédia, l'encyclopédie libre
Remove ads
En mathématiques, un module quotient est le module obtenu en quotientant un module sur un anneau par un de ses sous-modules.
Définition
Soient M un module sur un anneau A et N un sous-module de M.
Le groupe (M,+) étant abélien, son sous-groupe (N,+) est normal, ce qui permet de définir le groupe quotient (M/N,+).
Sur ce groupe (M/N,+), qui est abélien, il existe une unique loi externe faisant de M/N un A-module et telle que la projection canonique soit non seulement un morphisme de groupes, mais un morphisme de A-modules :
Remove ads
Exemples
Résumé
Contexte
- M/M est le module trivial {0}.
- M/{0} est isomorphe à M.
- Si M est égal à l'anneau A (vu comme module à gauche sur lui-même), ses sous-modules sont les idéaux à gauche de A. Le module quotient de A par un idéal bilatère I est l'anneau quotient A/I, vu comme A-module.
- Si I est un idéal bilatère de A, la structure de A-module du quotient de M par le sous-module
est induite par sa structure naturelle de A/I-module.
Remove ads
Propriétés
Tout morphisme de A-modules dont le noyau contient N se factorise de façon unique par M/N, c'est-à-dire qu'il existe un unique morphisme de A-modules tel que .
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads