2
$\begingroup$

Let $I$ and $J$ be two ideals of a commutative ring $R$ with $1.$ Give a necessary and sufficient condition so that $$R/IJ\cong R/I\times R/J.$$ Prove your claim. Then decide whether the following ring isomorphisms are true or not: $$\mathbb{Q}[x]/\langle x^2-1\rangle\cong \mathbb{Q}[x]/\langle x-1\rangle\times \mathbb{Q}[x]/\langle x+1\rangle,$$ $$\mathbb{Z}[x]/\langle x^2-1\rangle\cong \mathbb{Z}[x]/\langle x-1\rangle\times \mathbb{Z}[x]/\langle x+1\rangle.$$

It has been a while since I took Abstract Algebra and I am preparing for the prelims. I am not sure how to tackle this one. Any help/suggestion/hint will be much obliged. This is what I have so far:

This is a simplified version of the chinese remainder theorem. The map $R\to R/I\times R/J$ defined by $r\mapsto (r+I,r+J)$ is a ring homomorphism with kernel $I\cap J.$ If the ideals $I$ and $J$ are comaximal, then this map is surjective and $I\cap J=I\cdot J$, so $$R/(I\cdot J)=R/(I\cap J)\cong R/I\times R/J.$$

My question is about the second part of the question, do I have to check whether: $\langle x-1\rangle$ and $\langle x+1\rangle$ are comaximal and $\mathbb{Q}[x]$ and/or $\mathbb{Z}[x]$ are ring homomorphisms? I believe that these ideals are comaximal in both cases but forget how to prove it.

  • 1
    Are you sure that some of those $(x - 1)$'s shouldn't be $x + 1$? Not that the quotients are any different. Also, note that over $\mathbb Q$ you have that $(x + 1) - (x - 1)$ is a unit.2012-06-25
  • 1
    Please note that the standard notation for a quotient ring is just $R/I$, not $\dfrac{R}{I}$; also, `\langle` and `\rangle` produce proper angle brackets, while `<` and `>` produce inequality signs.2012-06-25
  • 2
    You only gave a *sufficient* condition for the map to be an isomorphism. You haven't shown that it is also *necessary*, so you aren't done with the first part of the question, either.2012-06-25
  • 0
    As to whether $(x - 1)$ and $(x + 1)$ are coprime ideals in $\mathbf Z[x]$, see whether the image of $x + 1$ is a unit in $\mathbf Z[x]/(x - 1)$. [What is this last ring?]2012-06-25
  • 0
    Dylan-Thanks I fixed it. Zev- I wrote the problem down as it was written! Arturo- I do not claim of proving the first part, I found a proof in Dummit and Foote's book. My concern is with the second part. Thanks for your comments and suggestions.2012-06-25
  • 2
    @SriPot: But the point is: your condition is, so far, only *sufficient*. If you don't know *whether* it is necessary or not, then you don't know whether you need to check it to establish the isomorphisms in question. If the condition were to turn out to be only sufficient but not necessary, and you check the examples in the second part and find they fail to satisfy that sufficient condition, what does that tell you? Nothing.2012-06-25
  • 0
    @ArturoMagidin We should also have $I\neq J.$ I am afraid I don't understand the question.2012-06-25
  • 2
    I'm not asking a question (except retorically). I'm trying to point out that you should not be approaching the second question until you *know* the answer to the first question. If all you have is a **sufficient** condition for your conclusion, and you test a given example for that condition, and the examples fails to satisfy the sufficient condition, then that does not tell you *whether* the example has the desired property or not. For instance: it is *sufficient* for a number to end in $0$ for that number to be even. But it is not *necessary*.(cont)2012-06-25
  • 2
    (cont) So say I run into the number $4$. I notice that it fails my sufficient condition: it does not end in $0$. Now, this failure does **not** tell me whether $4$ is even or not. It only tells me my test didn't give me any information. You have what has, so far, only been established to be a sufficient condition. Unless and until you show it is *necessary* as well, it will not necessarily help you with the second part. So the answer to **your** question, "Do I have to check if... they are comaximal?" Well, unless your condition is necessary, no, you don't "have to". It may tell you nothing.2012-06-25
  • 0
    @ArturoMagidin I meant -I guess I don't understand the prelim question.2012-06-25
  • 0
    It is asking you to first find a condition that is both necessary and sufficient for the isomorphism you want to hold; and then using it as a test in the second part. You've found a condition, and you've shown that the condition is *sufficient*. You still need to show that it is *necessary* before you proceed to try to use that condition in the second part of the question.2012-06-25
  • 1
    @ArturoMagidin Oh!Okay so you are saying I need an if and only if statement. I have provided the if part but not the only if part. The if part helps me in proving the first isomorphism and the only if part helps me in disproving the second isomorphism. Am I right?2012-06-25
  • 0
    It seems easy to prove, "The map $R/IJ \to R/I \times R/J$, $r + IJ \mapsto (r + I, r + J)$ is an isomorphism iff $I + J = R$." It seems harder to argue the "only if" direction [granted, I haven't tried very much] if the map is allowed to be arbitrary.2012-06-25
  • 0
    @SriPot: Yes, that's exactly what I meant.2012-06-25

1 Answers 1