Subring and ideal structure of rings in the form $Z_noplus Z_m$

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











up vote
0
down vote

favorite












So I was wondering how the ideals and subrings of something like this look like. I know how the structure of $Z_n$ looks like since every subring of a cyclic group is an ideal. However, this is clearly not cyclic unless $n$ is relatively prime with $m$. Any help would be helpful.



Thank you.







share|cite|improve this question





















  • Can you prove that if R and S are rings with unity 1, then every ideal in R x S has the form I x J, where I is an ideal in R and where J is an ideal in S?
    – CJD
    Jul 15 at 11:49










  • @CJD It is easy to prove the reverse case, every ideal in that form is, in fact, an ideal.
    – Sorfosh
    Jul 15 at 12:23










  • Here is an idea of how to prove the thing I said. Let A in R x S denote an arbitrary ideal. We want to show this ideal is of the form I x J. Let (r,s) denote an element in A. If you multiply by (1,0), you see that (r,0) is in A...
    – CJD
    Jul 15 at 12:49










  • @CJD Got it! Thanks. Let $A$ be an ideal or $Roplus S$. Then clearly the elements $(r,0)$ imply $I$ is an ideal of $R$ and $(0,r)$ imply $J$ is an ideal of $S$.
    – Sorfosh
    Jul 15 at 19:13














up vote
0
down vote

favorite












So I was wondering how the ideals and subrings of something like this look like. I know how the structure of $Z_n$ looks like since every subring of a cyclic group is an ideal. However, this is clearly not cyclic unless $n$ is relatively prime with $m$. Any help would be helpful.



Thank you.







share|cite|improve this question





















  • Can you prove that if R and S are rings with unity 1, then every ideal in R x S has the form I x J, where I is an ideal in R and where J is an ideal in S?
    – CJD
    Jul 15 at 11:49










  • @CJD It is easy to prove the reverse case, every ideal in that form is, in fact, an ideal.
    – Sorfosh
    Jul 15 at 12:23










  • Here is an idea of how to prove the thing I said. Let A in R x S denote an arbitrary ideal. We want to show this ideal is of the form I x J. Let (r,s) denote an element in A. If you multiply by (1,0), you see that (r,0) is in A...
    – CJD
    Jul 15 at 12:49










  • @CJD Got it! Thanks. Let $A$ be an ideal or $Roplus S$. Then clearly the elements $(r,0)$ imply $I$ is an ideal of $R$ and $(0,r)$ imply $J$ is an ideal of $S$.
    – Sorfosh
    Jul 15 at 19:13












up vote
0
down vote

favorite









up vote
0
down vote

favorite











So I was wondering how the ideals and subrings of something like this look like. I know how the structure of $Z_n$ looks like since every subring of a cyclic group is an ideal. However, this is clearly not cyclic unless $n$ is relatively prime with $m$. Any help would be helpful.



Thank you.







share|cite|improve this question













So I was wondering how the ideals and subrings of something like this look like. I know how the structure of $Z_n$ looks like since every subring of a cyclic group is an ideal. However, this is clearly not cyclic unless $n$ is relatively prime with $m$. Any help would be helpful.



Thank you.









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 15 at 11:46









M.G

2,1531034




2,1531034









asked Jul 15 at 11:44









Sorfosh

910616




910616











  • Can you prove that if R and S are rings with unity 1, then every ideal in R x S has the form I x J, where I is an ideal in R and where J is an ideal in S?
    – CJD
    Jul 15 at 11:49










  • @CJD It is easy to prove the reverse case, every ideal in that form is, in fact, an ideal.
    – Sorfosh
    Jul 15 at 12:23










  • Here is an idea of how to prove the thing I said. Let A in R x S denote an arbitrary ideal. We want to show this ideal is of the form I x J. Let (r,s) denote an element in A. If you multiply by (1,0), you see that (r,0) is in A...
    – CJD
    Jul 15 at 12:49










  • @CJD Got it! Thanks. Let $A$ be an ideal or $Roplus S$. Then clearly the elements $(r,0)$ imply $I$ is an ideal of $R$ and $(0,r)$ imply $J$ is an ideal of $S$.
    – Sorfosh
    Jul 15 at 19:13
















  • Can you prove that if R and S are rings with unity 1, then every ideal in R x S has the form I x J, where I is an ideal in R and where J is an ideal in S?
    – CJD
    Jul 15 at 11:49










  • @CJD It is easy to prove the reverse case, every ideal in that form is, in fact, an ideal.
    – Sorfosh
    Jul 15 at 12:23










  • Here is an idea of how to prove the thing I said. Let A in R x S denote an arbitrary ideal. We want to show this ideal is of the form I x J. Let (r,s) denote an element in A. If you multiply by (1,0), you see that (r,0) is in A...
    – CJD
    Jul 15 at 12:49










  • @CJD Got it! Thanks. Let $A$ be an ideal or $Roplus S$. Then clearly the elements $(r,0)$ imply $I$ is an ideal of $R$ and $(0,r)$ imply $J$ is an ideal of $S$.
    – Sorfosh
    Jul 15 at 19:13















Can you prove that if R and S are rings with unity 1, then every ideal in R x S has the form I x J, where I is an ideal in R and where J is an ideal in S?
– CJD
Jul 15 at 11:49




Can you prove that if R and S are rings with unity 1, then every ideal in R x S has the form I x J, where I is an ideal in R and where J is an ideal in S?
– CJD
Jul 15 at 11:49












@CJD It is easy to prove the reverse case, every ideal in that form is, in fact, an ideal.
– Sorfosh
Jul 15 at 12:23




@CJD It is easy to prove the reverse case, every ideal in that form is, in fact, an ideal.
– Sorfosh
Jul 15 at 12:23












Here is an idea of how to prove the thing I said. Let A in R x S denote an arbitrary ideal. We want to show this ideal is of the form I x J. Let (r,s) denote an element in A. If you multiply by (1,0), you see that (r,0) is in A...
– CJD
Jul 15 at 12:49




Here is an idea of how to prove the thing I said. Let A in R x S denote an arbitrary ideal. We want to show this ideal is of the form I x J. Let (r,s) denote an element in A. If you multiply by (1,0), you see that (r,0) is in A...
– CJD
Jul 15 at 12:49












@CJD Got it! Thanks. Let $A$ be an ideal or $Roplus S$. Then clearly the elements $(r,0)$ imply $I$ is an ideal of $R$ and $(0,r)$ imply $J$ is an ideal of $S$.
– Sorfosh
Jul 15 at 19:13




@CJD Got it! Thanks. Let $A$ be an ideal or $Roplus S$. Then clearly the elements $(r,0)$ imply $I$ is an ideal of $R$ and $(0,r)$ imply $J$ is an ideal of $S$.
– Sorfosh
Jul 15 at 19:13















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%2f2852436%2fsubring-and-ideal-structure-of-rings-in-the-form-z-n-oplus-z-m%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%2f2852436%2fsubring-and-ideal-structure-of-rings-in-the-form-z-n-oplus-z-m%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?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?