Soient
un anneau
commutatif de type fini et
un anneau commutatif noethérien. On montre que, dans la catégorie des foncteurs des
-modules projectifs de
type fini vers les
-modules,
tout foncteur polynomial de type fini est noethérien et possède une résolution
projective de type fini.
Let
be a finitely generated
commutative ring and
a noetherian commutative ring. We show that, in the category of functors from finitely generated
projective
-modules
to
-modules,
each finitely generated polynomial functor is noetherian and has a finitely generated
projective resolution.