L’intersection d’une famille de sous-modules est un sous-module, et on adonc
une notion de sous-module engendr´epar une partie non vide F⊂M:le plus
petit sous-module qui contientF.
Proposition 7.1.5. Lesous-module engendr´epar F⊂Mest l’ensemble
C(F)des combinaisons lin´eaires des ´el´ements de F.
D´efinition 7.1.6. La somme (interne) d’une famille de sous-modules de M
est le sous-module engendr´epar la r´eunion. On la note :X
i∈I
Mi.
D´efinition 7.1.7. Une application f:M→Nentre les A-modules Met N
est A-lin´eaire si et seulementsi elle respecte les combinaisons lin´eaires :
∀(a, b)∈A2∀(v,w)∈M2f(a.v +b.w)=a.f(v)+b.f(w).
Les applications A-lin´eaires de Mvers Nformentun module not´e
HomA(M,N). Les applications A-lin´eaires de Mdans M(endomorphismes)
formentune alg`ebre sur A,not´eEndA(M). L’application r´eciproque d’un en-
domorphisme bijectif est lin´eaire :les endomorphismes bijectifs du A-module
Mformentun groupenot´eGLA(M).
Proposition 7.1.8. Image et noyau d’une application lin´eairesont des sous-
modules.
Changementd’anneau
Si Best une A-alg`ebre, tout B-module est aussi un A-module.
7.2 Module quotient
Proposition 7.2.1. Soit Nun sous-module d’un A-module M,alors
l’op´eration externe induit sur le groupeab´elien quotient M/Nune structure
de A-module.
Proposition 7.2.2 (Factorisation d’un morphisme d’anneau).Soit
f:M→M′une application lin´eaire, Nun sous-module de M,
p:M→M/Nla projection canonique.L’application lin´eaireffacto-
rise par le quotient M/Nsi et seulement si N⊂Ker(f).Lemorphisme ga
mˆeme image que fet est injectif si et seulement si N=Ker(f).
Corollaire 7.2.3 (Premier th´eor`eme d’isomorphisme).Soit f:M→Nune
application lin´eaire, alors le quotient M/Ker(f)est isomorphe `a l’image de
f.
38