find the maximal ideal of the ring ?.












2














find the maximal ideal of the ring $$ frac{mathbb{R}[x]}{ (x^2)} $$



My attempt :here the only proper ideal containing $(x^2)$ are $(x)$ and $(x^2)$, so , we have two maximal ideal that is $(x)$ and $(x^2)$



Is its correct ?



any hints/solution will be appreciated










share|cite|improve this question




















  • 3




    No: $(x^2)$ is not maximal.
    – Bernard
    yesterday










  • @Bernard im not getting can u elaborate this ?
    – jasmine
    yesterday






  • 1




    The quotient $mathbf R[x]/(x^2)$ is not a jeld, not even an integral domain, since $x$ is nilpotent ($x^2=0$ in the quotient). But $(x)$ is maximal since the quotient $mathbf R[x]/(x)$ is isomorphic tp $mathbf R$.
    – Bernard
    yesterday






  • 2




    @jasmine, $x^2 = x(x - 0) = 0$. So it has a root, so it is reducible, so it is not prime, so it is not maximal
    – IAmNoOne
    yesterday


















2














find the maximal ideal of the ring $$ frac{mathbb{R}[x]}{ (x^2)} $$



My attempt :here the only proper ideal containing $(x^2)$ are $(x)$ and $(x^2)$, so , we have two maximal ideal that is $(x)$ and $(x^2)$



Is its correct ?



any hints/solution will be appreciated










share|cite|improve this question




















  • 3




    No: $(x^2)$ is not maximal.
    – Bernard
    yesterday










  • @Bernard im not getting can u elaborate this ?
    – jasmine
    yesterday






  • 1




    The quotient $mathbf R[x]/(x^2)$ is not a jeld, not even an integral domain, since $x$ is nilpotent ($x^2=0$ in the quotient). But $(x)$ is maximal since the quotient $mathbf R[x]/(x)$ is isomorphic tp $mathbf R$.
    – Bernard
    yesterday






  • 2




    @jasmine, $x^2 = x(x - 0) = 0$. So it has a root, so it is reducible, so it is not prime, so it is not maximal
    – IAmNoOne
    yesterday
















2












2








2


1





find the maximal ideal of the ring $$ frac{mathbb{R}[x]}{ (x^2)} $$



My attempt :here the only proper ideal containing $(x^2)$ are $(x)$ and $(x^2)$, so , we have two maximal ideal that is $(x)$ and $(x^2)$



Is its correct ?



any hints/solution will be appreciated










share|cite|improve this question















find the maximal ideal of the ring $$ frac{mathbb{R}[x]}{ (x^2)} $$



My attempt :here the only proper ideal containing $(x^2)$ are $(x)$ and $(x^2)$, so , we have two maximal ideal that is $(x)$ and $(x^2)$



Is its correct ?



any hints/solution will be appreciated







abstract-algebra ring-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited yesterday









J. W. Tanner

466




466










asked yesterday









jasmine

1,591416




1,591416








  • 3




    No: $(x^2)$ is not maximal.
    – Bernard
    yesterday










  • @Bernard im not getting can u elaborate this ?
    – jasmine
    yesterday






  • 1




    The quotient $mathbf R[x]/(x^2)$ is not a jeld, not even an integral domain, since $x$ is nilpotent ($x^2=0$ in the quotient). But $(x)$ is maximal since the quotient $mathbf R[x]/(x)$ is isomorphic tp $mathbf R$.
    – Bernard
    yesterday






  • 2




    @jasmine, $x^2 = x(x - 0) = 0$. So it has a root, so it is reducible, so it is not prime, so it is not maximal
    – IAmNoOne
    yesterday
















  • 3




    No: $(x^2)$ is not maximal.
    – Bernard
    yesterday










  • @Bernard im not getting can u elaborate this ?
    – jasmine
    yesterday






  • 1




    The quotient $mathbf R[x]/(x^2)$ is not a jeld, not even an integral domain, since $x$ is nilpotent ($x^2=0$ in the quotient). But $(x)$ is maximal since the quotient $mathbf R[x]/(x)$ is isomorphic tp $mathbf R$.
    – Bernard
    yesterday






  • 2




    @jasmine, $x^2 = x(x - 0) = 0$. So it has a root, so it is reducible, so it is not prime, so it is not maximal
    – IAmNoOne
    yesterday










