Exercise from Atiyah-Macdonald, Chapter 1, 2.iv)

Solution 1:

Assume that $fg$ is not primitive. Then the ideal of coefficients of $fg$ is contained in a maximal one, say $\mathfrak m$. In $(A/\mathfrak m)[x]$ we have $f\ne 0$ and $g\ne 0$, so $fg\ne 0$, a contradiction.

Solution 2:

There is an argument which provides explicit $A$-linear combinations equalling $1$, given witnesses to the primitivity of $f$ and $g$ (that is, coefficients $A_0, A_1, \ldots, A_n \in A$ satisfying $A_0a_0 + \cdots + A_na_n = 1$ for $f$, and likewise for $g$).

We proceed by induction on $n+m$. Let the ideal of coefficients of $fg$ be denoted $I_{n,m}$. Let $a_0, \cdots,a_n$ denote the coefficients of $f$, and let $b_0,\cdots,b_m$ denote the coefficients of $g$.

Now, $I_{n,m} = (a_0b_0,a_0b_1 + a_1b_0, \cdots) \subseteq (a_0) + (a_1b_0,a_1b_1 + a_2b_0, \cdots) = (a_0) + I_{n-1,m}$, where $I_{n-1,m}$ is the ideal $(a_1b_0,a_1b_1 + a_2b_0, \cdots)$.

Likewise, $I \subseteq (b_0) + (a_0b_1,a_0b_2 + a_1b_1, \cdots) = (b_0) + I_{n,m-1}$.

Note that $((a_0) + I_{n-1,m})((b_0) + I_{n,m-1}) = ((a_0) + I_{n,m})((b_0) + I_{n,m}) \subseteq I_{n,m}$.

But over the ring $A/(a_0)$, the polynomials $a_1 + a_2x + \cdots + a_m x^{m-1}$ and $g$ are primitive. The ideal $I_{n-1,m}$ is generated by the coefficients of the products of these two polynomials. Thus, by the inductive hypothesis, considering $I_{n-1,m}$ over the ring $A/(a_0)$, we get an $A$-linear combination of elements of $I_{n-1,m}$ equal to $1$ up to an element of $(a_0)$. Similarly we get an $A$-linear combination of elements of $I_{n,m-1}$ equal to $1$ up to an element of $(b_0)$.

Putting the $1$ on one side for each expression, then multiplying them together, gives us what we want. The exact element of $(a_0)$ is found by using the witness of $f$ in the form $A_1a_1 + \cdots + A_na_n = 1 - A_0a_0$ for the inductive step.

The base case is trivial. The calculations get tedious very quickly for larger $n,m$. The expressions found by this argument do not have coefficients of lowest-possible degree in the $a_i$.

Hence Zorn's lemma (for a maximal ideal containing $I_{n,m}$) is not necessary, although that gives the 'quickest' proof.