On the order of the antipode of hopf algebras (Q4236935)

Let \(H\) be a Hopf algebra of dimension \(n\) over a field \(k\), and \(R\) a finite dimensional semisimple Hopf algebra in the category \(^H_H\mathcal{YD}\) of Yetter-Drinfeld modules over \(H\). It is conjectured that the order of the antipode of \(R\) divides \(2n\). Related to this conjecture, the following question is considered. For what Hopf algebras \(H\) of dimension \(n\) the property: (Q1) \(\sum h_1h_2\cdots h_n=\varepsilon(h)1_H\) is satisfied for any \(h\in H\)? The author proves the conjecture in the case where the characteristic of \(k\) is zero, \(H\) is semisimple, and (Q1) holds. It is proved that (Q1) holds for certain crossed product Hopf algebras produced from group algebras, for semisimple Hopf algebras of dimension \(p^3\) (prime \(p\)), and for certain semisimple Hopf algebras of dimension \(pq^2\) (prime \(p\) and \(q\)).