Ideal with zero localizations at prime ideals containing it The 2019 Stack Overflow Developer Survey Results Are InNon-Noetherian rings with an ideal not containing a product of prime idealsDoes every Krull ring have a height 1 prime ideal?Expressing ideals as products of prime ideals in a commutative, Noetherian ring with unityExistence of minimal non-zero prime ideals: Counter examples?Is a graded module over a graded ring zero when all of it's graded localizations at graded primes not containing the irrelevant ideal are zero?Minimal ideals of localizationsCommutative rings with unity over which every non-zero module has an associated primeCommutative Noetherian, local, reduced ring has only one minimal prime ideal?Zero divisors and minimal prime ideals in commutative ringExample of a principal prime ideal containing a proper prime non-zero ideal.

If a Druid sees an animal’s corpse, can they Wild Shape into that animal?

Why is the maximum length of OpenWrt’s root password 8 characters?

Time travel alters history but people keep saying nothing's changed

What are the motivations for publishing new editions of an existing textbook, beyond new discoveries in a field?

One word riddle: Vowel in the middle

What is the motivation for a law requiring 2 parties to consent for recording a conversation

Why did Acorn's A3000 have red function keys?

Why can Shazam fly?

How to save as into a customized destination on macOS?

Are there incongruent pythagorean triangles with the same perimeter and same area?

Feature engineering suggestion required

Falsification in Math vs Science

Why do we hear so much about the Trump administration deciding to impose and then remove tariffs?

Why didn't the Event Horizon Telescope team mention Sagittarius A*?

Resizing object distorts it (Illustrator CC 2018)

slides for 30min~1hr skype tenure track application interview

Identify boardgame from Big movie

"as much details as you can remember"

Why was M87 targetted for the Event Horizon Telescope instead of Sagittarius A*?

Can one be advised by a professor who is very far away?

For what reasons would an animal species NOT cross a *horizontal* land bridge?

What does Linus Torvalds mean when he says that Git "never ever" tracks a file?

Can you compress metal and what would be the consequences?

A poker game description that does not feel gimmicky



Ideal with zero localizations at prime ideals containing it



The 2019 Stack Overflow Developer Survey Results Are InNon-Noetherian rings with an ideal not containing a product of prime idealsDoes every Krull ring have a height 1 prime ideal?Expressing ideals as products of prime ideals in a commutative, Noetherian ring with unityExistence of minimal non-zero prime ideals: Counter examples?Is a graded module over a graded ring zero when all of it's graded localizations at graded primes not containing the irrelevant ideal are zero?Minimal ideals of localizationsCommutative rings with unity over which every non-zero module has an associated primeCommutative Noetherian, local, reduced ring has only one minimal prime ideal?Zero divisors and minimal prime ideals in commutative ringExample of a principal prime ideal containing a proper prime non-zero ideal.










4












$begingroup$


Let $R$ be a commutative unital ring. I know that if an $R$-module has zero localizations at all prime ideals of $R$, then it is a zero module.




Consider a proper ideal $Isubset R$ as an $R$-module. Is it true that if localizations of this module at all prime ideals containing $I$ are zero, then it is a zero module?




This is true for $R$ a DVR (because there is only one non-zero prime ideal which contains all proper ideals).










share|cite|improve this question











$endgroup$











  • $begingroup$
    Is $I$ finitely generated ? Suppose $M$ is a finitely generated $R-module$. Then $M=0 iff M_p=0 forall p in Spec R$
    $endgroup$
    – Soumik Ghosh
    14 hours ago











  • $begingroup$
    @SoumikGhosh No finiteness hypotheses
    $endgroup$
    – Stepan Banach
    14 hours ago






  • 1




    $begingroup$
    @SoumikGhosh your statement about $M$ here is true without finitely generated hypothesis
    $endgroup$
    – Alex Mathers
    13 hours ago
















4












$begingroup$


Let $R$ be a commutative unital ring. I know that if an $R$-module has zero localizations at all prime ideals of $R$, then it is a zero module.




Consider a proper ideal $Isubset R$ as an $R$-module. Is it true that if localizations of this module at all prime ideals containing $I$ are zero, then it is a zero module?




This is true for $R$ a DVR (because there is only one non-zero prime ideal which contains all proper ideals).










share|cite|improve this question











