INTRODUCTION
Soient Kun corps commutatif, E
un
espace vectoriel sur K, nous savons déjà
que les conditions suivantes sont équivalentes.
1°)
Eest
un
espace vectoriel de dimension finie sur
K.
2°) Tout endomorphisme surjectif
de
Eest
un
automorphisme.
3°) Tout endomorphisme injectifde Eest un automorphisme.
Soient A
un
anneau (non nécessairement commutatifj, M
un
A-module il
gauche
et
a[M]
la
catégorie des modules Msous engendrés.
Dans [5]
il
est démontré les propositions suivantes:
a)
Si
Nélément de
a[M]
est noethérien alors tout endomorphisme surjectif
cie
Nest
un
automorphisme.
b)
Si
Nélément de
a[M]
est at1inien alors tout endomorphisme
in
je
cl
if
de
N
est
un
automorphisme.
c)
Si
Nélément de
a[M]
est
de
longueur finie alors tout endomorphisme
injectif ou
surjectifest
un
automorphisme.
Cependant les réciproques de ces propositions sont en général fausses.
En
effeL
le
Zè-module
1O
est
tel
que, tout endomorphisme
de
1O
est
un
automorphisme. alors que
j'ensemble
1O,
considéré comme Zè-module, n'est
ni
artinien
ni
noethérien.
L'objet
de
notre étude est de
trOLlYer
une caractérisation des modules Mqlll
sont tels que
si
un
élément de
a[M]
vérifie
la
propriété (S) alors
il
est noethérien. Ces
modules seront appelés S-modules. Rappelons qu'un module Msur
un
anneau Aest dit
vérifier
la
propriété (S)
si
tout endomorphisme surjectif
de
Mest
un
automorphisme
de
M.
2