Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
1  
You can write to Sonia. –  Mariano Suárez-Alvarez May 29 '11 at 2:33
add comment

1 Answer

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|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
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.