The Connes spectrum of finite dimensional Hopf algebra (Q1192402)

Let \(H\) be a finite dimensional semisimple Hopf algebra and let \(A\) be an \(H\)-module algebra. This paper obtains necessary and sufficient conditions for the smash product \(A\# H\) to be prime. The special case of the dual group algebra \(H=K[G]^*\) was considered earlier by \textit{S. Montgomery} and the reviewer [in J. Algebra 115, 92-124 (1988; Zbl 0639.16002)]. Based on that work, Montgomery conjectured that the general answer would depend upon the action of \(H\) on the hereditary subalgebras of \(A\), namely those \(B=RL\) where \(R\) and \(L\) run over the \(H\)-stable right and left ideals of \(A\), respectively. The conjecture was basically correct and the answer given here is that \(A\# H\) is prime if and only if \(A\) is a faithful left \(A\# H\)-module and each \(B\neq 0\) is a faithful \(H\)-module. A completely different answer to this problem was obtained by \textit{J. Osterburg, D. Quinn} and the reviewer [in Contemp. Math. 130, 311-334 (1992)].