Artin-Rees property in commutative Noetherian rings with unit
up vote
2
down vote
favorite
I am trying to prove that if $R$ is a commutative Northerian ring with $1$, for all ideals $I$, $E$, then $E cap I^n subseteq EI$ for some $nin mathbb{N}$.
I have tried to go in this direction, but I have not obtained it:
Let $I= Q_{1}cap cdots cap Q_{m}$ be the primary decomposition of $I$ with $P_{i}=text{rad}(Q_{i})$, for all $iin {1,cdots,n}$ and $E=S_{1}cap cdots cap S_{t}$ a primary decomposition of $I$.
Since $R$ is Noetherian, for each $iin {1,cdots, m}, $ $Q_{i}^{n_{i}}subseteq P_{i}$ for some $n_{i}in mathbb{N}$.
Let $t=max{n_{i} mid iin {1,cdots,m}}$. Then, $Q_{i}^t subseteq P_{i}$ for all $iin {1,cdots,m}$. Therefore, $$(Q_{1}cap cdots cap Q_{m})^tsubseteq P_{i}subseteq Q_{i},$$ for $iin {1,cdots, m}$.
This is useless because I only obtain that $I^tsubseteq I$. However, I do believe that I should use the existence of primary decomposition in Noetherian rings. Can someone give me a clue, please?
ring-theory commutative-algebra noetherian primary-decomposition
add a comment |
up vote
2
down vote
favorite
I am trying to prove that if $R$ is a commutative Northerian ring with $1$, for all ideals $I$, $E$, then $E cap I^n subseteq EI$ for some $nin mathbb{N}$.
I have tried to go in this direction, but I have not obtained it:
Let $I= Q_{1}cap cdots cap Q_{m}$ be the primary decomposition of $I$ with $P_{i}=text{rad}(Q_{i})$, for all $iin {1,cdots,n}$ and $E=S_{1}cap cdots cap S_{t}$ a primary decomposition of $I$.
Since $R$ is Noetherian, for each $iin {1,cdots, m}, $ $Q_{i}^{n_{i}}subseteq P_{i}$ for some $n_{i}in mathbb{N}$.
Let $t=max{n_{i} mid iin {1,cdots,m}}$. Then, $Q_{i}^t subseteq P_{i}$ for all $iin {1,cdots,m}$. Therefore, $$(Q_{1}cap cdots cap Q_{m})^tsubseteq P_{i}subseteq Q_{i},$$ for $iin {1,cdots, m}$.
This is useless because I only obtain that $I^tsubseteq I$. However, I do believe that I should use the existence of primary decomposition in Noetherian rings. Can someone give me a clue, please?
ring-theory commutative-algebra noetherian primary-decomposition
add a comment |
up vote
2
down vote
favorite
up vote
2
down vote
favorite
I am trying to prove that if $R$ is a commutative Northerian ring with $1$, for all ideals $I$, $E$, then $E cap I^n subseteq EI$ for some $nin mathbb{N}$.
I have tried to go in this direction, but I have not obtained it:
Let $I= Q_{1}cap cdots cap Q_{m}$ be the primary decomposition of $I$ with $P_{i}=text{rad}(Q_{i})$, for all $iin {1,cdots,n}$ and $E=S_{1}cap cdots cap S_{t}$ a primary decomposition of $I$.
Since $R$ is Noetherian, for each $iin {1,cdots, m}, $ $Q_{i}^{n_{i}}subseteq P_{i}$ for some $n_{i}in mathbb{N}$.
Let $t=max{n_{i} mid iin {1,cdots,m}}$. Then, $Q_{i}^t subseteq P_{i}$ for all $iin {1,cdots,m}$. Therefore, $$(Q_{1}cap cdots cap Q_{m})^tsubseteq P_{i}subseteq Q_{i},$$ for $iin {1,cdots, m}$.
This is useless because I only obtain that $I^tsubseteq I$. However, I do believe that I should use the existence of primary decomposition in Noetherian rings. Can someone give me a clue, please?
ring-theory commutative-algebra noetherian primary-decomposition
I am trying to prove that if $R$ is a commutative Northerian ring with $1$, for all ideals $I$, $E$, then $E cap I^n subseteq EI$ for some $nin mathbb{N}$.
I have tried to go in this direction, but I have not obtained it:
Let $I= Q_{1}cap cdots cap Q_{m}$ be the primary decomposition of $I$ with $P_{i}=text{rad}(Q_{i})$, for all $iin {1,cdots,n}$ and $E=S_{1}cap cdots cap S_{t}$ a primary decomposition of $I$.
Since $R$ is Noetherian, for each $iin {1,cdots, m}, $ $Q_{i}^{n_{i}}subseteq P_{i}$ for some $n_{i}in mathbb{N}$.
Let $t=max{n_{i} mid iin {1,cdots,m}}$. Then, $Q_{i}^t subseteq P_{i}$ for all $iin {1,cdots,m}$. Therefore, $$(Q_{1}cap cdots cap Q_{m})^tsubseteq P_{i}subseteq Q_{i},$$ for $iin {1,cdots, m}$.
This is useless because I only obtain that $I^tsubseteq I$. However, I do believe that I should use the existence of primary decomposition in Noetherian rings. Can someone give me a clue, please?
ring-theory commutative-algebra noetherian primary-decomposition
ring-theory commutative-algebra noetherian primary-decomposition
asked Nov 4 at 17:11
Karen
304
304
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
up vote
0
down vote
accepted
Suppose that $EI= Q_{1}cap cdots cap Q_{n}$ where $Q_{i}$ is primary and $P_{i}=text{rad}(Q_{i})$ for $iin {1,cdots,n}$.
Suppose that $E$ is not contained in $Q_{i}$. Then, there exists $x$ in $E$ such that $x$ is not in $Q_{i}$. Let $zin I$. Then, $xzin EI=Q_{1}cap cdots cap Q_{n}$, so $xzin Q_{i}$ and therefore, $zin P_{i}$.
Since $R$ is a commutative Noetherian ring, there exists $k_{i}in mathbb{N}$ such that $P_{i}^{k_{i}}subseteq Q_{i}$.
Let $k=max{k_{i}mid iin{1,cdots,n}}$. Then,
$E subseteq bigcap_{Esubseteq Q_{i}} Q_{i}$ and $I^ksubseteq bigcap_{I^ksubseteq Q_{i}} Q_{i}$, so $Ecap I^ksubseteq EI$.
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
0
down vote
accepted
Suppose that $EI= Q_{1}cap cdots cap Q_{n}$ where $Q_{i}$ is primary and $P_{i}=text{rad}(Q_{i})$ for $iin {1,cdots,n}$.
Suppose that $E$ is not contained in $Q_{i}$. Then, there exists $x$ in $E$ such that $x$ is not in $Q_{i}$. Let $zin I$. Then, $xzin EI=Q_{1}cap cdots cap Q_{n}$, so $xzin Q_{i}$ and therefore, $zin P_{i}$.
Since $R$ is a commutative Noetherian ring, there exists $k_{i}in mathbb{N}$ such that $P_{i}^{k_{i}}subseteq Q_{i}$.
Let $k=max{k_{i}mid iin{1,cdots,n}}$. Then,
$E subseteq bigcap_{Esubseteq Q_{i}} Q_{i}$ and $I^ksubseteq bigcap_{I^ksubseteq Q_{i}} Q_{i}$, so $Ecap I^ksubseteq EI$.
add a comment |
up vote
0
down vote
accepted
Suppose that $EI= Q_{1}cap cdots cap Q_{n}$ where $Q_{i}$ is primary and $P_{i}=text{rad}(Q_{i})$ for $iin {1,cdots,n}$.
Suppose that $E$ is not contained in $Q_{i}$. Then, there exists $x$ in $E$ such that $x$ is not in $Q_{i}$. Let $zin I$. Then, $xzin EI=Q_{1}cap cdots cap Q_{n}$, so $xzin Q_{i}$ and therefore, $zin P_{i}$.
Since $R$ is a commutative Noetherian ring, there exists $k_{i}in mathbb{N}$ such that $P_{i}^{k_{i}}subseteq Q_{i}$.
Let $k=max{k_{i}mid iin{1,cdots,n}}$. Then,
$E subseteq bigcap_{Esubseteq Q_{i}} Q_{i}$ and $I^ksubseteq bigcap_{I^ksubseteq Q_{i}} Q_{i}$, so $Ecap I^ksubseteq EI$.
add a comment |
up vote
0
down vote
accepted
up vote
0
down vote
accepted
Suppose that $EI= Q_{1}cap cdots cap Q_{n}$ where $Q_{i}$ is primary and $P_{i}=text{rad}(Q_{i})$ for $iin {1,cdots,n}$.
Suppose that $E$ is not contained in $Q_{i}$. Then, there exists $x$ in $E$ such that $x$ is not in $Q_{i}$. Let $zin I$. Then, $xzin EI=Q_{1}cap cdots cap Q_{n}$, so $xzin Q_{i}$ and therefore, $zin P_{i}$.
Since $R$ is a commutative Noetherian ring, there exists $k_{i}in mathbb{N}$ such that $P_{i}^{k_{i}}subseteq Q_{i}$.
Let $k=max{k_{i}mid iin{1,cdots,n}}$. Then,
$E subseteq bigcap_{Esubseteq Q_{i}} Q_{i}$ and $I^ksubseteq bigcap_{I^ksubseteq Q_{i}} Q_{i}$, so $Ecap I^ksubseteq EI$.
Suppose that $EI= Q_{1}cap cdots cap Q_{n}$ where $Q_{i}$ is primary and $P_{i}=text{rad}(Q_{i})$ for $iin {1,cdots,n}$.
Suppose that $E$ is not contained in $Q_{i}$. Then, there exists $x$ in $E$ such that $x$ is not in $Q_{i}$. Let $zin I$. Then, $xzin EI=Q_{1}cap cdots cap Q_{n}$, so $xzin Q_{i}$ and therefore, $zin P_{i}$.
Since $R$ is a commutative Noetherian ring, there exists $k_{i}in mathbb{N}$ such that $P_{i}^{k_{i}}subseteq Q_{i}$.
Let $k=max{k_{i}mid iin{1,cdots,n}}$. Then,
$E subseteq bigcap_{Esubseteq Q_{i}} Q_{i}$ and $I^ksubseteq bigcap_{I^ksubseteq Q_{i}} Q_{i}$, so $Ecap I^ksubseteq EI$.
answered Nov 12 at 16:41
Karen
304
304
add a comment |
add a comment |
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2984513%2fartin-rees-property-in-commutative-noetherian-rings-with-unit%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown