Exercice 3, § 2

Soient $A$ un anneau filtré, $E$ un $A$-module de type fini. Montrer que si on munit $E$ de la filtration déduite de celle de $A$, $\operatorname{gr}(E)$ est un $\operatorname{gr}(A)$-module de type fini (cf. exerc. 5 c)).