Exercice 5, § 11

Soient $E_1, E_2$ deux bigèbres sur A. Montrer que sur le produit tensoriel $E_1 \otimes_A E_2$, les structures d’algèbre et de cogèbre produits tensoriels de celles de $E_1$ et $E_2$ définissent sur $E_1 \otimes_A E_2$ une structure de bigèbre.