Module sur un anneau/Définitions

Leçons de niveau 16
Une page de Wikiversité, la communauté pédagogique libre.
Début de la boite de navigation du chapitre
Définitions
Icône de la faculté
Chapitre no 1
Leçon : Module sur un anneau
Retour auSommaire
Chap. suiv. :Module sur un anneau principal
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Module sur un anneau : Définitions
Module sur un anneau/Définitions
 », n'a pu être restituée correctement ci-dessus.

Ce premier chapitre peut être abordé dès le premier cycle universitaire ou en classes préparatoires en France, même si les notions sont souvent introduites en licence 3 ou en maitrise.

Dans tout ce chapitre, désigne un anneau.

Définition d’un module sur un anneau[modifier | modifier le wikicode]


On omet généralement le point dans la notation. Dans l'évaluation des expressions, on donne la précédence à la loi externe sur la loi de groupe de M. Par exemple, si et sont des scalaires et et des vecteurs, l'expression désigne Dans l'expression , on ne peut pas omettre les parenthèses. (En toute rigueur, il faudrait même écrire au lieu de , mais là le sens est clair, puisque la somme d'un vecteur et d'un scalaire n'est a priori pas définie.)

Remarques.

  1. On commet souvent l'abus de langage d'identifier le module ainsi défini avec l'ensemble sous-jacent du groupe additif M et de les noter M.
  2. Si l'anneau A est commutatif, les A-modules à gauche sont exactement les A-modules à droite. On dit alors simplement A-module.
  3. Désignons par l'élément nul de A et par l'élément nul de M. Alors, pour tout élément x de M, En effet, , d'où, d'après la simplifiabilité dans le groupe M (ou encore parce que le seul élément idempotent d'un groupe est son élément neutre),
  4. Désignons encore par l'élément nul de M. Pour tout scalaire , En effet, donc (puisque le seul élément idempotent du groupe M est )
  5. Si un anneau A est nul (c'est-à-dire réduit à son élément nul), tout A-module est nul. En effet, on a alors , donc si M est un A-module, on a, pour tout élément de M, , c'est-à-dire, d'après une précédente remarque,
  6. La loi externe part de A désigne en fait l'ensemble sous-jacent de l'anneau A (et où M désigne ce qu'on pourrait appeler l'ensemble sous-jacent du module M). Cette remarque éclaire la remarque qui suit.
  7. Dans les deux cas (module à gauche comme module à droite), la loi externe part de Il en résulte que les A-modules à droite sont exactement les -modules à gauche, où désigne l'anneau opposé de A. Cela correspond aux définitions données par Bourbaki[4]. Certains auteurs considèrent que la loi externe d'un A-module à gauche M part de (comme ici) mais que la loi externe d'un A-module à droite M part de Il n'est alors plus rigoureusement vrai que les A-modules à droite sont exactement les -modules à gauche : à un A-module à droite de loi externe , on associe un -module à gauche de loi externe
  8. Les espaces vectoriels à gauche (resp. à droite) sur un corps K sont exactement les K-modules à gauche (respectivement à droite).
  9. On fera dans le présent chapitre quelques remarques à l'intention du lecteur qui connaît les propriétés élémentaires des groupes à opérateurs. Soient A un anneau et M un A-module, par exemple à gauche. La loi externe de ce module possède (entre autres) la propriété suivante : pour tous éléments x, y de M et pour tout élément a de A, a(x+y) = ax + ay. Cela montre que la loi externe du A-module à gauche M fait de M un groupe abélien à opérateurs dans l'ensemble A (autrement dit un A-groupe abélien). Les A-modules à gauche sont donc les A-groupes abéliens possédant certaines propriétés dépendant de la structure d'anneau de A. Les sous-modules d'un A-module (à gauche ou à droite) M sont exactement les sous-groupes stables du A-groupe (groupe à opérateurs dans l'ensemble A) M.
  10. Si M est un A-module à droite, un élément de A et un élément de M, on écrit volontiers plutôt que . La condition
sur les modules à droite s'écrit alors (plus agréablement)
,
ce qui explique que, dans le cas des modules à droite, certains auteurs fassent partir la loi externe de plutôt que de


Début de l'exemple
Fin de l'exemple


Soit G, + un groupe commutatif. Il existe sur G une et une seule structure de -module dont la loi additive est la loi de G. On exprime souvent cela en disant (un peu improprement) que les -modules sont exactement les groupes commutatifs. Les sous-modules d’un -module sont exactement ses sous-groupes.


Remarque. La définition d'un homomorphisme de A-modules ne fait pas intervenir la structure d'anneau de A. Les homomorphismes d'un A-module M dans un A-module N sont exactement les homomorphismes de A-groupes (groupes à opérateurs dans l'ensemble A) du A-groupe M dans le A-groupe N.

On vérifie facilement que si et sont des A-modules, si f est un homomorphisme de dans et g un homomorphisme de dans , alors est un homomorphisme de dans (C'est d'ailleurs un cas particulier des propriétés analogues des homomorphismes de groupes à opérateurs.)


Remarque. Comme pour les homomorphismes, les isomorphismes de A-modules d'un A-module M sur un A-module N sont exactement les isomorphismes de A-groupes (groupes à opérateurs dans l'ensemble A) du A-groupe M sur le A-groupe N.

On vérifie facilement que le composé de deux isomorphismes de A-modules est un isomorphisme de A-modules et que l'application réciproque d'un isomorphisme de A-modules est un isomorphisme de A-modules.

La relation « M et N sont des A-modules tels qu'il existe un isomorphisme de M sur N » est une relation d'équivalence en M et N. Si deux A-modules sont dans cette relation d'équivalence, on dit qu'ils sont isomorphes.

Remarque. Deux A-modules sont isomorphes comme A-modules si et seulement s'ils sont isomorphes comme groupes à opérateurs dans l'ensemble A.

Module quotient[modifier | modifier le wikicode]

Commençons par des rappels sur les groupes quotients d'un groupe abélien.

Soient G un groupe abélien, noté additivement, et H un sous-groupe de G. Puisque G est un groupe abélien, le groupe quotient G/H de G par son sous-groupe H est défini. Rappelons que les éléments du groupe G/H sont les classes d'équivalence pour la relation d'équivalence (en x et y) « x et y sont des éléments de G congrus entre eux modulo H, c'est-à-dire tels que x - y appartienne à H ». Ces classes d'équivalence sont les parties de G de la forme , avec x dans G. Deux éléments et de G sont congrus modulo H si et seulement si Si et sont des éléments de G congrus entre eux modulo H, si et sont eux aussi des éléments de G congrus entre eux modulo H, alors et sont eux aussi congrus entre eux modulo H. Autrement dit, si et , alors On en déduit qu'il y a une et une seule loi telle que, pour tous éléments de G, On vérifie facilement que cette loi est une loi de groupe abélien sur G/H. Ce groupe est appelé le groupe quotient, ou le quotient, du groupe M par son sous-groupe N. La loi est habituellement notée +, comme celle de M.

Soient maintenant A un anneau, M un A-module, par exemple à gauche, et N un sous-module de M. Puisque M est un groupe abélien et N un sous-groupe de M, le groupe quotient M/N est défini et est un groupe abélien. Du fait que N est un sous-module de M, on tire facilement que si et sont des éléments de M tels que , si est un scalaire, alors (Vu la précédence de la loi externe d'un module sur l'addition dans ce module, on écrit plutôt cette relation sous la forme ) On en déduit qu'il existe une et une seule loi telle que, pour tout élément de M et tout élément de A, on ait On vérifie que, muni de cette loi externe, le groupe abélien M/N est un A-module à gauche.


On définit de façon semblable les quotients d'un module à droite.


Remarque. Soient A un anneau, M un A-module, à gauche ou à droite, et N un sous-module de M. Le A-module quotient M/N est exactement le quotient du A-groupe abélien (groupe à opérateurs dans l'ensemble A) M par son sous-groupe stable N.


Théorèmes d'isomorphisme pour les modules[modifier | modifier le wikicode]

Les trois théorèmes d'isomorphisme s'étendent des groupes (et en particulier des groupes abéliens) aux modules, sous la forme qui suit[6].

Début d’un théorème
Fin du théorème


Début d’un théorème
Fin du théorème


Début d’un théorème
Fin du théorème


Ces trois théorèmes peuvent s'obtenir immédiatement comme cas particuliers des théorèmes analogues pour les groupes à opérateurs. Le lecteur qui ne désire pas se familiariser avec les groupes à opérateurs peut rédiger les démonstrations lui-même, en notant qu'une partie des énoncés est fournie par les théorèmes d'isomorphisme relatifs aux groupes (abéliens en l'occurrence).

Passage d'un A-module à un module sur un anneau quotient de A[modifier | modifier le wikicode]

La présente section peut être omise en première lecture. On l'utilisera dans le chapitre Espace vectoriel/Dimension pour déduire de l'équipotence des bases d'un même espace vectoriel l'équipotence des bases d'un même module sur un anneau commutatif non nul.


Début d’un théorème
Fin du théorème

Démonstration facile, laissée au lecteur.

Rappelons qu'on a défini au chapitre Anneau (mathématiques)/Définitions l'anneau quotient d'un anneau A par un idéal bilatère de A.

Début d’un théorème
Fin du théorème



Début d’un théorème
Fin du théorème

Sous-module engendré par une partie d'un module[modifier | modifier le wikicode]

Soit A un anneau, soit M un A-module (à gauche ou à droite). Pour un ensemble non vide (ou une famille non vide) de sous-modules de M, on peut parler de l'intersection de ces sous-modules et on vérifie facilement que cette intersection est elle-même un sous-module de M.

Soit X une partie du A-module M. L'ensemble des sous-modules de M contenant X est non vide (car il comprend M), donc nous pouvons considérer l'intersection des sous-modules de M contenant X. D'après ce qui précède, cette intersection est un sous-module de M et c'est donc clairement le plus petit sous-module de M contenant X, « plus petit » étant relatif à la relation d'ordre d'inclusion.


Le lecteur vérifiera que le sous-module de M engendré par X est l'ensemble des éléments de M qui peuvent s'écrire

,

où les sont des scalaires et les des éléments de X. Une telle somme est appelée une combinaison linéaire d'éléments de X. Le sous-module de M engendré par X est donc l'ensemble des combinaisons linéaires d'éléments de X. Il est clair que dans une expression , on peut prendre les deux à deux distincts.


Produit direct et somme directe d'une famille de A-modules[modifier | modifier le wikicode]



Le produit direct et la somme directe de modules possèdent des propriétés analogues au produit direct et à la somme directe de groupes (voir Théorie des groupes/Produit direct et somme restreinte). On détaillera peut-être ces propriétés un jour.

Modules libres et de type fini[modifier | modifier le wikicode]

Une famille de vecteurs de M est dite :

  • génératrice de M si le morphisme est surjectif ;
  • libre lorsque ce morphisme est injectif.

Dire que la famille de vecteurs de M est une famille génératrice de M revient à dire que l'ensemble des « valeurs » de cette famille, c'est-à-dire l'ensemble des , est une partie génératrice de M, au sens qu'on a donné plus haut à cette expression.

Le module M est dit :

  • de type fini s'il possède une famille génératrice finie (ce qui revient à dire qu'il a une partie génératrice finie);
  • libre s'il possède une base, c'est-à-dire une famille génératrice et libre.