$endgroup$











  • $begingroup$
    Is $I$ finitely generated ? Suppose $M$ is a finitely generated $R-module$. Then $M=0 iff M_p=0 forall p in Spec R$
    $endgroup$
    – Soumik Ghosh
    14 hours ago











  • $begingroup$
    @SoumikGhosh No finiteness hypotheses
    $endgroup$
    – Stepan Banach
    14 hours ago






  • 1




    $begingroup$
    @SoumikGhosh your statement about $M$ here is true without finitely generated hypothesis
    $endgroup$
    – Alex Mathers
    13 hours ago














4












4








4


1



$begingroup$


Let $R$ be a commutative unital ring. I know that if an $R$-module has zero localizations at all prime ideals of $R$, then it is a zero module.




Consider a proper ideal $Isubset R$ as an $R$-module. Is it true that if localizations of this module at all prime ideals containing $I$ are zero, then it is a zero module?




This is true for $R$ a DVR (because there is only one non-zero prime ideal which contains all proper ideals).










share|cite|improve this question











$endgroup$




Let $R$ be a commutative unital ring. I know that if an $R$-module has zero localizations at all prime ideals of $R$, then it is a zero module.




Consider a proper ideal $Isubset R$ as an $R$-module. Is it true that if localizations of this module at all prime ideals containing $I$ are zero, then it is a zero module?




This is true for $R$ a DVR (because there is only one non-zero prime ideal which contains all proper ideals).







commutative-algebra localization






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 7 hours ago







Stepan Banach

















asked 14 hours ago









Stepan BanachStepan Banach

995




995











  • $begingroup$
    Is $I$ finitely generated ? Suppose $M$ is a finitely generated $R-module$. Then $M=0 iff M_p=0 forall p in Spec R$
    $endgroup$
    – Soumik Ghosh
    14 hours ago











  • $begingroup$
    @SoumikGhosh No finiteness hypotheses
    $endgroup$
    – Stepan Banach
    14 hours ago






  • 1




    $begingroup$
    @SoumikGhosh your statement about $M$ here is true without finitely generated hypothesis
    $endgroup$
    – Alex Mathers
    13 hours ago

















  • $begingroup$
    Is $I$ finitely generated ? Suppose $M$ is a finitely generated $R-module$. Then $M=0 iff M_p=0 forall p in Spec R$
    $endgroup$
    – Soumik Ghosh
    14 hours ago











  • $begingroup$
    @SoumikGhosh No finiteness hypotheses
    $endgroup$
    – Stepan Banach
    14 hours ago






  • 1




    $begingroup$
    @SoumikGhosh your statement about $M$ here is true without finitely generated hypothesis
    $endgroup$
    – Alex Mathers
    13 hours ago
















$begingroup$
Is $I$ finitely generated ? Suppose $M$ is a finitely generated $R-module$. Then $M=0 iff M_p=0 forall p in Spec R$
$endgroup$
– Soumik Ghosh
14 hours ago





$begingroup$
Is $I$ finitely generated ? Suppose $M$ is a finitely generated $R-module$. Then $M=0 iff M_p=0 forall p in Spec R$
$endgroup$
– Soumik Ghosh
14 hours ago













$begingroup$
@SoumikGhosh No finiteness hypotheses
$endgroup$
– Stepan Banach
14 hours ago




$begingroup$
@SoumikGhosh No finiteness hypotheses
$endgroup$
– Stepan Banach
14 hours ago




1




1




$begingroup$
@SoumikGhosh your statement about $M$ here is true without finitely generated hypothesis
$endgroup$
– Alex Mathers
13 hours ago





$begingroup$
@SoumikGhosh your statement about $M$ here is true without finitely generated hypothesis
$endgroup$
– Alex Mathers
13 hours ago











2 Answers
2






active

oldest

votes


















4












$begingroup$

Counterexamples exist. In fact:




Proposition. TFAE:




  1. $I_mathfrak p = 0$ for all primes $mathfrak p supset I$

  2. $forall x in I : Ann(x) + I = R$

  3. $forall x in I : exists y in I : xy=x$



In particular, a nonzero proper ideal in a boolean ring is a counterexample.



Proof. $1 implies 2$: Take $x in I$. Suppose there is a prime ideal $mathfrak p$ containing $Ann(x) + I$. Localizing at $mathfrak p$, we find $r in R - mathfrak p$ with $rx= 0$. This contradicts $Ann(x) subset mathfrak p$.



$2 implies 3$: Take $a in R$ and $y in I$ with $a+y = 1$ and $ax = 0$. Then $xy = x$.



$3 implies 1$: Take $x in I$, $y in I$ with $xy = x$ and take $mathfrak p supset I$. Because $(1-y)x = 0$ and $1-y notin mathfrak p$, $x$ becomes $0$ in $I_mathfrak p$. $square$



