Ideal of an ideal being an ideal itself

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












Take a commutative ring with unity (a.k.a. ring) $R$ and let $I$ be an ideal in $R$. Are the following true??



a) If $J$ is an ideal in $I$ (observed as a ring) , $J$ is not ideal in $R$(if this is true, please give me example)



b) If $J$ is a maximal ideal in $I$, then $J$ is ideal in $R$



c) If $J$ is ideal in $I$, and $I$ is maximal ideal in $R$, then $J$ is ideal in $R$







share|cite|improve this question















  • 2




    What do you mean by ring? Some books insist rings contain "1", in which case no proper ideal will be a ring
    – mathworker21
    Jul 16 at 8:37










  • Some insist on that and others don't. Also, a subring can have an identity which is not an identity of the whole ring. Consider the 2x2 matrices. Those which are zero except for the top left element are a subring. This does not include the identity of the whole ring but it does have an identity. It is not an ideal though.
    – badjohn
    Jul 16 at 10:49










  • Another example worth considering is $mathbbZ times mathbbZ$.
    – badjohn
    Jul 16 at 11:20















up vote
1
down vote

favorite












Take a commutative ring with unity (a.k.a. ring) $R$ and let $I$ be an ideal in $R$. Are the following true??



a) If $J$ is an ideal in $I$ (observed as a ring) , $J$ is not ideal in $R$(if this is true, please give me example)



b) If $J$ is a maximal ideal in $I$, then $J$ is ideal in $R$



c) If $J$ is ideal in $I$, and $I$ is maximal ideal in $R$, then $J$ is ideal in $R$







share|cite|improve this question















  • 2




    What do you mean by ring? Some books insist rings contain "1", in which case no proper ideal will be a ring
    – mathworker21
    Jul 16 at 8:37










  • Some insist on that and others don't. Also, a subring can have an identity which is not an identity of the whole ring. Consider the 2x2 matrices. Those which are zero except for the top left element are a subring. This does not include the identity of the whole ring but it does have an identity. It is not an ideal though.
    – badjohn
    Jul 16 at 10:49










  • Another example worth considering is $mathbbZ times mathbbZ$.
    – badjohn
    Jul 16 at 11:20













up vote
1
down vote

favorite









up vote
1
down vote

favorite











Take a commutative ring with unity (a.k.a. ring) $R$ and let $I$ be an ideal in $R$. Are the following true??



a) If $J$ is an ideal in $I$ (observed as a ring) , $J$ is not ideal in $R$(if this is true, please give me example)



b) If $J$ is a maximal ideal in $I$, then $J$ is ideal in $R$



c) If $J$ is ideal in $I$, and $I$ is maximal ideal in $R$, then $J$ is ideal in $R$







share|cite|improve this question











Take a commutative ring with unity (a.k.a. ring) $R$ and let $I$ be an ideal in $R$. Are the following true??



a) If $J$ is an ideal in $I$ (observed as a ring) , $J$ is not ideal in $R$(if this is true, please give me example)



b) If $J$ is a maximal ideal in $I$, then $J$ is ideal in $R$



c) If $J$ is ideal in $I$, and $I$ is maximal ideal in $R$, then $J$ is ideal in $R$









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 16 at 8:35









nikola

557214




557214







  • 2




    What do you mean by ring? Some books insist rings contain "1", in which case no proper ideal will be a ring
    – mathworker21
    Jul 16 at 8:37










  • Some insist on that and others don't. Also, a subring can have an identity which is not an identity of the whole ring. Consider the 2x2 matrices. Those which are zero except for the top left element are a subring. This does not include the identity of the whole ring but it does have an identity. It is not an ideal though.
    – badjohn
    Jul 16 at 10:49










  • Another example worth considering is $mathbbZ times mathbbZ$.
    – badjohn
    Jul 16 at 11:20













  • 2




    What do you mean by ring? Some books insist rings contain "1", in which case no proper ideal will be a ring
    – mathworker21
    Jul 16 at 8:37










  • Some insist on that and others don't. Also, a subring can have an identity which is not an identity of the whole ring. Consider the 2x2 matrices. Those which are zero except for the top left element are a subring. This does not include the identity of the whole ring but it does have an identity. It is not an ideal though.
    – badjohn
    Jul 16 at 10:49










  • Another example worth considering is $mathbbZ times mathbbZ$.
    – badjohn
    Jul 16 at 11:20








2




2




What do you mean by ring? Some books insist rings contain "1", in which case no proper ideal will be a ring
– mathworker21
Jul 16 at 8:37




What do you mean by ring? Some books insist rings contain "1", in which case no proper ideal will be a ring
– mathworker21
Jul 16 at 8:37












Some insist on that and others don't. Also, a subring can have an identity which is not an identity of the whole ring. Consider the 2x2 matrices. Those which are zero except for the top left element are a subring. This does not include the identity of the whole ring but it does have an identity. It is not an ideal though.
– badjohn
Jul 16 at 10:49




Some insist on that and others don't. Also, a subring can have an identity which is not an identity of the whole ring. Consider the 2x2 matrices. Those which are zero except for the top left element are a subring. This does not include the identity of the whole ring but it does have an identity. It is not an ideal though.
– badjohn
Jul 16 at 10:49












Another example worth considering is $mathbbZ times mathbbZ$.
– badjohn
Jul 16 at 11:20





Another example worth considering is $mathbbZ times mathbbZ$.
– badjohn
Jul 16 at 11:20
















active

oldest

votes











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',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
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%2f2853223%2fideal-of-an-ideal-being-an-ideal-itself%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2853223%2fideal-of-an-ideal-being-an-ideal-itself%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Relationship between determinant of matrix and determinant of adjoint?

Color the edges and diagonals of a regular polygon