Début de l'exemple
Fin de l'exemple


En fait, l'expression « base d'un module » a encore un autre sens, légèrement différent.

On définit une partie libre d'un A-module M comme une partie B de M possédant la propriété suivante :

si I est un ensemble fini, si est une famille d'éléments de B telle que, pour tous distincts dans I, et soient distincts, alors la famille est libre, ce qui revient à dire que si est une famille de scalaires telle que , alors pour tout .

Une partie B de M est une partie libre de M si et seulement la famille (assimilable à l'application identique de B dans lui-même) est une famille libre d'éléments de M (au sens défini plus haut).

Convenons de définir une partie basique de M comme une partie libre et génératrice de M.

Une partie B de M est une partie basique de M si et seulement la famille (assimilable à l'application identique de B dans lui-même) est une base de M (au sens défini plus haut).

Une famille d'éléments de M est une base de M (au sens défini plus haut) si et seulement si les deux conditions suivantes sont satisfaites :

a) pour tous distincts dans ,
b) l'ensemble des valeurs de la famille , autrement dit l'ensemble , est une partie basique de M.

Ce que nous avons appelé « partie basique » est en fait appelé couramment «  base ». On emploie donc le mot «  base » dans deux sens différents[7]. Pour distinguer entre les deux sens, il nous arrivera de parler de « famille basique » et de « partie basique ». Il est tantôt plus intéressant de considérer des familles basiques, tantôt des parties basiques.

