title: Bialgèbre de Lie
text: # Bialgèbre de Lie
  
  En mathématiques, une bialgèbre de Lie est une algèbre de Lie munie d'une application
  
  $\delta :{\mathfrak {g}}\longrightarrow {\mathfrak {g}}\otimes {\mathfrak {g}}$
  
  (appelée coproduit ou cocommutateur) telle que l'application duale $\delta ^{*}$ soit un crochet de Lie, et telle que $\delta$ soit un cocycle :
  
  $\delta ([X,Y])=\left(\operatorname {ad} _{X}\otimes 1+1\otimes \operatorname {ad} _{X}\right)\delta (Y)-\left(\operatorname {ad} _{Y}\otimes 1+1\otimes \operatorname {ad} _{Y}\right)\delta (X).$
  
  Remarque importante : Une bialgèbre de Lie n'est pas a proprement parler une bialgèbre. En effet, on exige en général d'une bialgèbre que son algèbre sous-jacente soit unitaire et associative.
  
  