Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
  1. In the ring $R=\mathbb Z[X],$ is $(X)+(X^2)=(X)$?

  2. It is known that if $R$ is a UFD, then $R[X]$ is a UFD. Is the converse true?

share|improve this question
    
Are these questions homework? Anyway, two hints: Q1) Note that for two ideals $I_1, I_2$, if $I_1 \supseteq I_2$, then $I_1 + I_2 = I_1$ (why?). Q2) The converse is true. Proof sketch: Take any non-unit element in $R$, consider prime factorization over $R[X]$. Show that this prime factorization uses elements from $R$ only. Furthermore, if $a \in R$ is prime in $R[X]$, it is prime in $R$ (why?), which proves the claim. –  Johannes Kloos Apr 2 '12 at 14:11
2  
Is this homework? If so, a homework tag is appropriate. Also, what have you tried so far? –  Michael Joyce Apr 2 '12 at 14:11
1  
Finally, aside from possibly appearing on the same homework assignment, these two questions are not obviously related and so should be posted as separate questions. (Since it would be completely reasonable to answer just one of the two) –  Daniel Martin Apr 2 '12 at 14:13
    
Meta: I wonder if we should pre-emptively tag (homework) and let the OP overrule it and remove the tag if s/he wishes. –  user2468 Apr 2 '12 at 14:19
1  
@J.D. We don't generally do that. –  Arturo Magidin Apr 2 '12 at 15:17
show 1 more comment

2 Answers

up vote 3 down vote accepted

For $\rm(2)$ the key observation is that $\rm R$ is inertly embedded in $\rm R[X],$ i.e. factorizations in $\rm R[X]$ of $\rm r\in R^*$ already lie in $\rm R,$ i.e $\rm\: 0\ne r = fg,\ f,g\in R[X]\:$ $\rm\Rightarrow$ $\rm\:f,g\in R,\:$ by comparing degrees (and employing $\rm R$ is a domain). This implies the factorization theory of $\rm R[X]$ restricts faithfully to $\rm R$.

Thus, since $\rm R[X]$ is a UFD, any nonunit $\rm\:r\in R^*\:$ is a product of atoms in $\rm R[X],$ hence in $\rm R,$ by inertness. Further, such atoms $\rm\:p\:$ are prime in $\rm R[X]$ so also in $\rm R$ since $\rm p\ |\ a,b\:$ $\rm\Rightarrow$ $\rm\:p\ |\ a\:$ or $\rm\:p\ |\ b\:$ in $\rm R[X]$ so in $\rm R$, i.e. $\rm\:p\ |\ a\:$ in $\rm\:R[x]\:$ $\Rightarrow$ $\rm\:a = p\:\!f,\ f\in R[X]\:$ $\rm\Rightarrow$ $\rm\:f\in R\:$ $\Rightarrow$ $\rm\:p\ |\ a\:$ in $\rm R,\:$ by inertness. Hence $\rm R$ is a UFD, since prime factorizations of $\rm\:r\in R[X]\:$ pull back to prime factorizations in $\rm R.$

Similarly one can show that any inertly embedded subdomain of a GCD domain is also a GCD domain, and gcds remain the same in the subdomain. In a classic paper, Paul Cohn showed that any GCD domain can be inertly embedded in a Bezout domain, i.e. a domain $\rm D$ where gcds are linearly representable $\rm\gcd(a,b) = ac + bd,\ c,d\in D,\:$ see Cohn: Bezout rings and their subrings.

share|improve this answer
add comment

Hints:

  1. As was pointed out in the comments, if $I$ and $J$ are ideals of $R$ with $I\subseteq J$, then show that $I+J=J$.

  2. Suppose that $R[x]$ is a UFD. If we have an irreducible element $\pi\in R$, then is $\pi$ irreducible in $R[x]$? If so, is $\pi$ then a prime element of $R$? Why?

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.