Prime ideals and strongly prime ideals of skew Laurent polynomial rings. (Q1008526)

In this paper \(R\) always denotes an associative ring with unity. \(P(R)\) and \(N_r(R)\) denote the prime radical and the upper nil radical of \(R\), respectively. For a ring \(R\) with an injective ring endomorphism \(\alpha\colon R\to R\), \(R[x,x^{-1};\alpha]\) denotes the skew Laurent polynomial ring. Elements of \(R[x,x^{-1};\alpha]\) are finite sums of elements of the form \(x^{-j}rx^i\), where \(r\in R\) and \(i,j\) are nonnegative integers. Multiplication is subject to \(xr=\alpha(r)x\) and \(rx^{-1}=x^{-1}\alpha(r)\) for all \(r\in R\). For an endomorphism \(\alpha\) on a ring \(R\), an ideal \(I\) of \(R\) is called an \(\alpha\)-ideal if \(\alpha(I)\subseteq I\). An \(\alpha\)-ideal \(I\) is called to be \(\alpha\)-rigid ideal if \(a\alpha(a)\in I\) implies that \(a\in I\) for \(a\in R\). An ideal \(I\) is an \(\alpha\)-compatible ideal of \(R\) if for each \(a,b\in R\), \(ab\in I\Leftrightarrow a\alpha(b)\in I\). \(I\) is an \(\alpha\)-rigid ideal if and only if \(I\) is an \(\alpha\)-compatible ideal and completely semiprime. In this paper, the author studies connections between \(\alpha\)-compatible ideals of \(R\) and related ideals of the skew Laurent polynomial ring \(R[x,x^{-1};\alpha]\), where \(\alpha\) is an automorphism on \(R\). For example, he shows that if \(\alpha\) is an automorphism on \(R\) and \(I\) is a (semi)prime \(\alpha\)-compatible ideal of \(R\), then \(I[x,x^{-1};\alpha]\) is a (semi)prime ideal of \(R[x,x^{-1};\alpha]\) and, if \(P\) is a completely (semi)prime \(\alpha\)-compatible ideal of \(R\), then \(P[x,x^{-1};\alpha]\) is a completely (semi)prime ideal of \(R[x,x^{-1};\alpha]\). Also, he investigates the relationship of \(P(R)\) and \(N_r(R)\) of \(R\) with the prime radical and the upper nil radical of the skew Laurent polynomial rings. He shows, for example, that if \(\alpha\) is an automorphism on \(R\) and \(P(R)\) is an \(\alpha\)-rigid ideal of \(R\), then \(P(R[x,x^{-1};\alpha])\subseteq P(R)[x,x^{-1};\alpha]\) and if \(N_r(R)\) is an \(\alpha\)-rigid ideal of \(R\), then \(N_r(R[x,x^{-1};\alpha])\subseteq N_r(R)[x,x^{-1};\alpha]\). He also shows that if \(\alpha\) is an automorphism on \(R\) and each minimal prime ideal of \(R\) is \(\alpha\)-compatible, then \(P(R[x,x^{-1};\alpha])\) is completely semiprime if and only if \(P(R[x,x^{-1};\alpha])=P(R)[x,x^{-1};\alpha]\) and \(P(R)\) is completely semiprime. The author uses Jordan's ring to extend his results to the case where \(\alpha\) is not surjective.