3




3




No: $(x^2)$ is not maximal.
– Bernard
yesterday




No: $(x^2)$ is not maximal.
– Bernard
yesterday












@Bernard im not getting can u elaborate this ?
– jasmine
yesterday




@Bernard im not getting can u elaborate this ?
– jasmine
yesterday




1




1




The quotient $mathbf R[x]/(x^2)$ is not a jeld, not even an integral domain, since $x$ is nilpotent ($x^2=0$ in the quotient). But $(x)$ is maximal since the quotient $mathbf R[x]/(x)$ is isomorphic tp $mathbf R$.
– Bernard
yesterday




The quotient $mathbf R[x]/(x^2)$ is not a jeld, not even an integral domain, since $x$ is nilpotent ($x^2=0$ in the quotient). But $(x)$ is maximal since the quotient $mathbf R[x]/(x)$ is isomorphic tp $mathbf R$.
– Bernard
yesterday




2




2




@jasmine, $x^2 = x(x - 0) = 0$. So it has a root, so it is reducible, so it is not prime, so it is not maximal
– IAmNoOne
yesterday






@jasmine, $x^2 = x(x - 0) = 0$. So it has a root, so it is reducible, so it is not prime, so it is not maximal
– IAmNoOne
yesterday












4 Answers
4






active

oldest

votes


















3














Let $varphi:mathbb{R}[x]rightarrow R:=mathbb{R}[x]/(x^2)$ be the canonical homomorphism. There is a bijective correspondence between the ideals of $mathbb{R}[x]$ that contain the ideal $(x^2)$ and the ideals of R, given by $I mapsto varphi (I)$. The only ideals of $mathbb{R}[x]$ that contains $(x^2)$ are $mathbb {R}[x]$, $(x)$ and $(x^2)$, so $R$ has only three ideals: $R$, $(bar x)$ and $(bar x^2)$. Clearly $(0)=(bar x^2)subsetneq (bar x)subsetneq R$, which makes it clear that $(bar x)$ is the only maximal ideal of $R$.






