Chapitre 1
Anneaux-Modules
1.1. Les anneaux-modules et leurs homomorphismes
Dans ces notes, les anneaux sont tous supposés unitaux (non nuls), leur
addition est le plus souvent désignée par « +», leur multiplication par « ·»
bien que ce « ·» soit le plus souvent omis de la notation, leur neutre additif
est désigné par « 0» et leur neutre multiplicatif par « 1». De même, les
homomorphismes d’anneaux ici considérés sont tous des homomorphismes
d’anneaux unitaux, ce qui signifie qu’ils appliquent le neutre multiplicatif
du premier anneau sur le neutre multiplicatif du second.
Dans la définition d’espace vectoriel sur un corps K, remplaçons le
corps par un anneau (unital), nous obtenons alors la définition d’anneau-
module, à gauche ou à droite, selon que les coefficients, c.-à-d. les éléments
de l’anneau, s’écrivent à gauche ou à droite des éléments du module. Plus
précisément, nous avons.
Définition 1.1.1. Soit Aun anneau. Un A-module gauche est un groupe
commutatif (M, +) muni d’une multiplication scalaire à gauche par les élé-
ments de l’anneau A, c.-à-d. d’une fonction
A×M→M: (a, w)7→ aw
telle que, ∀a, b ∈A, ∀v, w ∈M, on a :
a(v+w) = av +aw,(a+b)v=av +bv (double distributivité),
a(bv) = (ab)v(associativité mixte),
1v=v.
Le neutre du groupe additif (M, +) sera aussi désigné par 0.
Observons les identités suivantes valables pour un A-module gauche :
∀a∈A, ∀w∈M, 0w= 0, a0 = 0,(−1)w=−w.
De la même façon, un A-module droit est un groupe commutatif
(M, +) muni d’une multiplication scalaire à droite par les éléments de l’an-
1