Powers Vs. Powers

arXiv1903.11067MaRDI QIDQ6316231FDOQ6316231

Authors: Pramod K. Sharma 

Publication date: 26 March 2019

Abstract: Let $AsubsetB$ be rings. An ideal $JsubsetB$ is called power stable in $A$ if $J^{n}capA=(JcapA{)}^n$ for all $ngeq1$. Further, $J$ is called ultimately power stable in $A$ if $J^{n}capA=(JcapA{)}^n$ for all $n$ large i.e., $ngg0$. In this note, our focus is to study these concepts for pair of rings $RsubsetR[X]$ where $R$ is an integral domain. Some of the results we prove are: A maximal ideal $extbfm$ in $R[X]$ is power stable in $R$ if and only if $w{p}^t$ is $wp-$primary for all $tgeq1$ for the prime ideal $wp=extbfmcapR$. We use this to prove that for a Hilbert domain $R$, any radical ideal in $R[X]$ which is a finite intersection of G-ideals is power stable in $R$. Further, we prove that if $R$ is a Noetherian integral domain of dimension 1 then any radical ideal in $R[X]$ is power stable in $R$, and if every ideal in $R[X]$ is power stable in $R$ then $R$ is a field. We also show that if $AsubsetB$ are Noetherian rings, and $I$ is an ideal in $B$ which is ultimately power stable in $A$, then if $IcapA=J$ is a radical ideal generated by a regular $A$-sequence, it is power stable. Finally, we give a relationship in power stability and ultimate power stability using the concept of reduction of an ideal (Theorem 3.22).

Mathematics Subject Classification ID

Ideals in associative algebras (16D25) Ideals and multiplicative ideal theory in commutative rings (13A15)

This page was built for publication: Powers Vs. Powers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6316231)