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.
Notation $A // B$
1
$\begingroup$
ring-theory
notation
-
0Do edit the question to include all relevant information, though. – 2012-09-13
1 Answers
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.