On prime ideals of Noetherian skew power series rings. (Q1932652): Difference between revisions

Suppose that \(R\) is an associative left and right Noetherian ring with an ideal \(\mathfrak i\) such that the \(\mathfrak i\)-adic filtration on \(R\) is separated and complete. Suppose that \(R\) is equipped with an automorphism \(\tau\) and \(\tau\)-derivation \(\delta\) such that \(\tau(\mathfrak i)=\mathfrak i\) and \(\delta(R)\subseteq\mathfrak i\), \(\delta(\mathfrak i)\subseteq\mathfrak i^2\). Suppose that \(\tau\) extends to an automorphism of skew power series ring \(T=R[[y;\tau,\delta]]\) such that the skew polynomial ring \(S=R[y;\tau,\delta]\) is \(\tau\)-stable. If \(Q\) is a \(\tau\)-\(\delta\)-prime ideal of \(R\) then there exists a \(\tau\)-prime ideal \(P\) of \(T\) such that \(P\cap R=Q\). Conversely if \(P\) is a \(\tau\)-prime ideal of \(T\), then \(P\cap R\) is a \(\tau\)-\(\delta\)-prime ideal of \(R\). This result is specified in the case \(\delta=\tau-1\).