On prime ideals of Noetherian skew power series rings. (Q1932652): Difference between revisions
From MaRDI portal
Latest revision as of 03:25, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On prime ideals of Noetherian skew power series rings. |
scientific article |
Statements
On prime ideals of Noetherian skew power series rings. (English)
0 references
21 January 2013
0 references
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\).
0 references
skew power series rings
0 references
skew polynomial extensions
0 references
right Noetherian rings
0 references
prime ideals
0 references
cutting down
0 references
lying over
0 references
0 references