Clifford theory for cocentral extensions. (Q532579)

Let \(A\) be a semisimple Hopf algebra over an algebraically closed field of characteristic zero. If \(B\) is a normal Hopf subalgebra of \(A\), and \(M\) is an irreducible \(B\)-module, the conjugate \(B\)-modules are considered. The stabilizer \(Z\) of \(M\) is a Hopf subalgebra of \(A\) containing \(B\). The author says that the Clifford correspondence holds for \(M\) if induction from \(Z\) to \(A\) provides a bijection between the sets of \(Z\)- (respectively, \(A\))-modules that contain \(M\) as a \(B\)-submodule. It is shown that the Clifford correspondence holds for \(M\) if and only if \(Z\) is a stabilizer in the sense of \textit{S. J. Witherspoon} [J. Algebra 218, No. 2, 608-620 (1999; Zbl 0941.16026)]. It is proved that the Clifford correspondence holds for cocentral extensions.