If spectrum of a commutative ring is empty
I have found this proposition: "If the spectrum of a commutative ring A is empty then A is the zero ring".
By absurdum, if A is not the zero ring, there exists in A an element $xne0$. By Zorn's lemma, there exists a maximal ideal M such that $xnotin M$. If A has not a unit, M is not necessarily a prime ideal... So I have no idea to complete the proof. May you help me with some hint?
Thank You.
commutative-algebra maximal-and-prime-ideals
add a comment |Â
I have found this proposition: "If the spectrum of a commutative ring A is empty then A is the zero ring".
By absurdum, if A is not the zero ring, there exists in A an element $xne0$. By Zorn's lemma, there exists a maximal ideal M such that $xnotin M$. If A has not a unit, M is not necessarily a prime ideal... So I have no idea to complete the proof. May you help me with some hint?
Thank You.
commutative-algebra maximal-and-prime-ideals
add a comment |Â
I have found this proposition: "If the spectrum of a commutative ring A is empty then A is the zero ring".
By absurdum, if A is not the zero ring, there exists in A an element $xne0$. By Zorn's lemma, there exists a maximal ideal M such that $xnotin M$. If A has not a unit, M is not necessarily a prime ideal... So I have no idea to complete the proof. May you help me with some hint?
Thank You.
commutative-algebra maximal-and-prime-ideals
I have found this proposition: "If the spectrum of a commutative ring A is empty then A is the zero ring".
By absurdum, if A is not the zero ring, there exists in A an element $xne0$. By Zorn's lemma, there exists a maximal ideal M such that $xnotin M$. If A has not a unit, M is not necessarily a prime ideal... So I have no idea to complete the proof. May you help me with some hint?
Thank You.
commutative-algebra maximal-and-prime-ideals
commutative-algebra maximal-and-prime-ideals
edited yesterday
Eric Wofsey
179k12204331
179k12204331
asked yesterday
Fabrixady
134
134
add a comment |Â
add a comment |Â
2 Answers
2
active
oldest
votes
$A$ has a unit in this context. This is necessary both to claim the existence of a maximal ideal using Zorn's lemma and to claim that a maximal ideal is prime.
The example Wikipedia provides, is the ring whose underlying additive group is $mathbf Q$ with the usual addition and whose multiplication is $a cdot b = 0$ for all $a, b$. A subset $A subseteq mathbf Q$ is an ideal if and only if it is an additive subgroup of $mathbfQ$.
It is clear that no proper ideal can be prime since if $x notin A$ then $x^2 = 0 in A$.
Also, if $A$ is proper then $(mathbfQ/A,+)$ is a non-zero divisible group, which means it has a non-zero proper subgroup, which by correspondence means there is a larger proper ideal than $A$. So no proper ideals of $mathbfQ$ are maximal.
add a comment |Â
I very much doubt you are working with rings lacking identity.
Indeed, the statement is false for rings without identity: $2mathbb Z/4mathbb Z$ has no prime ideals.
add a comment |Â
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$A$ has a unit in this context. This is necessary both to claim the existence of a maximal ideal using Zorn's lemma and to claim that a maximal ideal is prime.
The example Wikipedia provides, is the ring whose underlying additive group is $mathbf Q$ with the usual addition and whose multiplication is $a cdot b = 0$ for all $a, b$. A subset $A subseteq mathbf Q$ is an ideal if and only if it is an additive subgroup of $mathbfQ$.
It is clear that no proper ideal can be prime since if $x notin A$ then $x^2 = 0 in A$.
Also, if $A$ is proper then $(mathbfQ/A,+)$ is a non-zero divisible group, which means it has a non-zero proper subgroup, which by correspondence means there is a larger proper ideal than $A$. So no proper ideals of $mathbfQ$ are maximal.
add a comment |Â
$A$ has a unit in this context. This is necessary both to claim the existence of a maximal ideal using Zorn's lemma and to claim that a maximal ideal is prime.
The example Wikipedia provides, is the ring whose underlying additive group is $mathbf Q$ with the usual addition and whose multiplication is $a cdot b = 0$ for all $a, b$. A subset $A subseteq mathbf Q$ is an ideal if and only if it is an additive subgroup of $mathbfQ$.
It is clear that no proper ideal can be prime since if $x notin A$ then $x^2 = 0 in A$.
Also, if $A$ is proper then $(mathbfQ/A,+)$ is a non-zero divisible group, which means it has a non-zero proper subgroup, which by correspondence means there is a larger proper ideal than $A$. So no proper ideals of $mathbfQ$ are maximal.
add a comment |Â
$A$ has a unit in this context. This is necessary both to claim the existence of a maximal ideal using Zorn's lemma and to claim that a maximal ideal is prime.
The example Wikipedia provides, is the ring whose underlying additive group is $mathbf Q$ with the usual addition and whose multiplication is $a cdot b = 0$ for all $a, b$. A subset $A subseteq mathbf Q$ is an ideal if and only if it is an additive subgroup of $mathbfQ$.
It is clear that no proper ideal can be prime since if $x notin A$ then $x^2 = 0 in A$.
Also, if $A$ is proper then $(mathbfQ/A,+)$ is a non-zero divisible group, which means it has a non-zero proper subgroup, which by correspondence means there is a larger proper ideal than $A$. So no proper ideals of $mathbfQ$ are maximal.
$A$ has a unit in this context. This is necessary both to claim the existence of a maximal ideal using Zorn's lemma and to claim that a maximal ideal is prime.
The example Wikipedia provides, is the ring whose underlying additive group is $mathbf Q$ with the usual addition and whose multiplication is $a cdot b = 0$ for all $a, b$. A subset $A subseteq mathbf Q$ is an ideal if and only if it is an additive subgroup of $mathbfQ$.
It is clear that no proper ideal can be prime since if $x notin A$ then $x^2 = 0 in A$.
Also, if $A$ is proper then $(mathbfQ/A,+)$ is a non-zero divisible group, which means it has a non-zero proper subgroup, which by correspondence means there is a larger proper ideal than $A$. So no proper ideals of $mathbfQ$ are maximal.
answered yesterday
Trevor Gunn
14.2k32046
14.2k32046
add a comment |Â
add a comment |Â
I very much doubt you are working with rings lacking identity.
Indeed, the statement is false for rings without identity: $2mathbb Z/4mathbb Z$ has no prime ideals.
add a comment |Â
I very much doubt you are working with rings lacking identity.
Indeed, the statement is false for rings without identity: $2mathbb Z/4mathbb Z$ has no prime ideals.
add a comment |Â
I very much doubt you are working with rings lacking identity.
Indeed, the statement is false for rings without identity: $2mathbb Z/4mathbb Z$ has no prime ideals.
I very much doubt you are working with rings lacking identity.
Indeed, the statement is false for rings without identity: $2mathbb Z/4mathbb Z$ has no prime ideals.
answered yesterday
rschwieb
105k1299243
105k1299243
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3053087%2fif-spectrum-of-a-commutative-ring-is-empty%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