Algèbre de Hopf

Une algèbre de Hopf est une bialgèbre (une algèbre associative avec une structure de coalgèbre coassociative compatible : comultiplication Δ et counit ε) munie d'un antipode S, une application linéaire jouant le rôle d'inverse catégorique pour la convolution et vérifiant des axiomes d'accord entre structures algébriques et coalgébraiques.