Milking this, we find:



  • such $I$ consists of zero divisors.

  • There are no counterexamples when $R$ is an integral domain.

  • If $I$ is nonzero, proper and finitely generated, it contains a nontrivial idempotent. Proof: From 2. it follows that $Ann(I) + I = R$. Write $a + x = 1$ with $aI = 0$ and $x in I$. Then $x^2=x$.

Since you asked about $Spec(R)$ connected and reduced, here's an example (necessarily not Noetherian). Take a field $k$, let $R = k[X_1, X_2, ldots]$ modulo the ideal generated by the $X_iX_j-X_i$ for $j>i$, and let $I$ be the ideal generated by the $X_i$.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    is there an example when $mathrmSpec,R$ is irreducible, but not reduced?
    $endgroup$
    – Stepan Banach
    12 hours ago










  • $begingroup$
    but you say that there is no counterexample that is both irreducible and reduced (i.e. integral domain).
    $endgroup$
    – Stepan Banach
    10 hours ago










  • $begingroup$
    I do not completely understand this. All this proves is that tensoring with $mathbbZ[x]/(x^2)$ is not going to work. There still might be an irreducible, non-reduced example constructed in another way. Or did you mean something else?
    $endgroup$
    – Stepan Banach
    10 hours ago






  • 1




    $begingroup$
    I see. You can forget about my earlier comment. So your question is really, does there exist an irreducible example (which implies not reduced)
    $endgroup$
    – rabota
    10 hours ago



















3












$begingroup$

Consider the ring $$R= mathbb Z_2 times mathbb Z_2 times... times mathbb Z_2 times.....$$ countable number of times .



Look at the ideal $$ I= bigoplus _mathbb N mathbb Z_2$$



I claim $I_p=0 forall p in Spec R$ containing $I$.
Say $I subset p$ Consider $ain I$. Observe that $a^2=a$ and hence $a= 0 $ in $A_p$ since $1-a $ is not in $p$ ( since $ain I subset p$)



Thus every element of $I$ becomes $0$ in $A_p$ and hence $I_p=0 forall p in Spec A $






share|cite|improve this answer









$endgroup$












  • $begingroup$
    do you think there is an example with $R$ having no idempotents and no nilpotents? Or preferably, an example with $R$ an integral domain?
    $endgroup$
    – Stepan Banach
    13 hours ago










  • $begingroup$
    localization in integral domains can never give you $0$ unless you invert $0$ itself.
    $endgroup$
    – Soumik Ghosh
    13 hours ago










  • $begingroup$
    then what about an example with $mathrmSpec,R$ connected reduced? or is that also impossible?
    $endgroup$
    – Stepan Banach
    13 hours ago










  • $begingroup$
    My example gives you a reduced affine scheme. There are non non trivial nilpotents in the ring.
    $endgroup$
    – Soumik Ghosh
    13 hours ago










  • $begingroup$
    but your example is not connected
    $endgroup$
    – Stepan Banach
    13 hours ago











Your Answer





StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);













draft saved

draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3182377%2fideal-with-zero-localizations-at-prime-ideals-containing-it%23new-answer', 'question_page');

);

Post as a guest















Required, but never shown

























2 Answers
2






active

oldest

votes








2 Answers
2






active

oldest

votes









active

oldest

votes






active

oldest

votes









4












$begingroup$

Counterexamples exist. In fact:




Proposition. TFAE:




  1. $I_mathfrak p = 0$ for all primes $mathfrak p supset I$

  2. $forall x in I : Ann(x) + I = R$

  3. $forall x in I : exists y in I : xy=x$



In particular, a nonzero proper ideal in a boolean ring is a counterexample.



Proof. $1 implies 2$: Take $x in I$. Suppose there is a prime ideal $mathfrak p$ containing $Ann(x) + I$. Localizing at $mathfrak p$, we find $r in R - mathfrak p$ with $rx= 0$. This contradicts $Ann(x) subset mathfrak p$.



$2 implies 3$: Take $a in R$ and $y in I$ with $a+y = 1$ and $ax = 0$. Then $xy = x$.



$3 implies 1$: Take $x in I$, $y in I$ with $xy = x$ and take $mathfrak p supset I$. Because $(1-y)x = 0$ and $1-y notin mathfrak p$, $x$ becomes $0$ in $I_mathfrak p$. $square$



