1.1. Premi`eres d´efinitions
´etant consid´er´es comme des modules `a gauche. On adapte facilement la d´efinition
ci-dessus pour d´efinir les modules `a droite (en faisant agir Apar la droite).
Remarque 1.1.2 On dit que la loi externe fournit une action de Asur l’ensem-
ble M(mˆeme si Apour la multiplication n’est pas un groupe).
{ex0chap1}
Remarque 1.1.3 Remarquons que si Mest un A-module, la bi-additivit´e im-
plique que pour tout m∈M, on a (0 + 0).m = 0.m + 0.m et donc 0.m = 0.
{inverse}
Remarque 1.1.4 Une autre remarque importante : comme Aest un anneau
unitaire , on dispose de l’unit´e 1 et de l’inverse de cet ´el´ement (pour la loi
d’addition) qui est not´e −1. On a alors (1 + (−1)).m = 0 pour tout m∈M,
ceci implique (−1).m =−ml’inverse de mpour la loi d’addition.
Exemple 1.1.5 Soit Aun anneau commutatif et soit Iun id´eal de A, c’est `a
dire un sous-groupe de Apour la loi d’addition qui v´erifie la propri´et´e suivante :
∀a∈A, ∀i∈I, ai ∈I
Ainsi on a une loi : A×I→I
(a, m)7→ am
donn´ee par la multiplication dans A. Les trois axiomes de modules sont v´erifi´es
et on en conclut donc que Iest un A-module. Donc tout id´eal d’un anneau est
aussi un module sur celui-ci. En particulier Aest un A-module. Attention, la
r´eciproque est fausse : tout A-module n’est pas forc´ement un id´eal de A, un
A-module n’´etant pas n´ecessairement contenu dans A, comme nous le voyons
dans l’exemple suivant !
{chap1exn}
Exemple 1.1.6 Soit n∈N, alors le groupe commutatif Z/nZest un Z-module.
La loi externe est donn´ee par
Z×Z/nZ→Z/nZ
(a, m +nZ)7→ am +nZ
qui, comme on peut facilement v´erifier, satisfait aux trois axiomes ci-dessus.
{chap1exn2}
Exemple 1.1.7 Si Aest un anneau commutatif alors l’anneau des polynˆomes
A[X] est un A-module pour la loi
A×A[X]→A[X]
(a, P )7→ a.P
“.” d´esignant la multiplications dans A[X].
Soit Kun corps. Alors, il est clair que les K-modules sont exactement les K-
espaces vectoriels. Ainsi, on peut penser un A-module comme une g´en´eralisation
d’espace vectoriel ... sur un anneau. Attention, cependant, beaucoup de r´esultats
valables sur les espaces vectoriels ne seront pas vrai dans ce nouveau cadre.
Concernant la structure de module, il est souvent ais´e de se servir de la
caract´erisation suivante :
4