field , the k -valued k functions on a finite group form a Hopf algebra. Given a subgroup , there is an induced map of Hopf algebras B ⊂ G , which is a k [ G ] → k [ B ] surjective homomorphism of commutative Hopf algebras. Similarly, for Hopf algebras of ? regular functions on an ? algebraic group over a field.
The generalization to noncommutative Hopf algebras hence may be viewed as describing the notion of a
quantum subgroup, or in the ? bialgebra version of a quantum sub semigroup.
However there is also a weaker notion of a quantum subgroup, and also a dual notion (e.g. via
coideal subalgebras). Definition
- k bialgebra , a H quotient bialgebra is a bialgebra equipped with an Q epimorphism of bialgebras . π : H → Q
If both bialgebras are
Hopf algebras then the epimorphism will automatically preserve the antipode. Quotient bialgebras from bialgebra ideals
is an bialgebra ideal ? ideal in the sense of associative unital algebras which is also a coideal of coassociative coalgebras. ?
is a bialgebra ideal which is invariant under the Hopf ideal antipode map.
is a bialgebra and H a bialgebra ideal then the quotient associative algebra I ⊂ H has a natural structure of a bialgebra. Moreover, if H / I is a Hopf algebra and H is a Hopf ideal then the projection I ⊂ H will be an epimorphism of Hopf algebras. H → H / I
Revised on September 23, 2010 03:25:28