share|cite|improve this answer





























    3














    There is a bijective correspondence between the ideals of $x^2$ in $mathbb{R}[x]$ and in $dfrac{mathbb{R}}{x^2}$ by using Lattice Isomorphism Theorem. A maximal ideal in $dfrac{mathbb{R}}{x^2}$ corresponds to a maximal ideal in $mathbb{R}[x]$ that contains $(x^2)$. So, find such ideals. $mathbb{R}$ has three ideals which are $mathbb{R},(x),(x^2)$. Clearly, $(x)$ is the maximal ideal.






    share|cite|improve this answer































      3














      Hint: The maximal ideal in $frac{Bbb R[x]}{(x^2)}$ is clearly $(x)$,because it is the only one containing $(x^2)$ as a proper subset.



      Towards a proof, note that $(x^2)$ contains all polynomials without an $x$ or a constant term. Next $(x)$ consists in those polynomials in $x$ with no constant term. It's pretty clear this is as far as it goes, because if there's a polynomial with a nonzero constant term, we can subtract the same polynomial minus that constant (which is also in the ideal by a simple argument, namely that it contains $x$) thus getting a nonzero constant (i.e. a unit).



      Let me clarify the last part by an example: so, why wouldn't $(x-6)$ be maximal? Well, multiply $x-6$ by $x$. Get $x^2-6xequiv -6x$. Then we get $x$, then $6$, then $1$.






      share|cite|improve this answer































        0














        Let $P$ be a maximal ideal of $ frac{mathbb{R}[x]}{ (x^2)} $. Hence it is a prime ideal and so there exists a prime ideal $Q$ of $ mathbb{R}[x]$ such that $P=Q/(x^2)$. Thus, $x^2in Q$. Hence, $xin Q$. This shows that every maximal ideal of $ frac{mathbb{R}[x]}{ (x^2)} $ is contained in $(x)/(x^2)$. Therefore, $(x)/(x^2)$ is the only maximal ideal of $ frac{mathbb{R}[x]}{ (x^2)} $.






        share|cite|improve this answer





















          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
          });


          }
          });














          draft saved

          draft discarded


















          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3063406%2ffind-the-maximal-ideal-of-the-ring%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          4 Answers
          4






          active

          oldest

          votes








          4 Answers
          4






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          3














          Let $varphi:mathbb{R}[x]rightarrow R:=mathbb{R}[x]/(x^2)$ be the canonical homomorphism. There is a bijective correspondence between the ideals of $mathbb{R}[x]$ that contain the ideal $(x^2)$ and the ideals of R, given by $I mapsto varphi (I)$. The only ideals of $mathbb{R}[x]$ that contains $(x^2)$ are $mathbb {R}[x]$, $(x)$ and $(x^2)$, so $R$ has only three ideals: $R$, $(bar x)$ and $(bar x^2)$. Clearly $(0)=(bar x^2)subsetneq (bar x)subsetneq R$, which makes it clear that $(bar x)$ is the only maximal ideal of $R$.






          share|cite|improve this answer


























            3














            Let $varphi:mathbb{R}[x]rightarrow R:=mathbb{R}[x]/(x^2)$ be the canonical homomorphism. There is a bijective correspondence between the ideals of $mathbb{R}[x]$ that contain the ideal $(x^2)$ and the ideals of R, given by $I mapsto varphi (I)$. The only ideals of $mathbb{R}[x]$ that contains $(x^2)$ are $mathbb {R}[x]$, $(x)$ and $(x^2)$, so $R$ has only three ideals: $R$, $(bar x)$ and $(bar x^2)$. Clearly $(0)=(bar x^2)subsetneq (bar x)subsetneq R$, which makes it clear that $(bar x)$ is the only maximal ideal of $R$.






            share|cite|improve this answer
























              3












              3








              3






              Let $varphi:mathbb{R}[x]rightarrow R:=mathbb{R}[x]/(x^2)$ be the canonical homomorphism. There is a bijective correspondence between the ideals of $mathbb{R}[x]$ that contain the ideal $(x^2)$ and the ideals of R, given by $I mapsto varphi (I)$. The only ideals of $mathbb{R}[x]$ that contains $(x^2)$ are $mathbb {R}[x]$, $(x)$ and $(x^2)$, so $R$ has only three ideals: $R$, $(bar x)$ and $(bar x^2)$. Clearly $(0)=(bar x^2)subsetneq (bar x)subsetneq R$, which makes it clear that $(bar x)$ is the only maximal ideal of $R$.






              share|cite|improve this answer












              Let $varphi:mathbb{R}[x]rightarrow R:=mathbb{R}[x]/(x^2)$ be the canonical homomorphism. There is a bijective correspondence between the ideals of $mathbb{R}[x]$ that contain the ideal $(x^2)$ and the ideals of R, given by $I mapsto varphi (I)$. The only ideals of $mathbb{R}[x]$ that contains $(x^2)$ are $mathbb {R}[x]$, $(x)$ and $(x^2)$, so $R$ has only three ideals: $R$, $(bar x)$ and $(bar x^2)$. Clearly $(0)=(bar x^2)subsetneq (bar x)subsetneq R$, which makes it clear that $(bar x)$ is the only maximal ideal of $R$.







              share|cite|improve this answer












              share|cite|improve this answer



              share|cite|improve this answer










              answered yesterday









              user544921

              607




              607























                  3














                  There is a bijective correspondence between the ideals of $x^2$ in $mathbb{R}[x]$ and in $dfrac{mathbb{R}}{x^2}$ by using Lattice Isomorphism Theorem. A maximal ideal in $dfrac{mathbb{R}}{x^2}$ corresponds to a maximal ideal in $mathbb{R}[x]$ that contains $(x^2)$. So, find such ideals. $mathbb{R}$ has three ideals which are $mathbb{R},(x),(x^2)$. Clearly, $(x)$ is the maximal ideal.






                  share|cite|improve this answer




























                    3














                    There is a bijective correspondence between the ideals of $x^2$ in $mathbb{R}[x]$ and in $dfrac{mathbb{R}}{x^2}$ by using Lattice Isomorphism Theorem. A maximal ideal in $dfrac{mathbb{R}}{x^2}$ corresponds to a maximal ideal in $mathbb{R}[x]$ that contains $(x^2)$. So, find such ideals. $mathbb{R}$ has three ideals which are $mathbb{R},(x),(x^2)$. Clearly, $(x)$ is the maximal ideal.






                    share|cite|improve this answer


























                      3












                      3








                      3






                      There is a bijective correspondence between the ideals of $x^2$ in $mathbb{R}[x]$ and in $dfrac{mathbb{R}}{x^2}$ by using Lattice Isomorphism Theorem. A maximal ideal in $dfrac{mathbb{R}}{x^2}$ corresponds to a maximal ideal in $mathbb{R}[x]$ that contains $(x^2)$. So, find such ideals. $mathbb{R}$ has three ideals which are $mathbb{R},(x),(x^2)$. Clearly, $(x)$ is the maximal ideal.






                      share|cite|improve this answer














                      There is a bijective correspondence between the ideals of $x^2$ in $mathbb{R}[x]$ and in $dfrac{mathbb{R}}{x^2}$ by using Lattice Isomorphism Theorem. A maximal ideal in $dfrac{mathbb{R}}{x^2}$ corresponds to a maximal ideal in $mathbb{R}[x]$ that contains $(x^2)$. So, find such ideals. $mathbb{R}$ has three ideals which are $mathbb{R},(x),(x^2)$. Clearly, $(x)$ is the maximal ideal.







                      share|cite|improve this answer














                      share|cite|improve this answer



                      share|cite|improve this answer








                      edited yesterday

























                      answered yesterday









                      Key Flex

                      7,53441232




                      7,53441232























                          3














                          Hint: The maximal ideal in $frac{Bbb R[x]}{(x^2)}$ is clearly $(x)$,because it is the only one containing $(x^2)$ as a proper subset.



                          Towards a proof, note that $(x^2)$ contains all polynomials without an $x$ or a constant term. Next $(x)$ consists in those polynomials in $x$ with no constant term. It's pretty clear this is as far as it goes, because if there's a polynomial with a nonzero constant term, we can subtract the same polynomial minus that constant (which is also in the ideal by a simple argument, namely that it contains $x$) thus getting a nonzero constant (i.e. a unit).



                          Let me clarify the last part by an example: so, why wouldn't $(x-6)$ be maximal? Well, multiply $x-6$ by $x$. Get $x^2-6xequiv -6x$. Then we get $x$, then $6$, then $1$.






                          share|cite|improve this answer




























                            3














                            Hint: The maximal ideal in $frac{Bbb R[x]}{(x^2)}$ is clearly $(x)$,because it is the only one containing $(x^2)$ as a proper subset.



                            Towards a proof, note that $(x^2)$ contains all polynomials without an $x$ or a constant term. Next $(x)$ consists in those polynomials in $x$ with no constant term. It's pretty clear this is as far as it goes, because if there's a polynomial with a nonzero constant term, we can subtract the same polynomial minus that constant (which is also in the ideal by a simple argument, namely that it contains $x$) thus getting a nonzero constant (i.e. a unit).



                            Let me clarify the last part by an example: so, why wouldn't $(x-6)$ be maximal? Well, multiply $x-6$ by $x$. Get $x^2-6xequiv -6x$. Then we get $x$, then $6$, then $1$.






                            share|cite|improve this answer


























                              3












                              3








                              3






                              Hint: The maximal ideal in $frac{Bbb R[x]}{(x^2)}$ is clearly $(x)$,because it is the only one containing $(x^2)$ as a proper subset.



                              Towards a proof, note that $(x^2)$ contains all polynomials without an $x$ or a constant term. Next $(x)$ consists in those polynomials in $x$ with no constant term. It's pretty clear this is as far as it goes, because if there's a polynomial with a nonzero constant term, we can subtract the same polynomial minus that constant (which is also in the ideal by a simple argument, namely that it contains $x$) thus getting a nonzero constant (i.e. a unit).



                              Let me clarify the last part by an example: so, why wouldn't $(x-6)$ be maximal? Well, multiply $x-6$ by $x$. Get $x^2-6xequiv -6x$. Then we get $x$, then $6$, then $1$.






                              share|cite|improve this answer














                              Hint: The maximal ideal in $frac{Bbb R[x]}{(x^2)}$ is clearly $(x)$,because it is the only one containing $(x^2)$ as a proper subset.



                              Towards a proof, note that $(x^2)$ contains all polynomials without an $x$ or a constant term. Next $(x)$ consists in those polynomials in $x$ with no constant term. It's pretty clear this is as far as it goes, because if there's a polynomial with a nonzero constant term, we can subtract the same polynomial minus that constant (which is also in the ideal by a simple argument, namely that it contains $x$) thus getting a nonzero constant (i.e. a unit).



                              Let me clarify the last part by an example: so, why wouldn't $(x-6)$ be maximal? Well, multiply $x-6$ by $x$. Get $x^2-6xequiv -6x$. Then we get $x$, then $6$, then $1$.







                              share|cite|improve this answer














                              share|cite|improve this answer



                              share|cite|improve this answer








                              edited yesterday

























                              answered yesterday









                              Chris Custer

                              10.9k3824




                              10.9k3824























                                  0














                                  Let $P$ be a maximal ideal of $ frac{mathbb{R}[x]}{ (x^2)} $. Hence it is a prime ideal and so there exists a prime ideal $Q$ of $ mathbb{R}[x]$ such that $P=Q/(x^2)$. Thus, $x^2in Q$. Hence, $xin Q$. This shows that every maximal ideal of $ frac{mathbb{R}[x]}{ (x^2)} $ is contained in $(x)/(x^2)$. Therefore, $(x)/(x^2)$ is the only maximal ideal of $ frac{mathbb{R}[x]}{ (x^2)} $.






                                  share|cite|improve this answer


























                                    0














                                    Let $P$ be a maximal ideal of $ frac{mathbb{R}[x]}{ (x^2)} $. Hence it is a prime ideal and so there exists a prime ideal $Q$ of $ mathbb{R}[x]$ such that $P=Q/(x^2)$. Thus, $x^2in Q$. Hence, $xin Q$. This shows that every maximal ideal of $ frac{mathbb{R}[x]}{ (x^2)} $ is contained in $(x)/(x^2)$. Therefore, $(x)/(x^2)$ is the only maximal ideal of $ frac{mathbb{R}[x]}{ (x^2)} $.






                                    share|cite|improve this answer
























                                      0












                                      0








                                      0






                                      Let $P$ be a maximal ideal of $ frac{mathbb{R}[x]}{ (x^2)} $. Hence it is a prime ideal and so there exists a prime ideal $Q$ of $ mathbb{R}[x]$ such that $P=Q/(x^2)$. Thus, $x^2in Q$. Hence, $xin Q$. This shows that every maximal ideal of $ frac{mathbb{R}[x]}{ (x^2)} $ is contained in $(x)/(x^2)$. Therefore, $(x)/(x^2)$ is the only maximal ideal of $ frac{mathbb{R}[x]}{ (x^2)} $.






                                      share|cite|improve this answer












                                      Let $P$ be a maximal ideal of $ frac{mathbb{R}[x]}{ (x^2)} $. Hence it is a prime ideal and so there exists a prime ideal $Q$ of $ mathbb{R}[x]$ such that $P=Q/(x^2)$. Thus, $x^2in Q$. Hence, $xin Q$. This shows that every maximal ideal of $ frac{mathbb{R}[x]}{ (x^2)} $ is contained in $(x)/(x^2)$. Therefore, $(x)/(x^2)$ is the only maximal ideal of $ frac{mathbb{R}[x]}{ (x^2)} $.







                                      share|cite|improve this answer












                                      share|cite|improve this answer



                                      share|cite|improve this answer










                                      answered yesterday









                                      Es.Ro

                                      75228




                                      75228






























                                          draft saved

                                          draft discarded




















































                                          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.




                                          draft saved


                                          draft discarded














                                          StackExchange.ready(
                                          function () {
                                          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3063406%2ffind-the-maximal-ideal-of-the-ring%23new-answer', 'question_page');
                                          }
                                          );

                                          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







                                          Popular posts from this blog

                                          An IMO inspired problem

                                          Management

                                          Has there ever been an instance of an active nuclear power plant within or near a war zone?