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

There is a theorem that if a Hopf algebra $H$ is commutative or cocommutative, then $S^2=id_H$, where $S$ denotes the antipode.

May I know if the converse is true?

(i.e. if $S^2=id_H$, does it follow that $H$ is commutative or cocommutative?)

If no, what would be the simplest counter-example?

Sincere thanks for any help!

share|cite|improve this question
The simplest counterexample is a tensor product of a commutative non-cocommutative Hopf algebra with a cocommutative non-commutative Hopf algebra. – darij grinberg Aug 12 '15 at 20:17

The converse is not true, Sweedler's 4-dimensional Hopf algebra (first example of a non-comm and non-cocomm Hopf algebra) is a counter example. This example is completely taken from section 4.3.6 of "Hopf Algebras" by Dascalescu, Nastasescu and Raianu.

Let $k$ be a field of characteristic $\neq 2$. As a vector space, define $H = \langle 1, c, x, cx \rangle$ to be 4-dimensional over $k$. Define the multiplication by $c^2 = 1, x^2=0, xc = -cx$ and the unit to be $1$. Define the comultiplication $\Delta(c) = c \otimes c$ and $\Delta(x) = c \otimes x + x \otimes 1$, and the counit $\epsilon(c) = 1$ and $\epsilon(x) = 0$. Finally, let the antipode be $S(c) = c^{-1} = c$ and $S(x) = -cx$.

By using that $S$ is an antimorphism we have $S(cx) = S(x)S(c) = -cxc = xcc = x$ and thus $S^2(cx) = S(x) = -cx \neq cx$ because $k$ is of characteristic $\neq 2$.

share|cite|improve this answer
This is a nice example (please don't delete it!), but not an answer to the question... – darij grinberg Aug 12 '15 at 20:16

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.