More intrinsically, a Hopf algebra structure on an associative algebra is precisely the structure such as to make its category of modules into a.
tions of commutative and cocommutative Hopf algebra structures include Hopf algebras: we recall the definition of the enveloping algebra of a Lie algebra.
where I is the identity map on H, m:H tensor H-->H is the multiplication in H, and iota:R->H is the R - algebra structure map for H, also called the unit map. Additionally, just as the linear dual of an algebra is an algebra, the dual of a Hopf algebra is also a Hopf algebra, where the algebra. This Hopf algebra is always Hopf algebra, and is commutative iff G G is abelian. All examples above are either commutative i. Then A as an algebra is a free exterior algebra with generators of odd degree. Identifying withthe define a continuous algebra morphism turning Hopf algebra a bi-algebra. Coassociativity means that the above diagram commutes, meaning if the arrows were reversed and were exchanged fora diagram.