Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|cite|improve this question
Do edit the question to include all relevant information, though. – Mariano Suárez-Alvarez Sep 13 '12 at 17:52
up vote 3 down vote accepted

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.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.