On dit qu'un vecteur x d'un A-module M est libre si le singleton est une partie libre ce ce module. Cela revient à dire que le seul scalaire tel que est . Si l'anneau A est non nul, un vecteur libre est forcément non nul; en effet, et, puisque A est non nul, , donc le vecteur nul n'est pas libre.

Toute partie d'une partie libre d'un module est libre, donc tout élément d'une partie libre d'un module est libre. D'après ce qui précède, il en résulte que si A est un anneau non nul et M un module, tout élément d'une partie libre de M est non nul.

On a défini un module libre comme un module ayant (au moins) une famille basique; cela équivaut à ce que ce module ait (au moins) une partie basique. Un module n'est pas forcément libre, c'est-à-dire n'a pas forcément de base. Par exemple, si est un nombre naturel distinct de 0 et de 1, le -module quotient n'a pas de base. (Le lecteur est invité à le démontrer.)

Début d’un théorème
Fin du théorème

Démonstration laissée au lecteur. On a un énoncé analogue avec des parties basiques au lieu de familles basiques :

Début d’un théorème
Fin du théorème


Soient A un anneau et M un A-module.Nous allons prouver que si un A-module M a une base (partie basique) infinie, alors toutes les bases de M sont équipotentes. Commençons par un lemme.

Début d’un théorème
Fin du théorème
Début d’un théorème
Fin du théorème

Le point 1° du théorème qui précède montre qu'un module est à la fois libre et de type fini si et seulement s'il admet une partie basique finie.

Si un A-module admet une partie basique finie, alors, d'après le théorème qui précède, toutes ses parties basiques sont finies. Il n'est cependant pas forcément vrai que toutes ses parties basiques sont équipotentes. Par exemple, si A est un anneau nul, tout A-module M est nul et admet exactement deux bases, à savoir et , or ces deux bases ne sont pas équipotentes. De façon moins triviale, on peut trouver un anneau non nul A tel que, pour tout nombre naturel , le A-module à gauche ait une partie basique de cardinal (Voir une démonstration à l'exercice 2.13 de la page Espace vectoriel/Exercices/Rang, dimension.) Cependant, on peut prouver que toutes les parties basiques d'un même A-module sont équipotentes si A est (non limitativement) d'un des trois types suivants :

1° un corps;
2° un anneau commutatif non nul;
3° un anneau fini non nul.

(Les points 1° et 2° sont démontrés au chapitre Espace vectoriel/Dimension. Le lecteur peut démontrer le point 3° en exprimant le cardinal d'un A-module à gauche libre de type fini en fonction du cardinal de l'anneau et du cardinal d'une base du module.)

Pour un espace vectoriel, la dimension d'un sous-espace est toujours inférieure ou égale à la dimension de l'espace. Mais pour un module M de type fini, un sous-module n'est pas nécessairement de type fini (même si M est libre). Par exemple pour un anneau de polynômes en plusieurs indéterminées sur un anneau commutatif , l'idéal engendré par les (sous-module du -module ) n'est de type fini que si est fini. Cependant :

Début d’un théorème
Fin du théorème


A-module libre engendré par l'ensemble X[modifier | modifier le wikicode]

Soient A un anneau et X un ensemble. On a vu que les deux lois de composition de l'anneau A font de A un A-module à gauche, parfois noté , et que les deux lois de composition de l'anneau (anneau opposé de A) font de un A-module à droite, parfois noté Considérons la famille de A-modules à gauche tous égaux à La somme directe de cette famille de A-modules à gauche est un A-module à gauche. De même, la somme directe de la famille de A-modules à droite tous égaux à est un A-module à droite.

L'ensemble sous-jacent du A-module à gauche comme du A-module à droite est l'ensemble des familles de support fini d'éléments de A, indexées par X. Selon la définition qu'on adopte des familles (applications ou graphes), le A-module à gauche est donc identique ou canoniquement isomorphe à l'ensemble des applications de support fini de X dans A, muni de l'addition point par point définie par et de la loi externe définie par De même, le A-module à droite est identique ou canoniquement isomorphe à l'ensemble des applications de support fini de X dans A, muni de l'addition point par point définie par et de la loi externe définie par

Au lieu de dire « le A-module à gauche  », nous dirons aussi « le A-module à gauche  » et au lieu de dire « le A-module à droite  », nous dirons aussi « le A-module à droite  ».

Si l'anneau A est commutatif, le A-module à gauche et le A-module à droite sont identiques.

Si l'anneau A est nul, le A-module est nul, comme tout module sur un anneau nul.

Début d’un théorème
Fin du théorème

Démonstration laissée au lecteur.

D'après le théorème qui précède, le A-module à gauche est libre (même dans le cas exceptionnel où A est nul) et, si A est non nul, ce A-module admet une base canoniquement équipotente à X; par abus de langage, cette base est alors identifiée à X. Même chose pour le A-module à droite


Si l'anneau A est commutatif, le A-module à gauche libre engendré par X et le A-module à droite libre engendré par X sont identiques et on dit simplement « le A-module libre engendré par X ».

Début d’un théorème
Fin du théorème

Remarque. Le A-module engendré par un ensemble X sert à définir le produit tensoriel d'une famille de A-modules.

Notes et références[modifier | modifier le wikicode]

  1. N. Bourbaki, Algèbre, chapitres 1 à 3, Hermann, 1970, p. II.2.
  2. P. Tauvel, Algèbre, 2e éd., 2010, p. 93.
  3. S. Lang, Algèbre, 3e éd., Dunod, 2004, p. 126-127, désigne les scalaires par des lettres minuscules du début de l'alphabet latin et les vecteurs par des lettres minuscules de la fin du même alphabet.
  4. N. Bourbaki, Algèbre, Chapitres 1 à 3, Hermann, 1970, p. II.1 et II.2.
  5. Pour les notations As et Ad, voir N. Bourbaki, Algèbre, Chapitres 1 à 3, Hermann, 1970, p. II.2-3.
  6. Voir S. Lang, Algèbre, 3e éd., Paris, Dunod, p. 129.
  7. N. Bourbaki, Algèbre, Chapitres 1 à 3, Hermann, 1970, p. II.25 et II.26, indique les deux significations.
  8. Voir par exemple N. Bourbaki, Théorie des ensembles, Hermann, 1970, ch. III, § 6, n° 3, p. III.47, théorème 2.
  9. S. Lang, Algèbre, 3e éd., Dunod, 2004, p. 145.