Milking this, we find:



  • such $I$ consists of zero divisors.

  • There are no counterexamples when $R$ is an integral domain.

  • If $I$ is nonzero, proper and finitely generated, it contains a nontrivial idempotent. Proof: From 2. it follows that $Ann(I) + I = R$. Write $a + x = 1$ with $aI = 0$ and $x in I$. Then $x^2=x$.

Since you asked about $Spec(R)$ connected and reduced, here's an example (necessarily not Noetherian). Take a field $k$, let $R = k[X_1, X_2, ldots]$ modulo the ideal generated by the $X_iX_j-X_i$ for $j>i$, and let $I$ be the ideal generated by the $X_i$.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    is there an example when $mathrmSpec,R$ is irreducible, but not reduced?
    $endgroup$
    – Stepan Banach
    12 hours ago










  • $begingroup$
    but you say that there is no counterexample that is both irreducible and reduced (i.e. integral domain).
    $endgroup$
    – Stepan Banach
    10 hours ago










  • $begingroup$
    I do not completely understand this. All this proves is that tensoring with $mathbbZ[x]/(x^2)$ is not going to work. There still might be an irreducible, non-reduced example constructed in another way. Or did you mean something else?
    $endgroup$
    – Stepan Banach
    10 hours ago






  • 1




    $begingroup$
    I see. You can forget about my earlier comment. So your question is really, does there exist an irreducible example (which implies not reduced)
    $endgroup$
    – rabota
    10 hours ago
















4












$begingroup$

Counterexamples exist. In fact:




Proposition. TFAE:




  1. $I_mathfrak p = 0$ for all primes $mathfrak p supset I$

  2. $forall x in I : Ann(x) + I = R$

  3. $forall x in I : exists y in I : xy=x$



In particular, a nonzero proper ideal in a boolean ring is a counterexample.



Proof. $1 implies 2$: Take $x in I$. Suppose there is a prime ideal $mathfrak p$ containing $Ann(x) + I$. Localizing at $mathfrak p$, we find $r in R - mathfrak p$ with $rx= 0$. This contradicts $Ann(x) subset mathfrak p$.



$2 implies 3$: Take $a in R$ and $y in I$ with $a+y = 1$ and $ax = 0$. Then $xy = x$.



$3 implies 1$: Take $x in I$, $y in I$ with $xy = x$ and take $mathfrak p supset I$. Because $(1-y)x = 0$ and $1-y notin mathfrak p$, $x$ becomes $0$ in $I_mathfrak p$. $square$



Milking this, we find:



  • such $I$ consists of zero divisors.

  • There are no counterexamples when $R$ is an integral domain.

  • If $I$ is nonzero, proper and finitely generated, it contains a nontrivial idempotent. Proof: From 2. it follows that $Ann(I) + I = R$. Write $a + x = 1$ with $aI = 0$ and $x in I$. Then $x^2=x$.

Since you asked about $Spec(R)$ connected and reduced, here's an example (necessarily not Noetherian). Take a field $k$, let $R = k[X_1, X_2, ldots]$ modulo the ideal generated by the $X_iX_j-X_i$ for $j>i$, and let $I$ be the ideal generated by the $X_i$.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    is there an example when $mathrmSpec,R$ is irreducible, but not reduced?
    $endgroup$
    – Stepan Banach
    12 hours ago










  • $begingroup$
    but you say that there is no counterexample that is both irreducible and reduced (i.e. integral domain).
    $endgroup$
    – Stepan Banach
    10 hours ago










  • $begingroup$
    I do not completely understand this. All this proves is that tensoring with $mathbbZ[x]/(x^2)$ is not going to work. There still might be an irreducible, non-reduced example constructed in another way. Or did you mean something else?
    $endgroup$
    – Stepan Banach
    10 hours ago






  • 1




    $begingroup$
    I see. You can forget about my earlier comment. So your question is really, does there exist an irreducible example (which implies not reduced)
    $endgroup$
    – rabota
    10 hours ago














4












4








4





$begingroup$

Counterexamples exist. In fact:




Proposition. TFAE:




  1. $I_mathfrak p = 0$ for all primes $mathfrak p supset I$

  2. $forall x in I : Ann(x) + I = R$

  3. $forall x in I : exists y in I : xy=x$



In particular, a nonzero proper ideal in a boolean ring is a counterexample.



Proof. $1 implies 2$: Take $x in I$. Suppose there is a prime ideal $mathfrak p$ containing $Ann(x) + I$. Localizing at $mathfrak p$, we find $r in R - mathfrak p$ with $rx= 0$. This contradicts $Ann(x) subset mathfrak p$.



