4
$\begingroup$

Let $I = AR + BR $ be an ideal of $R= \mathbb{Z}[x]$.

i) Can you show that $I \cap \mathbb{Z} = t\mathbb{Z} ; t\in \ \mathbb{Z}$ ?

ii) Can you show that if $t\ge 1$, then it holds that $I=\tilde{A}R+\tilde{B}R$ where $\tilde{A}= a_{0}+a_{1}x+a_{2}x^{2}+\cdots$; $\tilde{B}=b_{1}x+b_{2}x^{2}+\cdots$ and $a_{0}\ge 1$ divides $t$ ?


Reading Arturo Magidin's commentary: "Consider the collection of all positive integers that are constant terms of elements of $I$. This collection is not empty, since it contains $t$, and therefore contains a smallest element $a_0$. Let $\widehat{a}(x)$ be a polynomial in $I$ with constant term $a_0$. Then $a_0\leq t$, and since $t\in I$, by taking integral linear combinations of $\widehat{a}(x)$ and $t$ we can obtain a polynomial with constant term $\gcd(a_0,t)$. As this will be positive and less than or equal to $a_0$, it follows that it must equal $a_0$, hence $a_0|t$. Since it is positive by construction, $a_0\geq 1$."

What he/you has done is that he chose $\tilde{A}$ with the smallest possible positive constant $a_{0}$. Now because $AR+BR=AR+(B-tA)R$ it follows hat $I=\tilde{A}R+\tilde{B}R$.

Is this the way he/you meant it? Or does it follow directly?

Thank you very much for your help.

  • 2
    $d$ makes a brief, unannounced, appearance in ii) and then vanishes, never to be seen again. What was it there for? In your proof of i), you are being sloppy with the notation. Is $x$ an element, or is it a set of elements? what do you mean by "an ideal with constant $t{\bf Z}$? how do you "cut" a constant with itself? how does cutting a constant with itself give an ideal?2011-11-24
  • 0
    In your attempt, what is $\tilde{B}$?2011-11-24
  • 0
    Hi Dylan Moreland, it is a polynomial without constant.2011-11-24
  • 0
    @Tashi: That's not the question. The question is: *explicitly*, in terms of $\widehat{A}$, $t$, $A$, and $B$, *what is* $\tilde{B}$? You *want it* to be a polynomial without a constant. You haven't said *what* it is.2011-11-24
  • 0
    @Arturo Magidin , Sorry, but it is : $\widehat{B}= b_{1}x + b_{2}x^{2}....+b_{n}x^{n} $.2011-11-24
  • 0
    @Gerry Myerson Sorry, it is not cut it is called intersection.2011-11-24
  • 1
    @Tashi: That's an empty response. It doesn't have any meaning. You don't say what $b_1$, $b_2$, etc. are. Let me put it simply: if I were to give you an *explicit* $A$ and $B$, where in your argument do you tell me how to find $\tilde{B}$? Nowhere. Just because you write out "Ah, $\tilde(B)$ is $b_1x+\cdots+b_nx^n$", you aren't telling me anything other than the fact that you are going to call its coefficients $b_1$, $b_2,\ldots,b_n$. Your answer is as if I asked you "How many toes do you have in your right foot", and you answered "$n$."2011-11-24

1 Answers 1

6

Your argument for (i) does not make any sense to me; you have to show that there exists a $t$ with the desired property, but you don't know you have one yet. So you cannot prove that $I\cap\mathbb{Z}=t\mathbb{Z}$ by double inclusion, because you don't have two sets to compare; all you have is $I\cap\mathbb{Z}$.

Also, it is extremely sloppy to use $x$ as an arbitrary element of an ideal when you are working in a ring that already uses $x$ in a very specific capacity: you are working in the ring of polynomials in $x$! Don't use $x$ for anything except the indeterminate.

For (i): Let $I$ be an arbitrary ideal of $\mathbb{Z}[x]$. I claim that $I\cap\mathbb{Z}$ is an ideal of $\mathbb{Z}$.

