Hopf module duality applied to X-outer Galois theory. (Q1398176)

A finite-dimensional Hopf algebra \(H\) is a Frobenius algebra, that is, \(H\cong H^*\) as \(H\)-modules. This duality is generalized for certain actions of Hopf algebras on prime algebras as follows: Let \(H\) be a finite-dimensional pointed Hopf algebra and let \(R\) be an \(H\)-module algebra. Let \(Q\) denote the symmetric Martindale quotient ring of \(R\). It is known that the action of \(H\) on \(R\) is uniquely extended to \(Q\) so that \(Q\) is an \(H\)-module algebra as well. The center \(K\) of \(Q\) is a field, and if the action is X-outer in the sense of \textit{A. Milinski} [Commun. Algebra 23, No. 1, 313-333 (1995; Zbl 0827.16027)], then \(K\) is \(H\)-stable. In this case one can form the smash product \(K\#H\), which is a right \(H\)-comodule algebra. Let \({\mathcal A}_{K\#H/K}\) denote the set of all \(H\)-comodule subalgebras of \(K\#H\). Given \(A\in{\mathcal A}_{K\#H/K}\) we have the categories \(_K{\mathcal M}^H_A\) and \(_A{\mathcal M}^H_K\) whose objects are \((H,A)\)-Hopf modules with a \(K\)-module structure that commutes with the Hopf module structure. The authors prove the following generalized duality: For any \(A\in{\mathcal A}_{K\#H/K}\) there is an isomorphism \[ A_\beta\cong\Hom_K(A,K)[g_R]\in{_A{ \mathcal M}^H_K}, \] where \(\beta\) and \([g_R]\) indicate twisting the structure through \(\beta\in\Aut(K)\) and \([g_R]\), the right multiplication by \(g\in G(H)\). The above isomorphism implies, as in the classical case, the existence of generalized integral for \(A\). Such an integral was used by \textit{S. Westreich} and \textit{T. Yanai} [J. Algebra 246, No. 2, 629-640 (2001; Zbl 0993.16028)] to prove a Galois-tye correspondence theory for outer actions of finite-dimensional pointed Hopf algebras over a field of characteristic zero. Since the integral computed here does not depend on the characteristic of \(k\), the Galois-type correspondence theory is completed now with no restrictions on the characteristic.