Mixing
Is there an isomorphism between $ text{Spec}(R_{mathfrak{p}}) $ and the prime ideals of $ R $ which are...
$begingroup$
Suppose $ R $ is a ring, and $ mathfrak{p} in text{Spec}(R). $
I have been told that $ text{Spec}(R_{mathfrak{p}}) cong lbrace mathfrak{q} in text{Spec}(R);| mathfrak{q} subset mathfrak{p} rbrace, $ and I am trying to figure out whether this is true or not, but I am stuck trying to show that there is an injective map $ alpha : text{Spec}(R_{mathfrak{p}}) longrightarrow lbrace mathfrak{q} in text{Spec}(R);| mathfrak{q} subset mathfrak{p} rbrace.$
I suspect that there is a way to show this by exploiting the fact that any (prime) ideal of $ text{Spec}(R_{p}) $ cannot contain units of $ R_{mathfrak{p}} $, but I can't find a way through.
Any assistance would be much appreciated.
commutative-algebra
asked Jan 11 at 2:53
Overwhelmed AG ApprenticeOverwhelmed AG Apprentice
458
$endgroup$
add a comment |
$begingroup$
Suppose $ R $ is a ring, and $ mathfrak{p} in text{Spec}(R). $
I have been told that $ text{Spec}(R_{mathfrak{p}}) cong lbrace mathfrak{q} in text{Spec}(R);| mathfrak{q} subset mathfrak{p} rbrace, $ and I am trying to figure out whether this is true or not, but I am stuck trying to show that there is an injective map $ alpha : text{Spec}(R_{mathfrak{p}}) longrightarrow lbrace mathfrak{q} in text{Spec}(R);| mathfrak{q} subset mathfrak{p} rbrace.$
I suspect that there is a way to show this by exploiting the fact that any (prime) ideal of $ text{Spec}(R_{p}) $ cannot contain units of $ R_{mathfrak{p}} $, but I can't find a way through.
Any assistance would be much appreciated.
commutative-algebra
asked Jan 11 at 2:53
Overwhelmed AG ApprenticeOverwhelmed AG Apprentice
458
$endgroup$
add a comment |
$begingroup$
Suppose $ R $ is a ring, and $ mathfrak{p} in text{Spec}(R). $
I have been told that $ text{Spec}(R_{mathfrak{p}}) cong lbrace mathfrak{q} in text{Spec}(R);| mathfrak{q} subset mathfrak{p} rbrace, $ and I am trying to figure out whether this is true or not, but I am stuck trying to show that there is an injective map $ alpha : text{Spec}(R_{mathfrak{p}}) longrightarrow lbrace mathfrak{q} in text{Spec}(R);| mathfrak{q} subset mathfrak{p} rbrace.$
I suspect that there is a way to show this by exploiting the fact that any (prime) ideal of $ text{Spec}(R_{p}) $ cannot contain units of $ R_{mathfrak{p}} $, but I can't find a way through.
Any assistance would be much appreciated.
commutative-algebra
asked Jan 11 at 2:53
Overwhelmed AG ApprenticeOverwhelmed AG Apprentice
458
$endgroup$
Suppose $ R $ is a ring, and $ mathfrak{p} in text{Spec}(R). $
I have been told that $ text{Spec}(R_{mathfrak{p}}) cong lbrace mathfrak{q} in text{Spec}(R);| mathfrak{q} subset mathfrak{p} rbrace, $ and I am trying to figure out whether this is true or not, but I am stuck trying to show that there is an injective map $ alpha : text{Spec}(R_{mathfrak{p}}) longrightarrow lbrace mathfrak{q} in text{Spec}(R);| mathfrak{q} subset mathfrak{p} rbrace.$
I suspect that there is a way to show this by exploiting the fact that any (prime) ideal of $ text{Spec}(R_{p}) $ cannot contain units of $ R_{mathfrak{p}} $, but I can't find a way through.
Any assistance would be much appreciated.
commutative-algebra
commutative-algebra
asked Jan 11 at 2:53
Overwhelmed AG ApprenticeOverwhelmed AG Apprentice
458
asked Jan 11 at 2:53
Overwhelmed AG ApprenticeOverwhelmed AG Apprentice
458
asked Jan 11 at 2:53
Overwhelmed AG ApprenticeOverwhelmed AG Apprentice
458
asked Jan 11 at 2:53
Overwhelmed AG ApprenticeOverwhelmed AG Apprentice
458
asked Jan 11 at 2:53
Overwhelmed AG ApprenticeOverwhelmed AG Apprentice
458
458
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
In a word, yes.
In general, for a multiplicatively closed subset $S$ of $R$,
there is a natural correspondence between the prime ideals of
$S^{-1}R$ and the prime ideals of $R$ disjoint from $S$. Your
example is the case where $S=R-newcommand{fp}{mathfrak{p}}
newcommand{fq}{mathfrak{q}}fp$.
The prime ideals of $S^{-1}R$ all have the form $S^{-1}fq$
where $fqsubseteq fp$ is a prime ideal of $S$. It is straightforward
to check that these $S^{-1}fq$ are prime in $S^{-1}R$. Conversely,
let $Q$ be a prime ideal of $S^{-1}R$. Then
$fq={ain R:a/1in Q}$ is a prime ideal of $R$, being the inverse image
of $Q$ under the map $phi:amapsto a/1$ from $R$ to $S^{-1}R$.
If $b/sin Q$, then $b/1=(b/s)(s/1)in Q$ so $binfq$ and so $Q=S^{-1}fq$
etc.
Texts on commutative algebra will have more details.
Your $alpha$ is $Qmapstophi^{-1}(Q)$.
answered Jan 11 at 4:20
Lord Shark the UnknownLord Shark the Unknown
104k1160132
$endgroup$
$begingroup$
Thanks for this. I think I see your argument. It's quite nice. Arguments like this make the effort of trying to understand these things worth it in the end.
$endgroup$
– Overwhelmed AG Apprentice
Jan 20 at 4:29
add a comment |
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
});
}
});
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%2f3069436%2fis-there-an-isomorphism-between-textspecr-mathfrakp-and-the-prime%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
In a word, yes.
In general, for a multiplicatively closed subset $S$ of $R$,
there is a natural correspondence between the prime ideals of
$S^{-1}R$ and the prime ideals of $R$ disjoint from $S$. Your
example is the case where $S=R-newcommand{fp}{mathfrak{p}}
newcommand{fq}{mathfrak{q}}fp$.
The prime ideals of $S^{-1}R$ all have the form $S^{-1}fq$
where $fqsubseteq fp$ is a prime ideal of $S$. It is straightforward
to check that these $S^{-1}fq$ are prime in $S^{-1}R$. Conversely,
let $Q$ be a prime ideal of $S^{-1}R$. Then
$fq={ain R:a/1in Q}$ is a prime ideal of $R$, being the inverse image
of $Q$ under the map $phi:amapsto a/1$ from $R$ to $S^{-1}R$.
If $b/sin Q$, then $b/1=(b/s)(s/1)in Q$ so $binfq$ and so $Q=S^{-1}fq$
etc.
Texts on commutative algebra will have more details.
Your $alpha$ is $Qmapstophi^{-1}(Q)$.
answered Jan 11 at 4:20
Lord Shark the UnknownLord Shark the Unknown
104k1160132
$endgroup$
$begingroup$
Thanks for this. I think I see your argument. It's quite nice. Arguments like this make the effort of trying to understand these things worth it in the end.
$endgroup$
– Overwhelmed AG Apprentice
Jan 20 at 4:29
add a comment |
$begingroup$
In a word, yes.
In general, for a multiplicatively closed subset $S$ of $R$,
there is a natural correspondence between the prime ideals of
$S^{-1}R$ and the prime ideals of $R$ disjoint from $S$. Your
example is the case where $S=R-newcommand{fp}{mathfrak{p}}
newcommand{fq}{mathfrak{q}}fp$.
The prime ideals of $S^{-1}R$ all have the form $S^{-1}fq$
where $fqsubseteq fp$ is a prime ideal of $S$. It is straightforward
to check that these $S^{-1}fq$ are prime in $S^{-1}R$. Conversely,
let $Q$ be a prime ideal of $S^{-1}R$. Then
$fq={ain R:a/1in Q}$ is a prime ideal of $R$, being the inverse image
of $Q$ under the map $phi:amapsto a/1$ from $R$ to $S^{-1}R$.
If $b/sin Q$, then $b/1=(b/s)(s/1)in Q$ so $binfq$ and so $Q=S^{-1}fq$
etc.
Texts on commutative algebra will have more details.
Your $alpha$ is $Qmapstophi^{-1}(Q)$.
answered Jan 11 at 4:20
Lord Shark the UnknownLord Shark the Unknown
104k1160132
$endgroup$
$begingroup$
Thanks for this. I think I see your argument. It's quite nice. Arguments like this make the effort of trying to understand these things worth it in the end.
$endgroup$
– Overwhelmed AG Apprentice
Jan 20 at 4:29
add a comment |
$begingroup$
In a word, yes.
In general, for a multiplicatively closed subset $S$ of $R$,
there is a natural correspondence between the prime ideals of
$S^{-1}R$ and the prime ideals of $R$ disjoint from $S$. Your
example is the case where $S=R-newcommand{fp}{mathfrak{p}}
newcommand{fq}{mathfrak{q}}fp$.
The prime ideals of $S^{-1}R$ all have the form $S^{-1}fq$
where $fqsubseteq fp$ is a prime ideal of $S$. It is straightforward
to check that these $S^{-1}fq$ are prime in $S^{-1}R$. Conversely,
let $Q$ be a prime ideal of $S^{-1}R$. Then
$fq={ain R:a/1in Q}$ is a prime ideal of $R$, being the inverse image
of $Q$ under the map $phi:amapsto a/1$ from $R$ to $S^{-1}R$.
If $b/sin Q$, then $b/1=(b/s)(s/1)in Q$ so $binfq$ and so $Q=S^{-1}fq$
etc.
Texts on commutative algebra will have more details.
Your $alpha$ is $Qmapstophi^{-1}(Q)$.
answered Jan 11 at 4:20
Lord Shark the UnknownLord Shark the Unknown
104k1160132
$endgroup$
In a word, yes.
In general, for a multiplicatively closed subset $S$ of $R$,
there is a natural correspondence between the prime ideals of
$S^{-1}R$ and the prime ideals of $R$ disjoint from $S$. Your
example is the case where $S=R-newcommand{fp}{mathfrak{p}}
newcommand{fq}{mathfrak{q}}fp$.
The prime ideals of $S^{-1}R$ all have the form $S^{-1}fq$
where $fqsubseteq fp$ is a prime ideal of $S$. It is straightforward
to check that these $S^{-1}fq$ are prime in $S^{-1}R$. Conversely,
let $Q$ be a prime ideal of $S^{-1}R$. Then
$fq={ain R:a/1in Q}$ is a prime ideal of $R$, being the inverse image
of $Q$ under the map $phi:amapsto a/1$ from $R$ to $S^{-1}R$.
If $b/sin Q$, then $b/1=(b/s)(s/1)in Q$ so $binfq$ and so $Q=S^{-1}fq$
etc.
Texts on commutative algebra will have more details.
Your $alpha$ is $Qmapstophi^{-1}(Q)$.
answered Jan 11 at 4:20
Lord Shark the UnknownLord Shark the Unknown
104k1160132
answered Jan 11 at 4:20
Lord Shark the UnknownLord Shark the Unknown
104k1160132
answered Jan 11 at 4:20
Lord Shark the UnknownLord Shark the Unknown
104k1160132
answered Jan 11 at 4:20
Lord Shark the UnknownLord Shark the Unknown
104k1160132
104k1160132
$begingroup$
Thanks for this. I think I see your argument. It's quite nice. Arguments like this make the effort of trying to understand these things worth it in the end.
$endgroup$
– Overwhelmed AG Apprentice
Jan 20 at 4:29
add a comment |
$begingroup$
Thanks for this. I think I see your argument. It's quite nice. Arguments like this make the effort of trying to understand these things worth it in the end.
$endgroup$
– Overwhelmed AG Apprentice
Jan 20 at 4:29
$begingroup$
Thanks for this. I think I see your argument. It's quite nice. Arguments like this make the effort of trying to understand these things worth it in the end.
$endgroup$
– Overwhelmed AG Apprentice
Jan 20 at 4:29
$begingroup$
Thanks for this. I think I see your argument. It's quite nice. Arguments like this make the effort of trying to understand these things worth it in the end.
$endgroup$
– Overwhelmed AG Apprentice
Jan 20 at 4:29
add a comment |
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.
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%2f3069436%2fis-there-an-isomorphism-between-textspecr-mathfrakp-and-the-prime%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
