Exercice 25, § 1

Soit $\Delta$ un groupe commutatif totalement ordonné. Étendre aux anneaux gradués de type $\Delta$ les propositions 20 et 21 du no 8 (pour la prop. 20, utiliser l’exerc. 24; pour la prop. 21, généraliser le lemme 4 du no 8 au cas où $\Delta$ est de type fini, puis démontrer la prop. 21 en passant à la limite inductive).