Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|improve this question
add comment

1 Answer

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|improve this answer
add comment

Your Answer

 
discard

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.