Module simple

Module simple

Un module M sur un anneau A est dit simple ou irréductible si M n'est pas le module nul et il n'existe pas de sous-modules de M en dehors de {0} et M.

Sommaire

Exemples

  • L'anneau des entiers ℤ n'est pas un ℤ-module simple, en effet il contient le sous-module 2ℤ.
  • Un espace vectoriel de dimension 1 est un module simple. Plus abstraitement : un corps commutatif (ou même un corps gauche) est un module simple quand on le considère comme un espace vectoriel sur lui-même.
  • Étant donné un anneau A et I un idéal à gauche non nul de A, I est un A-module simple si et seulement si I est un idéal minimal à gauche.

Structure des modules simples

Soient A un anneau et M un A-module simple.

  • Alors M est un A-module monogène, engendré n'importe quel élément non nul x de M. En effet, Ax est un sous-module non nul de M, donc c'est M. La réciproque est fausse, par exemple le ℤ-module ℤ est monogène (engendré par 1) mais pas simple.
  • Soit x un élément non nul M. Alors l'ensemble des éléments a de A tels que ax = 0 est un idéal à gauche maximal I de A, et l'application a↦ax de A dans M est A-linéaire, et par passage au quotient, définit un isomorphisme de A-module de A/I sur M.
  • Réciproquement, pour tout idéal à gauche J de A, pour que le A-module A/J soit simple, il faut et il suffit que soit un élément maximal de l'ensemble des idéaux à gauche de A différent de A.

Propriétés

  • Les modules simples sont les modules de longueur 1.
  • Un module simple est indécomposable, c'est-à-dire qu'il n'est pas isomorphe à une somme directe de deux modules non nuls. En revanche, la réciproque est fausse.
    • Contrairement à ce qui se passe pour des espaces vectoriels, la proposition "tout module non nul possède un sous-module simple" est fausse. En effet ℤ n'est pas nul et tous ses sous-modules non nuls sont isomorphes à ℤ, donc non simples.

Lemme de Schur

Soient A un anneau, M et N des A-modules et f une application A-linéaire de M dans N. Si M est simple, alors f est soit nulle, soit injective (en effet, le noyau de f est un sous-module de M, donc {0} ou M). Si N est simple, alors f est surjective, soit nulle (en effet, l'image de f est un sous module de N, donc {0} ou N).

L'anneau des endomorphismes d'un A-module simple est donc un corps, mais la réciproque est fausse : le ℤ-module ℚ n'est pas simple, et pourtant tout endomorphisme non nul du groupe abélien ℚ est inversible.

Soient K un corps algébriquement clos, A une K-algèbre de dimension finie non nulle et M un A-module simple. Alors l'anneau des endomorphismes de A-module de M est canoniquement isomorphe à K.

Voir aussi


Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • Module Simple — Un module M sur un anneau A est dit simple ou irréductible si et seulement si M n est pas le module nul et il n existe pas de sous modules de M en dehors de {0} et M. Exemples Un espace vectoriel de dimension 1 est un module simple. Étant donné… …   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 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 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 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 semi-simple — Camille Jordan, auteur du théorème clé de la théorie En mathématiques et plus précisément en algèbre non commutative, un module sur un anneau est dit semi simple ou complètement réductible s il est somme directe de sous modules simples ou, ce qui …   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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”