$2 implies 3$: Take $a in R$ and $y in I$ with $a+y = 1$ and $ax = 0$. Then $xy = x$.



$3 implies 1$: Take $x in I$, $y in I$ with $xy = x$ and take $mathfrak p supset I$. Because $(1-y)x = 0$ and $1-y notin mathfrak p$, $x$ becomes $0$ in $I_mathfrak p$. $square$



Milking this, we find:



  • such $I$ consists of zero divisors.

  • There are no counterexamples when $R$ is an integral domain.

  • If $I$ is nonzero, proper and finitely generated, it contains a nontrivial idempotent. Proof: From 2. it follows that $Ann(I) + I = R$. Write $a + x = 1$ with $aI = 0$ and $x in I$. Then $x^2=x$.

Since you asked about $Spec(R)$ connected and reduced, here's an example (necessarily not Noetherian). Take a field $k$, let $R = k[X_1, X_2, ldots]$ modulo the ideal generated by the $X_iX_j-X_i$ for $j>i$, and let $I$ be the ideal generated by the $X_i$.






share|cite|improve this answer











$endgroup$



Counterexamples exist. In fact:




Proposition. TFAE:




  1. $I_mathfrak p = 0$ for all primes $mathfrak p supset I$

  2. $forall x in I : Ann(x) + I = R$

  3. $forall x in I : exists y in I : xy=x$



In particular, a nonzero proper ideal in a boolean ring is a counterexample.



Proof. $1 implies 2$: Take $x in I$. Suppose there is a prime ideal $mathfrak p$ containing $Ann(x) + I$. Localizing at $mathfrak p$, we find $r in R - mathfrak p$ with $rx= 0$. This contradicts $Ann(x) subset mathfrak p$.



$2 implies 3$: Take $a in R$ and $y in I$ with $a+y = 1$ and $ax = 0$. Then $xy = x$.



$3 implies 1$: Take $x in I$, $y in I$ with $xy = x$ and take $mathfrak p supset I$. Because $(1-y)x = 0$ and $1-y notin mathfrak p$, $x$ becomes $0$ in $I_mathfrak p$. $square$



Milking this, we find:



  • such $I$ consists of zero divisors.

  • There are no counterexamples when $R$ is an integral domain.

  • If $I$ is nonzero, proper and finitely generated, it contains a nontrivial idempotent. Proof: From 2. it follows that $Ann(I) + I = R$. Write $a + x = 1$ with $aI = 0$ and $x in I$. Then $x^2=x$.

Since you asked about $Spec(R)$ connected and reduced, here's an example (necessarily not Noetherian). Take a field $k$, let $R = k[X_1, X_2, ldots]$ modulo the ideal generated by the $X_iX_j-X_i$ for $j>i$, and let $I$ be the ideal generated by the $X_i$.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited 13 hours ago

























answered 13 hours ago









rabotarabota

14.6k32885




14.6k32885











  • $begingroup$
    is there an example when $mathrmSpec,R$ is irreducible, but not reduced?
    $endgroup$
    – Stepan Banach
    12 hours ago










  • $begingroup$
    but you say that there is no counterexample that is both irreducible and reduced (i.e. integral domain).
    $endgroup$
    – Stepan Banach
    10 hours ago










  • $begingroup$
    I do not completely understand this. All this proves is that tensoring with $mathbbZ[x]/(x^2)$ is not going to work. There still might be an irreducible, non-reduced example constructed in another way. Or did you mean something else?
    $endgroup$
    – Stepan Banach
    10 hours ago






  • 1




    $begingroup$
    I see. You can forget about my earlier comment. So your question is really, does there exist an irreducible example (which implies not reduced)
    $endgroup$
    – rabota
    10 hours ago

















  • $begingroup$
    is there an example when $mathrmSpec,R$ is irreducible, but not reduced?
    $endgroup$
    – Stepan Banach
    12 hours ago










  • $begingroup$
    but you say that there is no counterexample that is both irreducible and reduced (i.e. integral domain).
    $endgroup$
    – Stepan Banach
    10 hours ago










  • $begingroup$
    I do not completely understand this. All this proves is that tensoring with $mathbbZ[x]/(x^2)$ is not going to work. There still might be an irreducible, non-reduced example constructed in another way. Or did you mean something else?
    $endgroup$
    – Stepan Banach
    10 hours ago






  • 1




    $begingroup$
    I see. You can forget about my earlier comment. So your question is really, does there exist an irreducible example (which implies not reduced)
    $endgroup$
    – rabota
    10 hours ago
















