1
$\begingroup$

Quick question: When $A$ and $B$ are Hopf algebras, what does $A /\!\!/ B$ stand for exactly? In context, it seems to be a type of quotient, but I need to be sure.

  • 0
    Do edit the question to include all relevant information, though.2012-09-13

1 Answers 1

3

Are they just rings? If they are Hopf algebras and $B$ is a normal subalgebra of $A$, then $A//B$ usually denotes the Hopf quotient, which as an algebra is the quotient of $A$ by the ideal generated by the augmentation ideal of B. This can be generalized to augmented algebras —it is done in Cartan-Eilenberg, for example.

If $A$ and $B$ are the group algebras of a group and a normal subgroup, then the Hopf quotient is isomorphic to the group algebra of the quotient group; a similar observation works for enveloping algebras of Lie algebras and their ideals. This motivates the construction.