MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

I am reading Natale's book [S. Natale, Semisolvability of semisimple Hopf algebras of low dimension, Mem. Amer. Math. Soc. 186 (2007), 123 pp.]. I can not understand a sentence "But this is not possible since ${\rm dim}A^{co q} = 9$....." from the proof of Theorem 12.2.1. In my option, there are severa possible values of ${\rm dim}A^{co q}$ since we do not know the exact order of $\eta$, and the sentence above holds true if and only if $|\eta|=2$. Who can explain it for me? Thanks a lot!

share|cite|improve this question
You can write to Sonia. – Mariano Suárez-Alvarez May 29 '11 at 2:33

One has that $dim(A)=dim\;(A^{co\; q})dim\;q(A)$. The claim is that $dim\;q(A)=2$, I don't know if $q$ restricted to $A$ is surjective.

share|cite|improve this answer
It's the transpose of an inclusion, so of course it must be surjective! – darij grinberg May 29 '11 at 10:28

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.