On Hopf Galois Hirata extensions. (Q1415244)

Summary: Let \(H\) be a finite-dimensional Hopf algebra over a field \(k\), \(H^*\) the dual Hopf algebra of \(H\), and \(B\) a right \(H^*\)-Galois and Hirata separable extension of \(B^H\). Then \(B\) is characterized in terms of the commutator subring \(V_B(B^H)\) of \(B^H\) in \(B\) and the smash product \(V_B(B^H)\#H\). A sufficient condition is also given for \(B\) to be an \(H^*\)-Galois Azumaya extension of \(B^H\).