Irreducible primary ideal in Noetherian local ring (Sharp, Exercise 8.29)
up vote
0
down vote
favorite
Let $(R,M)$ be a Noetherian local ring, and let $Q$ be an $M$-primary ideal of $R$. Note that the $R$-module $(Q:M)/Q$ is annihilated by $M$ so it can be regarded as an $R/M$-vector space. Show that the following statement are equivalent
i) $Q$ is irreducible
ii) $dim_{R/M} (Q:M)/Q=1$
iii) The set of all ideals of $R$ which strictly contain $Q$ admits $(Q:M)$ as smallest element.
I can see that $i) Rightarrow ii)$ by the fact that there exists $n in mathbb{N}$ such that $M^n subset Q$ but i can't indicate other cases. Can anyone help me?
commutative-algebra
add a comment |
up vote
0
down vote
favorite
Let $(R,M)$ be a Noetherian local ring, and let $Q$ be an $M$-primary ideal of $R$. Note that the $R$-module $(Q:M)/Q$ is annihilated by $M$ so it can be regarded as an $R/M$-vector space. Show that the following statement are equivalent
i) $Q$ is irreducible
ii) $dim_{R/M} (Q:M)/Q=1$
iii) The set of all ideals of $R$ which strictly contain $Q$ admits $(Q:M)$ as smallest element.
I can see that $i) Rightarrow ii)$ by the fact that there exists $n in mathbb{N}$ such that $M^n subset Q$ but i can't indicate other cases. Can anyone help me?
commutative-algebra
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Let $(R,M)$ be a Noetherian local ring, and let $Q$ be an $M$-primary ideal of $R$. Note that the $R$-module $(Q:M)/Q$ is annihilated by $M$ so it can be regarded as an $R/M$-vector space. Show that the following statement are equivalent
i) $Q$ is irreducible
ii) $dim_{R/M} (Q:M)/Q=1$
iii) The set of all ideals of $R$ which strictly contain $Q$ admits $(Q:M)$ as smallest element.
I can see that $i) Rightarrow ii)$ by the fact that there exists $n in mathbb{N}$ such that $M^n subset Q$ but i can't indicate other cases. Can anyone help me?
commutative-algebra
Let $(R,M)$ be a Noetherian local ring, and let $Q$ be an $M$-primary ideal of $R$. Note that the $R$-module $(Q:M)/Q$ is annihilated by $M$ so it can be regarded as an $R/M$-vector space. Show that the following statement are equivalent
i) $Q$ is irreducible
ii) $dim_{R/M} (Q:M)/Q=1$
iii) The set of all ideals of $R$ which strictly contain $Q$ admits $(Q:M)$ as smallest element.
I can see that $i) Rightarrow ii)$ by the fact that there exists $n in mathbb{N}$ such that $M^n subset Q$ but i can't indicate other cases. Can anyone help me?
commutative-algebra
commutative-algebra
edited yesterday
user26857
39.1k123882
39.1k123882
asked yesterday
Desunkid
16310
16310
add a comment |
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3004994%2firreducible-primary-ideal-in-noetherian-local-ring-sharp-exercise-8-29%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