Module sur un anneau/Module sur un anneau principal

Début de la boite de navigation du chapitre

Dans ce chapitre, A est un anneau principal.

Module sur un anneau principal
Icône de la faculté
Chapitre no 2
Leçon : Module sur un anneau
Chap. préc. :Définitions
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Module sur un anneau : Module sur un anneau principal
Module sur un anneau/Module sur un anneau principal
 », n'a pu être restituée correctement ci-dessus.

Modules libres sur les anneaux principaux modifier

On a vu que tout anneau B est un B-module libre. Mais lorsque B n'est pas un anneau principal, il existe des sous-modules non libres de ce module libre : tous les idéaux non principaux de B. À l'inverse :

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


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


Théorème de la base adaptée modifier

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


Le théorème généralise le théorème de la base incomplète pour les espaces vectoriels. Si K est un corps, et que F est un sous-K-espace vectoriel de E, toute base de F se complète en une base de E. En dimension infinie, le théorème de la base adaptée est une conséquence de l’axiome du choix. Cependant en dimension finie, le résultat peut s'obtenir par récurrence sur la dimension.

Pour un module, malheureusement, on ne peut pas compléter une base d'un sous-module. La difficulté tient en l'inexistence d'un "supplémentaire" : 2Z n'a pas de supplémentaire dans Z. Cependant, le théorème de la base adaptée affirme qu'on peut définir simultanément des bases d'un module et de son sous-module.

La preuve du théorème de la base adaptée s'effectue aussi par récurrence sur le rang n de M. Pour n=1, le A-module libre de rang 1 M est isomorphe à A. Comme A est principal, ses sous-A-modules sont d.A avec d élément de A. Le résultat annoncé est donc vérifié. Reste à vérifier l'induction. L’idée est de définir pour commencer   convenablement pour appliquer l'hypothèse de récurrence à un "supplémentaire".

Classification des modules de type fini modifier

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


L'existence est une conséquence du théorème de la base adaptée. Dire que M est de type fini équivaut à l’existence d'un morphisme surjectif  . On dispose donc de la suite exacte :

 .

En particulier, M est le conoyau de  . Donc, M est isomorphe au module quotient  . Appliquons le théorème de la base adaptée au sous-module N de  . Il existe une base   de  , des facteurs  , avec   un diviseur de   pour i<n, tels que   engendre N. Donc :

 .

L'unicité demande un travail supplémentaire :

Note modifier

  1. Cette démonstration dans le cas fini est donnée par A. Ducros (université de Rennes I), p. 1-2 de « Modules de type fini sur un anneau principal ». Pour le cas général (qui utilise le lemme de Zorn), on pourra consulter l'ouvrage (en anglais) de Serge Lang, Algebra, Addison-Wesley, 1965, 8e impression (1978) appendice 2, § 2, p. 506-507, ou sa traduction en français, Algèbre, Dunod, 2004 (ISBN 2-10-007980-8).