Dual d'un module

Dual d'un module

En algèbre commutative et plus généralement en théorie des anneaux, le dual d'un module A par rapport à un module B (sur un anneau R) est l'ensemble des homomorphismes de A dans B. Il est noté Hom(A,B). Si le module B n'est pas spécifié, par défaut, on considère qu'il s'agit de l'anneau R. Le dual Hom(A,R) est appelé simplement « dual de A »[1] et noté A*[2].

Sommaire

Définition

Si A et B sont deux modules à gauche sur un anneau R, l'ensemble Hom(A,B) des morphismes de A dans B est un groupe pour l'addition.

Si B est non seulement un module à gauche mais un bimodule (c'est-à-dire s'il est aussi muni d'une structure de module à droite, compatible avec celle à gauche) alors Hom(A,B) est naturellement muni d'une structure de module à droite. C'est toujours le cas si l'anneau R est commutatif. S'il ne l'est pas, on peut considérer le bimodule particulier B=R :

Le dual A* d'un R-module à gauche A est le R-module à droite Hom(A,R).

(De même, le dual d'un R-module à droite A est le R-module à gauche Hom(A,R).)

Les éléments du dual A* sont donc les formes linéaires sur A[2].

Propriétés

Bidual

Le bidual de A est le dual du dual de A. Il existe un morphisme naturel de modules de A dans son bidual, mais le bidual de A n'est généralement pas isomorphe à A[1].

Somme et produit directs

Conformément à leur définition générale, le produit direct et la somme directe de modules vérifient la propriété universelle suivante :

\operatorname{Hom}(A,\prod_j B_j)\simeq\prod_j\operatorname{Hom}(A,B_j)\ ,\qquad\operatorname{Hom}(\bigoplus_iA_i,B)\simeq\prod_i\operatorname{Hom}(A_i,B)\ .

Dual de l'anneau

  • Hom(R,B)=B. En particulier, Hom(R,R)=R. L'anneau R est son propre dual.
  • Plus généralement, d'après le paragraphe précédent, Hom(Rj,B)=Bj[1].

Notes et références

  1. a, b et c [1]
  2. a et b [2]

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Dual d'un module de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Dual Inline Memory Module —   [dt. »Doppelreihen Speichermodul«], DIMM …   Universal-Lexikon

  • Dual Inline Memory Module — Als Dual Inline Memory Module (DIMM) (engl. etwa doppelreihiger Speicherbaustein) werden Speichermodule für den Arbeitsspeicher von Computern bezeichnet. Im Gegensatz zu Single Inline Memory Modulen (SIMM) führen DIMMs auf den Anschlusskontakten… …   Deutsch Wikipedia

  • Dual Inline Memory Module — Barette mémoire au format DIMM. Le DIMM (pour Dual Inline Memory Module) est un format de barrette mémoire vive qui est utilisé sur les ordinateurs depuis l’abandon progressif du format SIMM. Ce format est exploité par les mémoires SDRAM et DDR… …   Wikipédia en Français

  • Small Outline Dual Inline Memory Module — SO DIMM bestückt mit 128 MByte SDRAM in „Chip On Board Technologie“ (COB) …   Deutsch Wikipedia

  • Micro Dual-Inline Memory Module — Das Micro Dual Inline Memory Module (Micro DIMM) ist eine Bauform von Speichermodulen, die gegenüber dem SO DIMM noch weiter verkleinert ist. Dieses Miniatur Speichermodul ist konstruiert für den Einsatz als Arbeitsspeicher in Sub Notebooks. Es… …   Deutsch Wikipedia

  • 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 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 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

Share the article and excerpts

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