Module Quotient


Module Quotient

Module quotient

En mathématiques, un Module quotient est l'ensemble quotient d'un module donné par un de ses sous A-module.

Définition

Soient M un module sur un anneau A et N un A-sous module de M.

On définit la relation d'équivalence R suivante : \forall (x,y)\in M^2, xRy \Leftrightarrow (x-y)\in N

Deux éléments de M sont ainsi en relation si leur différence appartient au sous module N, c’est-à-dire si x et y sont congrus modulo N.

L'ensemble quotient M / R, que l'on note alors M / N, muni des deux opérations suivantes induites par M

  • (x + N) + (y + N) = x + y + N
  • (x+N)\times (y+N) = (x\cdot y)+N

est un module sur A, nommé A-module quotient de M par N.

Propriétés

  • C'est l'unique façon de munir le groupe abélien M / N d'une structure de A-module pour que la projection canonique \pi : M \rightarrow M/N soit un homomorphisme de A-module.
  • Pour tout morphisme de A-module f : M \rightarrow L tel que f(N) = {0L}, il existe un unique morphisme de A-module \tilde f:M/N \to L tel que \tilde f \circ \pi = f.

Exemples

  • Si N = M, M / M est le module trivial {0}.
  • Si I est un idéal de A, alors IM = \{ \sum_{j \in J} a_j m_ja_j \in I, m_j \in M et J une partie de \N } est un sous A-module de M et M / IM peut être muni d'une structure de module sur A / I.
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Module quotient ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Module Quotient de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Module quotient — 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 …   Wikipédia en Français

  • Module Semi-Simple — Camille Jordan, auteur du théorème clé de la théorie En mathématiques et plus particulièrement en algèbre, un A module où A désigne un anneau est qualifié de semi simple ou de complètement réductible si et seulement s il est somme directe de… …   Wikipédia en Français

  • Module Sur Un Anneau — Un module sur un anneau unitaire est une structure algébrique qui généralise celle d espace vectoriel et celle d idéal d un anneau. Dans un espace vectoriel l ensemble des scalaires forme un corps tandis que dans un module, ceux ci sont de… …   Wikipédia en Français

  • Module Fidèle — Un module M sur un anneau A e est dit fidèle si son annulateur est réduit à {0}, en d autres termes, si l action de chaque est non triviale ( pour un certain ). Autrement dit, un module est fidèle si la représentation associée est injective. À… …   Wikipédia en Français

  • Module fidele — Module fidèle Un module M sur un anneau A e est dit fidèle si son annulateur est réduit à {0}, en d autres termes, si l action de chaque est non triviale ( pour un certain ). Autrement dit, un module est fidèle si la représentation associée est… …   Wikipédia en Français

  • Module Libre — En mathématiques, en algèbre, un module libre est un module qui possède une base. Étant donné un anneau A, l exemple le plus immédiat de A module libre est An. Soit M un R module, l ensemble E = {e1, e2, ... en} est une base libre pour M si  …   Wikipédia en Français

  • Module Monogène — Un module monogène est un module qui peut être engendré par un seul élément, par exemple est engendré par 1. Algèbre commutative Algèbre • Anneau commutatif • Anneau euclidien • Anneau factoriel • Anneau noethérien • Anneau principal • Annulateur …   Wikipédia en Français

  • Module monogene — Module monogène Un module monogène est un module qui peut être engendré par un seul élément, par exemple est engendré par 1. Algèbre commutative Algèbre • Anneau commutatif • Anneau euclidien • Anneau factoriel • Anneau noethérien • Anneau… …   Wikipédia en Français

  • Module artinien — En théorie des anneaux, un module artinien (du nom d Emil Artin) est un module vérifiant la condition des chaines décroissantes. C est une sorte de généralisation des espaces vectoriels de dimension finie. Sommaire 1 Définition 2 Exemples 3… …   Wikipédia en Français

  • Module sur un anneau — En mathématiques, au sein des structures algébriques, « un module est à un anneau ce qu un espace vectoriel est à un corps »[1] : pour un espace vectoriel, l ensemble des scalaires forme un corps tandis que pour un module, cet… …   Wikipédia en Français