Prove that $R$ has exactly one nontrivial ideal
$begingroup$
Let $R$ be a commutative ring with identity and with the following properties:
(a) The intersection of all of its nonzero ideals is nontrivial.
(b) If $x$ and $y$ are zero divisors in $R$, then $xy=0$.
Prove that $R$ has exactly one nontrivial ideal.
I was trying to prove that $I$, the intersection of all ideals is a maximal ideal. I can see that $I^2=0$ but cannot go any further. I'd much prefer hints than complete answers. Thank you.
abstract-algebra ring-theory ideals maximal-and-prime-ideals
asked Dec 3 '18 at 5:48
SinTan1729SinTan1729
2,662723
$endgroup$
|
show 1 more comment
$begingroup$
Let $R$ be a commutative ring with identity and with the following properties:
(a) The intersection of all of its nonzero ideals is nontrivial.
(b) If $x$ and $y$ are zero divisors in $R$, then $xy=0$.
Prove that $R$ has exactly one nontrivial ideal.
I was trying to prove that $I$, the intersection of all ideals is a maximal ideal. I can see that $I^2=0$ but cannot go any further. I'd much prefer hints than complete answers. Thank you.
abstract-algebra ring-theory ideals maximal-and-prime-ideals
asked Dec 3 '18 at 5:48
SinTan1729SinTan1729
2,662723
$endgroup$
1
$begingroup$
Take a nonzero nonunit element $xin R$. Then $(x)supset (x^2)supset (x^3)supset cdots$ is a chain of ideals. The intersection over all ideals is contained in the intersection over the ideals appearing in this chain. If $yin bigcap_n (x^n)$ then $y=g_nx^n$ for some sequence of elements $g_1,...,g_n,...$. Taking $x^ng_n-xg_1=0$ we get that $x(x^{n-1}g_n-g_1)=0$. So $x$ is a zero-divisor, as is every other nonzero nonunit element of $R$. Now if $1-x$ is a zero divisor then $x(1-x)=x=0$ so assume it's not. I.e. assume $1-x$ is either 0 or a unit. The former implies $x=1$ which is not...
$endgroup$
– Eoin
Dec 3 '18 at 6:16
1
$begingroup$
... the case. The latter implies $x$ is in the Jacobian radical of $R$. But this is true for all nonzero nonunits of $R$. If we had two maximal ideals, then we could find elements in each one and not the other. Being nonzero nonunit elements, they'd both be in the Jacobson radical which is impossible. So there's only one maximal ideal for $R$. Now consider the powers of this maximal ideal... tbc maybe
$endgroup$
– Eoin
Dec 3 '18 at 6:16
$begingroup$
@Eoin All the nonzero elements of this maximal ideal would be zero divisors. Hence, all the higher powers are $0$.
$endgroup$
– SinTan1729
Dec 3 '18 at 6:23
1
$begingroup$
$x$ and $x$ are zero divisors so $x^2=0$.
$endgroup$
– Eoin
Dec 3 '18 at 6:34
2
$begingroup$
@Eoin Why are you writing an answer in the content section?
$endgroup$
– Arthur
Dec 3 '18 at 6:52
|
show 1 more comment
$begingroup$
Let $R$ be a commutative ring with identity and with the following properties:
(a) The intersection of all of its nonzero ideals is nontrivial.
(b) If $x$ and $y$ are zero divisors in $R$, then $xy=0$.
Prove that $R$ has exactly one nontrivial ideal.
I was trying to prove that $I$, the intersection of all ideals is a maximal ideal. I can see that $I^2=0$ but cannot go any further. I'd much prefer hints than complete answers. Thank you.
abstract-algebra ring-theory ideals maximal-and-prime-ideals
asked Dec 3 '18 at 5:48
SinTan1729SinTan1729
2,662723
$endgroup$
Let $R$ be a commutative ring with identity and with the following properties:
(a) The intersection of all of its nonzero ideals is nontrivial.
(b) If $x$ and $y$ are zero divisors in $R$, then $xy=0$.
Prove that $R$ has exactly one nontrivial ideal.
I was trying to prove that $I$, the intersection of all ideals is a maximal ideal. I can see that $I^2=0$ but cannot go any further. I'd much prefer hints than complete answers. Thank you.
abstract-algebra ring-theory ideals maximal-and-prime-ideals
abstract-algebra ring-theory ideals maximal-and-prime-ideals
asked Dec 3 '18 at 5:48
SinTan1729SinTan1729
2,662723
asked Dec 3 '18 at 5:48
SinTan1729SinTan1729
2,662723
asked Dec 3 '18 at 5:48
SinTan1729SinTan1729
2,662723
asked Dec 3 '18 at 5:48
SinTan1729SinTan1729
2,662723
asked Dec 3 '18 at 5:48
SinTan1729SinTan1729
2,662723
2,662723
1
$begingroup$
Take a nonzero nonunit element $xin R$. Then $(x)supset (x^2)supset (x^3)supset cdots$ is a chain of ideals. The intersection over all ideals is contained in the intersection over the ideals appearing in this chain. If $yin bigcap_n (x^n)$ then $y=g_nx^n$ for some sequence of elements $g_1,...,g_n,...$. Taking $x^ng_n-xg_1=0$ we get that $x(x^{n-1}g_n-g_1)=0$. So $x$ is a zero-divisor, as is every other nonzero nonunit element of $R$. Now if $1-x$ is a zero divisor then $x(1-x)=x=0$ so assume it's not. I.e. assume $1-x$ is either 0 or a unit. The former implies $x=1$ which is not...
$endgroup$
– Eoin
Dec 3 '18 at 6:16
1
$begingroup$
... the case. The latter implies $x$ is in the Jacobian radical of $R$. But this is true for all nonzero nonunits of $R$. If we had two maximal ideals, then we could find elements in each one and not the other. Being nonzero nonunit elements, they'd both be in the Jacobson radical which is impossible. So there's only one maximal ideal for $R$. Now consider the powers of this maximal ideal... tbc maybe
$endgroup$
– Eoin
Dec 3 '18 at 6:16
$begingroup$
@Eoin All the nonzero elements of this maximal ideal would be zero divisors. Hence, all the higher powers are $0$.
$endgroup$
– SinTan1729
Dec 3 '18 at 6:23
1
$begingroup$
$x$ and $x$ are zero divisors so $x^2=0$.
$endgroup$
– Eoin
Dec 3 '18 at 6:34
2
$begingroup$
@Eoin Why are you writing an answer in the content section?
$endgroup$
– Arthur
Dec 3 '18 at 6:52
|
show 1 more comment
1
$begingroup$
Take a nonzero nonunit element $xin R$. Then $(x)supset (x^2)supset (x^3)supset cdots$ is a chain of ideals. The intersection over all ideals is contained in the intersection over the ideals appearing in this chain. If $yin bigcap_n (x^n)$ then $y=g_nx^n$ for some sequence of elements $g_1,...,g_n,...$. Taking $x^ng_n-xg_1=0$ we get that $x(x^{n-1}g_n-g_1)=0$. So $x$ is a zero-divisor, as is every other nonzero nonunit element of $R$. Now if $1-x$ is a zero divisor then $x(1-x)=x=0$ so assume it's not. I.e. assume $1-x$ is either 0 or a unit. The former implies $x=1$ which is not...
$endgroup$
– Eoin
Dec 3 '18 at 6:16
1
$begingroup$
... the case. The latter implies $x$ is in the Jacobian radical of $R$. But this is true for all nonzero nonunits of $R$. If we had two maximal ideals, then we could find elements in each one and not the other. Being nonzero nonunit elements, they'd both be in the Jacobson radical which is impossible. So there's only one maximal ideal for $R$. Now consider the powers of this maximal ideal... tbc maybe
$endgroup$
– Eoin
Dec 3 '18 at 6:16
$begingroup$
@Eoin All the nonzero elements of this maximal ideal would be zero divisors. Hence, all the higher powers are $0$.
$endgroup$
– SinTan1729
Dec 3 '18 at 6:23
1
$begingroup$
$x$ and $x$ are zero divisors so $x^2=0$.
$endgroup$
– Eoin
Dec 3 '18 at 6:34
2
$begingroup$
@Eoin Why are you writing an answer in the content section?
$endgroup$
– Arthur
Dec 3 '18 at 6:52
1
1
$begingroup$
Take a nonzero nonunit element $xin R$. Then $(x)supset (x^2)supset (x^3)supset cdots$ is a chain of ideals. The intersection over all ideals is contained in the intersection over the ideals appearing in this chain. If $yin bigcap_n (x^n)$ then $y=g_nx^n$ for some sequence of elements $g_1,...,g_n,...$. Taking $x^ng_n-xg_1=0$ we get that $x(x^{n-1}g_n-g_1)=0$. So $x$ is a zero-divisor, as is every other nonzero nonunit element of $R$. Now if $1-x$ is a zero divisor then $x(1-x)=x=0$ so assume it's not. I.e. assume $1-x$ is either 0 or a unit. The former implies $x=1$ which is not...
$endgroup$
– Eoin
Dec 3 '18 at 6:16
$begingroup$
Take a nonzero nonunit element $xin R$. Then $(x)supset (x^2)supset (x^3)supset cdots$ is a chain of ideals. The intersection over all ideals is contained in the intersection over the ideals appearing in this chain. If $yin bigcap_n (x^n)$ then $y=g_nx^n$ for some sequence of elements $g_1,...,g_n,...$. Taking $x^ng_n-xg_1=0$ we get that $x(x^{n-1}g_n-g_1)=0$. So $x$ is a zero-divisor, as is every other nonzero nonunit element of $R$. Now if $1-x$ is a zero divisor then $x(1-x)=x=0$ so assume it's not. I.e. assume $1-x$ is either 0 or a unit. The former implies $x=1$ which is not...
$endgroup$
– Eoin
Dec 3 '18 at 6:16
1
1
$begingroup$
... the case. The latter implies $x$ is in the Jacobian radical of $R$. But this is true for all nonzero nonunits of $R$. If we had two maximal ideals, then we could find elements in each one and not the other. Being nonzero nonunit elements, they'd both be in the Jacobson radical which is impossible. So there's only one maximal ideal for $R$. Now consider the powers of this maximal ideal... tbc maybe
$endgroup$
– Eoin
Dec 3 '18 at 6:16
$begingroup$
... the case. The latter implies $x$ is in the Jacobian radical of $R$. But this is true for all nonzero nonunits of $R$. If we had two maximal ideals, then we could find elements in each one and not the other. Being nonzero nonunit elements, they'd both be in the Jacobson radical which is impossible. So there's only one maximal ideal for $R$. Now consider the powers of this maximal ideal... tbc maybe
$endgroup$
– Eoin
Dec 3 '18 at 6:16
$begingroup$
@Eoin All the nonzero elements of this maximal ideal would be zero divisors. Hence, all the higher powers are $0$.
$endgroup$
– SinTan1729
Dec 3 '18 at 6:23
$begingroup$
@Eoin All the nonzero elements of this maximal ideal would be zero divisors. Hence, all the higher powers are $0$.
$endgroup$
– SinTan1729
Dec 3 '18 at 6:23
1
1
$begingroup$
$x$ and $x$ are zero divisors so $x^2=0$.
$endgroup$
– Eoin
Dec 3 '18 at 6:34
$begingroup$
$x$ and $x$ are zero divisors so $x^2=0$.
$endgroup$
– Eoin
Dec 3 '18 at 6:34
2
2
$begingroup$
@Eoin Why are you writing an answer in the content section?
$endgroup$
– Arthur
Dec 3 '18 at 6:52
$begingroup$
@Eoin Why are you writing an answer in the content section?
$endgroup$
– Arthur
Dec 3 '18 at 6:52
|
show 1 more comment
1 Answer
1
active
oldest
votes
$begingroup$
Since $I$ (as you denoted in your original post) is clearly a minimal ideal, $R/Mcong I$ for some maximal ideal $M$. We have $MI=0$ so that $M$ consists entirely of zero divisors, and by a) we have that $M^2={0}$.
I will leave it to you to prove that $I=ann(M)$, and that $R$ is a local ring with maximal ideal $M$.
Finally, putting the things together, $Msubseteq ann(M)=I$.
So $I$ is the unique minimal and unique maximal ideal, therefore it is the unique nontrivial ideal.
answered Dec 3 '18 at 16:22
rschwiebrschwieb
106k12102249
$endgroup$
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%2f3023698%2fprove-that-r-has-exactly-one-nontrivial-ideal%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$
Since $I$ (as you denoted in your original post) is clearly a minimal ideal, $R/Mcong I$ for some maximal ideal $M$. We have $MI=0$ so that $M$ consists entirely of zero divisors, and by a) we have that $M^2={0}$.
I will leave it to you to prove that $I=ann(M)$, and that $R$ is a local ring with maximal ideal $M$.
Finally, putting the things together, $Msubseteq ann(M)=I$.
So $I$ is the unique minimal and unique maximal ideal, therefore it is the unique nontrivial ideal.
answered Dec 3 '18 at 16:22
rschwiebrschwieb
106k12102249
$endgroup$
add a comment |
$begingroup$
Since $I$ (as you denoted in your original post) is clearly a minimal ideal, $R/Mcong I$ for some maximal ideal $M$. We have $MI=0$ so that $M$ consists entirely of zero divisors, and by a) we have that $M^2={0}$.
I will leave it to you to prove that $I=ann(M)$, and that $R$ is a local ring with maximal ideal $M$.
Finally, putting the things together, $Msubseteq ann(M)=I$.
So $I$ is the unique minimal and unique maximal ideal, therefore it is the unique nontrivial ideal.
answered Dec 3 '18 at 16:22
rschwiebrschwieb
106k12102249
$endgroup$
add a comment |
$begingroup$
Since $I$ (as you denoted in your original post) is clearly a minimal ideal, $R/Mcong I$ for some maximal ideal $M$. We have $MI=0$ so that $M$ consists entirely of zero divisors, and by a) we have that $M^2={0}$.
I will leave it to you to prove that $I=ann(M)$, and that $R$ is a local ring with maximal ideal $M$.
Finally, putting the things together, $Msubseteq ann(M)=I$.
So $I$ is the unique minimal and unique maximal ideal, therefore it is the unique nontrivial ideal.
answered Dec 3 '18 at 16:22
rschwiebrschwieb
106k12102249
$endgroup$
Since $I$ (as you denoted in your original post) is clearly a minimal ideal, $R/Mcong I$ for some maximal ideal $M$. We have $MI=0$ so that $M$ consists entirely of zero divisors, and by a) we have that $M^2={0}$.
I will leave it to you to prove that $I=ann(M)$, and that $R$ is a local ring with maximal ideal $M$.
Finally, putting the things together, $Msubseteq ann(M)=I$.
So $I$ is the unique minimal and unique maximal ideal, therefore it is the unique nontrivial ideal.
answered Dec 3 '18 at 16:22
rschwiebrschwieb
106k12102249
answered Dec 3 '18 at 16:22
rschwiebrschwieb
106k12102249
answered Dec 3 '18 at 16:22
rschwiebrschwieb
106k12102249
answered Dec 3 '18 at 16:22
rschwiebrschwieb
106k12102249
106k12102249
add a comment |
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%2f3023698%2fprove-that-r-has-exactly-one-nontrivial-ideal%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
1
$begingroup$
Take a nonzero nonunit element $xin R$. Then $(x)supset (x^2)supset (x^3)supset cdots$ is a chain of ideals. The intersection over all ideals is contained in the intersection over the ideals appearing in this chain. If $yin bigcap_n (x^n)$ then $y=g_nx^n$ for some sequence of elements $g_1,...,g_n,...$. Taking $x^ng_n-xg_1=0$ we get that $x(x^{n-1}g_n-g_1)=0$. So $x$ is a zero-divisor, as is every other nonzero nonunit element of $R$. Now if $1-x$ is a zero divisor then $x(1-x)=x=0$ so assume it's not. I.e. assume $1-x$ is either 0 or a unit. The former implies $x=1$ which is not...
$endgroup$
– Eoin
Dec 3 '18 at 6:16
1
$begingroup$
... the case. The latter implies $x$ is in the Jacobian radical of $R$. But this is true for all nonzero nonunits of $R$. If we had two maximal ideals, then we could find elements in each one and not the other. Being nonzero nonunit elements, they'd both be in the Jacobson radical which is impossible. So there's only one maximal ideal for $R$. Now consider the powers of this maximal ideal... tbc maybe
$endgroup$
– Eoin
Dec 3 '18 at 6:16
$begingroup$
@Eoin All the nonzero elements of this maximal ideal would be zero divisors. Hence, all the higher powers are $0$.
$endgroup$
– SinTan1729
Dec 3 '18 at 6:23
1
$begingroup$
$x$ and $x$ are zero divisors so $x^2=0$.
$endgroup$
– Eoin
Dec 3 '18 at 6:34
2
$begingroup$
@Eoin Why are you writing an answer in the content section?
$endgroup$
– Arthur
Dec 3 '18 at 6:52