$begingroup$
is there an example when $mathrmSpec,R$ is irreducible, but not reduced?
$endgroup$
– Stepan Banach
12 hours ago




$begingroup$
is there an example when $mathrmSpec,R$ is irreducible, but not reduced?
$endgroup$
– Stepan Banach
12 hours ago












$begingroup$
but you say that there is no counterexample that is both irreducible and reduced (i.e. integral domain).
$endgroup$
– Stepan Banach
10 hours ago




$begingroup$
but you say that there is no counterexample that is both irreducible and reduced (i.e. integral domain).
$endgroup$
– Stepan Banach
10 hours ago












$begingroup$
I do not completely understand this. All this proves is that tensoring with $mathbbZ[x]/(x^2)$ is not going to work. There still might be an irreducible, non-reduced example constructed in another way. Or did you mean something else?
$endgroup$
– Stepan Banach
10 hours ago




$begingroup$
I do not completely understand this. All this proves is that tensoring with $mathbbZ[x]/(x^2)$ is not going to work. There still might be an irreducible, non-reduced example constructed in another way. Or did you mean something else?
$endgroup$
– Stepan Banach
10 hours ago




1




1




$begingroup$
I see. You can forget about my earlier comment. So your question is really, does there exist an irreducible example (which implies not reduced)
$endgroup$
– rabota
10 hours ago





$begingroup$
I see. You can forget about my earlier comment. So your question is really, does there exist an irreducible example (which implies not reduced)
$endgroup$
– rabota
10 hours ago












3












$begingroup$

Consider the ring $$R= mathbb Z_2 times mathbb Z_2 times... times mathbb Z_2 times.....$$ countable number of times .



Look at the ideal $$ I= bigoplus _mathbb N mathbb Z_2$$



I claim $I_p=0 forall p in Spec R$ containing $I$.
Say $I subset p$ Consider $ain I$. Observe that $a^2=a$ and hence $a= 0 $ in $A_p$ since $1-a $ is not in $p$ ( since $ain I subset p$)



Thus every element of $I$ becomes $0$ in $A_p$ and hence $I_p=0 forall p in Spec A $






share|cite|improve this answer









$endgroup$












  • $begingroup$
    do you think there is an example with $R$ having no idempotents and no nilpotents? Or preferably, an example with $R$ an integral domain?
    $endgroup$
    – Stepan Banach
    13 hours ago










  • $begingroup$
    localization in integral domains can never give you $0$ unless you invert $0$ itself.
    $endgroup$
    – Soumik Ghosh
    13 hours ago










  • $begingroup$
    then what about an example with $mathrmSpec,R$ connected reduced? or is that also impossible?
    $endgroup$
    – Stepan Banach
    13 hours ago










  • $begingroup$
    My example gives you a reduced affine scheme. There are non non trivial nilpotents in the ring.
    $endgroup$
    – Soumik Ghosh
    13 hours ago










  • $begingroup$
    but your example is not connected
    $endgroup$
    – Stepan Banach
    13 hours ago















3












$begingroup$

Consider the ring $$R= mathbb Z_2 times mathbb Z_2 times... times mathbb Z_2 times.....$$ countable number of times .



Look at the ideal $$ I= bigoplus _mathbb N mathbb Z_2$$



I claim $I_p=0 forall p in Spec R$ containing $I$.
Say $I subset p$ Consider $ain I$. Observe that $a^2=a$ and hence $a= 0 $ in $A_p$ since $1-a $ is not in $p$ ( since $ain I subset p$)



Thus every element of $I$ becomes $0$ in $A_p$ and hence $I_p=0 forall p in Spec A $






share|cite|improve this answer









$endgroup$












  • $begingroup$
    do you think there is an example with $R$ having no idempotents and no nilpotents? Or preferably, an example with $R$ an integral domain?
    $endgroup$
    – Stepan Banach
    13 hours ago










  • $begingroup$
    localization in integral domains can never give you $0$ unless you invert $0$ itself.
    $endgroup$
    – Soumik Ghosh
    13 hours ago










  • $begingroup$
    then what about an example with $mathrmSpec,R$ connected reduced? or is that also impossible?
    $endgroup$
    – Stepan Banach
    13 hours ago










  • $begingroup$
    My example gives you a reduced affine scheme. There are non non trivial nilpotents in the ring.
    $endgroup$
    – Soumik Ghosh
    13 hours ago










  • $begingroup$
    but your example is not connected
    $endgroup$
    – Stepan Banach
    13 hours ago













