The Goldie theorem for \(H\)-semiprime algebras. (Q854902): Difference between revisions

Let \(H\) be a Hopf algebra over a commutative ring \(k\), \(A\) an \(H\)-module algebra. \(A\) is called \(H\)-semiprime if \(A\) has no nonzero nilpotent \(H\)-stable ideals. Similarly for other \(H\)-properties of \(A\) where the ideals in the usual definition are \(H\)-stable. The definition for \(H\) to be admissibele is too technical to be given here, but it holds in many cases, e.g., \(H\) cocommutative, or \(k\) a field and \(H\) finite-dimensional. The authors assume that \(H\) is admissible and that \(A\) is \(H\)-semiprime and right Noetherian as \(H\)-module. In the classical case (\(H=k\)), the classical right quotient ring \(Q\) of \(A\) is semisimple if and only if \(A\) is semiprime [\textit{A. W. Goldie}, Proc. Lond. Math. Soc., III. Ser. 10, 201-220 (1960; Zbl 0091.03304)]. In the paper under review, the authors prove that if \(H\) and \(A\) satisfy the conditions above, then \(Q\) is quasi-Frobenius, and an \(H\)-semisimple \(H\)-module algebra. \(A\) quasi-Frobenius means as a ring, which is equivalent to \(A\) being Artinian and selfinjective on both sides. A corollary is that if \(G\) is a finite group, then every graded-semiprime \(G\)-graded right Noetherian ring has a quasi-Frobenius \(Q\), the grading extends to \(Q\), and \(Q\) is a direct product of finitely many graded-simple rings. Concerning \(A\) itself, the authors show that if \(H\) is admissible and \(A\) is semiprimary and \(H\)-semiprime, then \(A\) is quasi-Frobenius and \(H\)-semisimple. Finally, let \(k\) be a field, \(H\) finite-dimensional, \(A\) \(H\)-semiprime and right Noetherian. Then (1) If \(H\) is semisimple, then the smash product \(A\#H\) is semiprime. (2) If \(H\) is cosemisimple, then \(A\) is semiprime. The method of proof uses the general localization technique of \textit{P. Gabriel} [Bull. Soc. Math. Fr. 90, 323-448 (1962; Zbl 0201.35602)].