The ideal intersection property of skew group rings (Q1801715)

Let \(AG\) be a skew group ring over the prime ring \(A\) and assume that \(G_{\text{inn}}\), the subgroup of \(G\) consisting of those elements which induce \(X\)-inner automorphisms on \(A\), is finite. It is shown here that every nonzero ideal of \(AG\) meets \(A\) nontrivially if and only if \(A\) is a faithful \(AG_{\text{inn}}\)-module and the \(G_{\text{inn}}\)- trace does not vanish on any \(RL\) where \(R\) and \(L\) are nonzero \(G\)- stable right and left ideals of \(A\). The proof uses the ideal intersection property for the ring extension \(AG\supseteq AG_{\text{inn}}\) obtained by \textit{J. Fisher} and \textit{S. Montgomery} [in J. Algebra 52, 241-247 (1978; Zbl 0373.16004)].