3












3








3





$begingroup$

Consider the ring $$R= mathbb Z_2 times mathbb Z_2 times... times mathbb Z_2 times.....$$ countable number of times .



Look at the ideal $$ I= bigoplus _mathbb N mathbb Z_2$$



I claim $I_p=0 forall p in Spec R$ containing $I$.
Say $I subset p$ Consider $ain I$. Observe that $a^2=a$ and hence $a= 0 $ in $A_p$ since $1-a $ is not in $p$ ( since $ain I subset p$)



Thus every element of $I$ becomes $0$ in $A_p$ and hence $I_p=0 forall p in Spec A $






share|cite|improve this answer









$endgroup$



Consider the ring $$R= mathbb Z_2 times mathbb Z_2 times... times mathbb Z_2 times.....$$ countable number of times .



Look at the ideal $$ I= bigoplus _mathbb N mathbb Z_2$$



I claim $I_p=0 forall p in Spec R$ containing $I$.
Say $I subset p$ Consider $ain I$. Observe that $a^2=a$ and hence $a= 0 $ in $A_p$ since $1-a $ is not in $p$ ( since $ain I subset p$)



Thus every element of $I$ becomes $0$ in $A_p$ and hence $I_p=0 forall p in Spec A $







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered 14 hours ago









Soumik GhoshSoumik Ghosh

1,300112




1,300112











  • $begingroup$
    do you think there is an example with $R$ having no idempotents and no nilpotents? Or preferably, an example with $R$ an integral domain?
    $endgroup$
    – Stepan Banach
    13 hours ago










  • $begingroup$
    localization in integral domains can never give you $0$ unless you invert $0$ itself.
    $endgroup$
    – Soumik Ghosh
    13 hours ago










  • $begingroup$
    then what about an example with $mathrmSpec,R$ connected reduced? or is that also impossible?
    $endgroup$
    – Stepan Banach
    13 hours ago










  • $begingroup$
    My example gives you a reduced affine scheme. There are non non trivial nilpotents in the ring.
    $endgroup$
    – Soumik Ghosh
    13 hours ago










  • $begingroup$
    but your example is not connected
    $endgroup$
    – Stepan Banach
    13 hours ago
















  • $begingroup$
    do you think there is an example with $R$ having no idempotents and no nilpotents? Or preferably, an example with $R$ an integral domain?
    $endgroup$
    – Stepan Banach
    13 hours ago










  • $begingroup$
    localization in integral domains can never give you $0$ unless you invert $0$ itself.
    $endgroup$
    – Soumik Ghosh
    13 hours ago










  • $begingroup$
    then what about an example with $mathrmSpec,R$ connected reduced? or is that also impossible?
    $endgroup$
    – Stepan Banach
    13 hours ago










  • $begingroup$
    My example gives you a reduced affine scheme. There are non non trivial nilpotents in the ring.
    $endgroup$
    – Soumik Ghosh
    13 hours ago










  • $begingroup$
    but your example is not connected
    $endgroup$
    – Stepan Banach
    13 hours ago















$begingroup$
do you think there is an example with $R$ having no idempotents and no nilpotents? Or preferably, an example with $R$ an integral domain?
$endgroup$
– Stepan Banach
13 hours ago




$begingroup$
do you think there is an example with $R$ having no idempotents and no nilpotents? Or preferably, an example with $R$ an integral domain?
$endgroup$
– Stepan Banach
13 hours ago












$begingroup$
localization in integral domains can never give you $0$ unless you invert $0$ itself.
$endgroup$
– Soumik Ghosh
13 hours ago




$begingroup$
localization in integral domains can never give you $0$ unless you invert $0$ itself.
$endgroup$
– Soumik Ghosh
13 hours ago












$begingroup$
then what about an example with $mathrmSpec,R$ connected reduced? or is that also impossible?
$endgroup$
– Stepan Banach
13 hours ago




$begingroup$
then what about an example with $mathrmSpec,R$ connected reduced? or is that also impossible?
$endgroup$
– Stepan Banach
13 hours ago












$begingroup$
My example gives you a reduced affine scheme. There are non non trivial nilpotents in the ring.
$endgroup$
– Soumik Ghosh
13 hours ago




$begingroup$
My example gives you a reduced affine scheme. There are non non trivial nilpotents in the ring.
$endgroup$
– Soumik Ghosh
13 hours ago












