## [Bialgèbre](/fr/node/63778) Définition Une bialgèbre est un espace vectoriel ou un module muni à la fois d'une structure d'algèbre associative unitaire (multiplication et unité) et d'une structure de coalgèbre coassociative counitaire (comultiplication et co‑unité), avec des conditions de compatibilité qui font de la comultiplication et de la co‑unité des homomorphismes d'algèbres (ou, de façon équivalente, de la multiplication et de l'unité des homomorphismes de coalgèbres). ## Principe Principe Principe de compatibilité : la multiplication algébrique et la comultiplication coalgebrique doivent interagir de façon cohérente, la comultiplication préservant les produits et la co‑unité préservant l'unité, ce qui fait de l'ensemble une seule structure cohésive. ## Démonstration Démonstration Exemple concret : l'algèbre de groupe k[G] munie de la multiplication linéarisée et de la comultiplication définie sur les éléments g par Δ(g)=g⊗g et de la co‑unité ε(g)=1 est une bialgèbre ; la structure tensorielle encode la duplication compatible avec la multiplication. ## Mauvaise application Mauvaise application Considérer comme bialgèbre un espace muni indépendamment d'une structure d'algèbre et d'une structure de coalgèbre sans vérifier la compatibilité (par exemple, une comultiplication qui n'est pas multiplicative). ## Conséquence Conséquence La bialgèbre permet des constructions mêlant méthodes algébriques et coalgébriques : dualités en dimension finie, interaction entre modules et comodules ; si l'on peut adjoindre une antipode on obtient une algèbre de Hopf avec des propriétés d'inversion formelle. ## Inversion Inversion Inversement, on obtient soit une algèbre sans comultiplication compatible, soit une coalgèbre sans multiplication compatible ; les flèches des applications structurales sont alors inversées. ## Limite Limite S'énonce sur un anneau de base ou un corps avec des applications linéaires vérifiant les axiomes d'associativité/coassociativité et d'unité/co‑unité ; toutes les algèbres ou coalgèbres n'admettent pas de partenaire compatible et les duals en dimension infinie exigent des précautions topologiques ; les variantes topologiques ne sont pas incluses sauf indication. ## Tension sémantique Tension sémantique Tension sémantique entre bialgèbre et algèbre de Hopf : la Hopf algèbre est une bialgèbre munie d'une antipode, ce qui modifie radicalement les propriétés catégoriques et d'inversion. ## Synthèse Synthèse La bialgèbre réconcilie multiplication et comultiplication sur un même objet linéaire selon des conditions de compatibilité explicites, formant le cadre algébrique pour les constructions de type groupe, symétrie et pour passer entre représentations algébriques et coalgebriques.