Strongly prime and \(*\)-prime crossed products (Q304536)

A ring \(R\) is called \textit{(right) strongly prime} (shortly SP) [\textit{D. Handelman} and \textit{J. Lawrence}, Trans. Am. Math. Soc. 211, 209--223 (1975; Zbl 0345.16004)] if \[ \text{for all } r\in R\setminus\{0\}\;\text{ exists a finite subset }X\subseteq R\text{ such that for all } t\in R: rXt=0\Rightarrow t=0. \tag{1} \] Equivalently, \(R\) is SP if and only if \[ \text{for all nonzero }I\underline{\vartriangleleft} R\;\text{ exists a finite }X\subseteq I\text{ such that }\mathrm{r.ann}_R(X)=0. \tag{2} \] A generalization of this notion was introduced in [\textit{K. Joshi} et al., Commun. Algebra 35, No. 11, 3673--3682 (2007; Zbl 1143.16021)]: a ring \(R\) is said to be \textit{(right) \(*\)-prime} if (1) holds with ``finite subset'' replaced by ``finitely generated subring''. The article under review deals with strongly prime and \(*\)-prime crossed products \(R*G\). Let \(R\) be a ring, \(G\) a group with a fixed twisted action on \(R\) and \(R*G\) the \textit{crossed product of \(G\) over \(R\)} [\textit{D. S. Passman}, Infinite crossed products. Boston, MA etc.: Academic Press, Inc. (1989; Zbl 0662.16001)]. Given a subgroup \(H<G\), one can naturally construct the subring \(R*H\) of \(R*G\). An ideal \(I\underline{\vartriangleleft} R*H\) is called \textit{\(G\)-invariant} if for all \(x\in G: \bar x^{-1}I\bar x=I\), where \(\bar x\) denotes the copy of \(x\) in \(R*G\). The crossed product \(R*H\) is said to be \textit{(right) \(G\)-strongly prime} (shortly \(G\)-SP) if it satisfies (2) (with \(R\) replaced by \(R*H\)) for any nonzero \(G\)-invariant \(I\). If \(R\) is prime, \(\Delta^+(G)=\{1\}\) (see [Zbl 0662.16001, p. 40]) and \(H\underline{\vartriangleleft} G\) with \(|G:H|<\infty\), then it is proved that \[ \text{\(R*G\) is SP \(\Leftrightarrow\) \(R*H\) is \(G\)-SP.} \] Moreover, if one replaces ``\(\Delta^+(G)=\{1\}\)'' by ``\(\Delta^+(H)=\{1\}\)'', then \[ \text{\(R*G\) is SP \(\Leftrightarrow\) \(R*H\) is SP.} \] Another important result in this direction gives a sufficient condition for \(R*G\) to be SP: this holds, when \(R\) is SP and \(G\) is FC-solvable [\textit{A. M. Duguid} and \textit{D. H. McLain}, Proc. Camb. Philos. Soc. 52, 391--398 (1956; Zbl 0071.02204)] without locally finite normal subgroups. The last section of the paper has two theorems on \(*\)-prime crossed products. The first one says that \[ \text{\(R*G\) is \(*\)-prime \(\Leftrightarrow\) \(R*H\) is \(*\)-prime,} \] provided that \(H\) is normal in \(G\) and \(I\cap(R*H)\neq\{0\}\) for all nonzero \(I\underline{\vartriangleleft} R*G\). Another one establishes the implication \[ \text{\(R*G\) is \(*\)-prime \(\Rightarrow\) \(R*H\) is \(*\)-prime} \] under the assumptions that \(|G:H|<\infty\) and \(\bar x^{-1}\alpha\bar x=\alpha\) for all \(x\in G\) and \(\alpha\in R*H\).