$begingroup$
but your example is not connected
$endgroup$
– Stepan Banach
13 hours ago




$begingroup$
but your example is not connected
$endgroup$
– Stepan Banach
13 hours ago

















draft saved

draft discarded
















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid


  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.

Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3182377%2fideal-with-zero-localizations-at-prime-ideals-containing-it%23new-answer', 'question_page');

);

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







Popular posts from this blog

Куамањотепек (Чилапа де Алварез) Садржај Становништво Види још Референце Спољашње везе Мени за навигацију17°19′47″N 99°1′51″W / 17.32972° СГШ; 99.03083° ЗГД / 17.32972; -99.0308317°19′47″N 99°1′51″W / 17.32972° СГШ; 99.03083° ЗГД / 17.32972; -99.030838877656„Instituto Nacional de Estadística y Geografía”„The GeoNames geographical database”Мексичка насељапроширитиуу

How to make RAID controller rescan devices The 2019 Stack Overflow Developer Survey Results Are InLSI MegaRAID SAS 9261-8i: Disk isn't recognized after replacementHow to monitor the hard disk status behind Dell PERC H710 Raid Controller with CentOS 6?LSI MegaRAID - Recreate missing RAID 1 arrayext. 2-bay USB-Drive with RAID: btrfs RAID vs built-in RAIDInvalid SAS topologyDoes enabling JBOD mode on LSI based controllers affect existing logical disks/arrays?Why is there a shift between the WWN reported from the controller and the Linux system?Optimal RAID 6+0 Setup for 40+ 4TB DisksAccidental SAS cable removal

Срби Садржај Географија Етимологија Генетика Историја Језик Религија Популација Познати Срби Види још Напомене Референце Извори Литература Спољашње везе Мени за навигацијууrs.one.un.orgАрхивираноАрхивирано из оригиналаПопис становништва из 2011. годинеCOMMUNITY PROFILE: SERB COMMUNITY„1996 population census in Bosnia and Herzegovina”„CIA - The World Factbook - Bosnia and Herzegovina”American FactFinder - Results„2011 National Household Survey: Data tables”„Srbi u Nemačkoj | Srbi u Njemačkoj | Zentralrat der Serben in Deutschland”оригинала„Vesti online - Srpski informativni portal”„The Serbian Diaspora and Youth: Cross-Border Ties and Opportunities for Development”оригиналаSerben-Demo eskaliert in Wien„The People of Australia – Statistics from the 2011 Census”„Erstmals über eine Million EU- und EFTA Angehörige in der Schweiz”STANOVNIŠTVO PREMA NARODNOSTI – DETALJNA KLASIFIKACIJA – POPIS 2011.(Завод за статистику Црне Горе)title=Présentation de la République de SerbieSerbian | EthnologuePopulation by ethnic affiliation, Slovenia, Census 1953, 1961, 1971, 1981, 1991 and 2002Попис на населението, домаќинствата и становите во Република Македонија, 2002: Дефинитивни податоциALBANIJA ETNIČKI ČISTI SRBE: Iščezlo 100.000 ljudi pokrštavanjem, kao što su to radile ustaše u NDH! | Telegraf – Najnovije vestiИз удаљене Аргентине„Tab11. Populaţia stabilă după etnie şi limba maternă, pe categorii de localităţi”Суседи броје Србе„Srpska Dijaspora”оригиналаMinifacts about Norway 2012„Statistiques - 01.06.2008”ПРЕДСЕДНИК СРБИЈЕ СА СРБИМА У БРАТИСЛАВИСлавка Драшковић: Многа питања Срба у Црној Гори нерешенаThe Spread of the SlavesGoogle Book„Distribution of European Y-chromosome DNA (Y-DNA) haplogroups by country in percentage”American Journal of Physical Anthropology 142:380–390 (2010)„Архивирана копија”оригинала„Haplogroup I2 (Y-DNA)”„Архивирана копија”оригиналаVTS 01 1 - YouTubeПрви сукоби Срба и Турака - Политикин забавникАрхивираноConstantine Porphyrogenitus: De Administrando ImperioВизантиски извори за историју народа ЈугославијеDe conversione Croatorum et Serborum: A Lost SourceDe conversione Croatorum et Serborum: Изгубљени извор Константина ПорфирогенитаИсторија српске државностиИсторија српског народаСрбофобија и њени извориСерска област после Душанове смртиИсторија ВизантијеИсторија средњовековне босанске државеСрби међу европским народимаСрби у средњем векуМедијиПодациууууу00577267