Indeed, since $I$ and $\mathbb{Z}$ are both additive subgroups of $\mathbb{Z}[x]$, then $I\cap \mathbb{Z}[x]$ is an additive subgroup of $\mathbb{Z}[x]$ that is contained in $\mathbb{Z}$, hence an additive subgroup of $\mathbb{Z}$. And if $a\in I\cap \mathbb{Z}$ and $r\in \mathbb{Z}$, theN $ra\in I$ (because $I$ is an ideal of $\mathbb{Z}[x]$), and since $r,a\in\mathbb{Z}$ and $\mathbb{Z}$ is closed under products, $ra\in\mathbb{Z}$. Thus, $ra\in I\cap\mathbb{Z}$. Hence $I\cap\mathbb{Z}$ is an ideal of $\mathbb{Z}$.

Since all ideals of $\mathbb{Z}$ are of the form $t\mathbb{Z}$ for some $t\geq 0$, (i) follows.

I'm assuming that in (ii), $d$ should be $t$, so you are considering the case in which your ideal intersects $\mathbb{Z}$ nontrivially. You are trying to show that you can also generate the ideal with polynomials of the given form (again, very bad form to introduce $A$ and $B$ and never say what they were).

Consider the collection of all positive integers that are constant terms of elements of $I$. This collection is not empty, since it contains $t$, and therefore contains a smallest element $a_0$. Let $\widehat{a}(x)$ be a polynomial in $I$ with constant term $a_0$. Then $a_0\leq t$, and since $t\in I$, by taking integral linear combinations of $\widehat{a}(x)$ and $t$ we can obtain a polynomial with constant term $\gcd(a_0,t)$. As this will be positive and less than or equal to $a_0$, it follows that it must equal $a_0$, hence $a_0|t$. Since it is positive by construction, $a_0\geq 1$.

That seems like a wise choice of $\widehat{a}(x)$ to me. Can you take it from here?

  • 0
    Can you tell me if my proof is correct? I would be very glad about that.2011-11-24
  • 0
    Your argument makes as added makes no sense to me whatsoever. You never say what $\widehat{B}$ is, you never relate $\widehat{A}$ to my choice of $a$. You simply *assert*, with absolutely no justification, that the conclusion follows. So, no, your argument does not seem to be correct.2011-11-24
  • 0
    Can you tell me why you use $\widehat{A}$ instead of $\tilde{A}$ and what $\widehat{B}$ is in your case? I believe you choose $a_{0}$ so it is the smallest possible constant? Thank you.2011-11-24
  • 0
    I used hats because they are more noticeable than the tildes, which are hard to distinguish from overlines. It's simple typographical convenience. Yes, I picked $a_0$ to be the smallest possible positive integer constant in an element of $I$; but **you never used this fact** in your sentence that you provide as "proof".2011-11-24
  • 0
    Im not sure what you want for B or $\widehat{B}$. You want B or $\widehat{B}$ as a linear combination, so $B=(B-qA)$ or in the case $\widehat{B}=(\widehat{B}- t \widehat{A})$ and then you get $AR+BR= AR+(B-qA)R$? So it can be written as linear combination and this part of the theorem follows from it?2011-11-24
  • 0
    @Tashi:You need to show that such a polynomial exists; *you have not done so*. You never say *what* it is, you just suddenly pulled it out of your sleeve and never described it in any way. The equation $B=B-qA$ implies $q=0$, so it is useless. The equation $\widehat{B}=\widehat{B}-t\widehat{A}$ implies $\widehat{A}=0$ (since $t\gt 0$), so it is false. It is true that the ideal $(A,B)$ is equal to the ideal $(A,B-qA)$, but this does *not* prove what you want to prove: namely, that you can find $\tilde{A},\tilde{B}$ as described with $(A,B)=(\tilde{A},\tilde{B})$. *You haven't found them.*2011-11-24
  • 0
    @Tashi: P.S. I don't want anything with $B$. $B$ was *given*. I don't want anything for $\widehat{B}$, other than that you *prove* its existence instead of simply asserting there is such a polynomial without actually proving anything.2011-11-24
  • 0
    Sorry, I don't know how to show the existence. Can you please show me?2011-11-25
  • 0
    @Tashi: If you can find *any* polynomial $q(x)$ such that $(\widehat{a}(x),q(x)) = (A,B)$, then the constant term of $q(x)$ must be a multiple of the constant term of $\widehat{a}$; then replacing $q$ with $q(x)-k\widehat{a}(x)$ for an appropriate constant $k$ will give you a $\widehat{b}(x)$ that has no constant term.2011-11-25