$fg$ primitive $\to$ $f, g$ primitive

abstract-algebra ring-theory ideals

I am currently trying to prove that over $A[x]$ if $fg$ is primitive,then $f = a_0 + a_1x +\ldots + a_nx^n$ and $g = b_0 + b_1x + \ldots + b_mx^m$ are primitive (Atiyah exercise 1.3).

I defined the "coefficient"-ideals $K:=(a_0b_0, a_1b_0+a_0b_1, \ldots, a_nb_m)$, $I:=(a_0, \ldots, a_n)$ and $J:=(b_0, \ldots, b_m)$. Obviously, $I\cdot J \supset K$.

Therefore, if $fg$ is primitive, $K = (1)$ and thus $I\cdot J = (1)$.

Now the only step would be to show that this implies $I = (1)$ and $(J) = 1$. However, I am stuck here, how do I go about proving this?


Solution 1:

Obviously, $I\supset K$ and $J\supset K$.

Related

Showing $g(x) = -2\pi x e^{-\pi x^2} = O(1/x^2)$ for $x \rightarrow \pm \infty$
Using the result that short exact sequence is split exact to prove that module is injective
Calculating the rank of an elliptic curve
Show map between tensor products is a $R-$algebra homomorphism
Limits on a triple integral
If $y(x)$ is the solution of the differential equation $y'(x)=y^2+x,$ then $y(x)$ is differentiable how many times?
Equation of tangent plane for a differentiable $f:\mathbb{R}^2\longrightarrow \mathbb{R}^2$
Prove that $2$, $3$, $1+ \sqrt{-5}$, and $1-\sqrt{-5}$ are irreducible in $\mathbb{Z}[\sqrt{-5}]$.
Is there a canonical database of theorems?
What is a $P$-name in forcing theory
Show that $x^{n-1}+\cdots +x+1$ is irreducible over $\mathbb Z$ if and only if $n$ is a prime.
Series of the totient function