A Hopf ideal? is a bialgebra ideal which is invariant under the antipode map.
If is a bialgebra and a bialgebra ideal then the quotient associative algebra has a natural structure of a bialgebra. Moreover, if is a Hopf algebra and is a Hopf ideal then the projection will be an epimorphism of Hopf algebras.
Revised on September 23, 2010 03:25:28
by Toby Bartels