Remarque

Étiquette 0DGQ, permanente. À citer comme [Bourbaki, Tag 0DGQ].

Algebra, chapter III, § 4. Produits tensoriels d’algèbres

Soit E une A-algèbre graduée de type $\mathbf{Z}$ anticommutative. Alors l’application A-linéaire de $E \otimes_A E$ dans E définie par la multiplication de E (III, p. 5) est un homomorphisme de la A-algèbre graduée $E^g \otimes_A E$ dans E, car avec les notations de la prop. 14, on a, dans l’algèbre E, $(xy)(x'y') = (-1)^{qp'}(xx')(yy')$ .

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.