No label defined (Q4025959)

[For the entire collection see Zbl 0745.00066.] Let \(H\) be a finite dimensional Hopf algebra. The authors consider algebras \(A\) in the category \({_ H{\mathcal M}}\) of \(H\)-modules. These algebras are called \(H\)-semiprime, \(H\)-prime, of \(H\)-simple, if they are such in the category \({_ H{\mathcal M}}\). Furthermore \(H\) is called strongly semiprime, if the smash product \(A\# H\) is semiprime for all \(H\)-semiprime algebras \(A\). The authors are interested in giving conditions for \(A\# H\) to be prime or simple. Their main result assumes that \(H\) is strongly semiprime over a splitting field \(K\). They show that \(A\# H\) is prime iff \(A\) is \(H\)- prime and the Connes spectrum \(CS(A,H)\) coincides with the set of all irreducible representations of \(H\). Furthermore \(A\# H\) is simple iff \(A\) is \(H\)-simple and the strong Connes spectrum \(CS^*(A,H)\) coincides with the set of all irreducible representations of \(H\). Suitable global versions of these theorems are given as well. The paper first calculates the terms of Connes spectrum very explicitly and then uses trace techniques to obtain the main theorems for strongly semiprime Hopf algebras \(H\). Explicit calculations are given for many concrete cases and examples.