Exercice 6, § 11

Soit M un A-module gradué de type N. Définir une structure de bigèbre graduée gauche sur l’algèbre anticommutative universelle $G(M)$ (III, p. 190, exerc. 13); en déduire un homomorphisme canonique d’algèbres graduées $G(M^*) \to G(M)^{*gr}$, et des notions de produit intérieur entre éléments de $G(M)$ et éléments de $G(M^*)$.