Doubt regarding proof that $\mathbb{Z}, \mathbb{Z}[x]$ are unique factorization domains
Thus it appears that existence of GCD is not necessary to guarantee existence of unique factorization.
Effectively there is not necessary the existence of GCD in order to prove the fundamental theorem of arithmetic. It's enough a weaker condition, namely we only need the four number lemma, see e.g., this answer. This lemma in a more abstract setting give rise to two special classes of domains known as Schreier domains and pre-Schreier domains (or Riesz domains).
Egreg wrote:
It turns out that this is one of the keys for a domain to have unique factorization. Indeed, a domain $R$ has unique factorization if and only if
$R$ has the ascending chain condition on principal ideals;
every irreducible element in $R$ is prime.
The first condition ensures existence of a factorization into a product of irreducible elements; the second condition ensures uniqueness.
Domains satisfying the first condition are called ACCP domains, whereas the domains satisfying the second condition are called AP-domains (atom $\implies$ prime), where atom=irreducible.
An important result is the following:
Theorem: If $R$ is an ACCP domain, then $R[x]$ is also an ACPP domain.
Proof: This is theorem 17a) in Pete L. Clark's notes on factorization in integral domains.
I'm not aware of any characterization of AP domains, but what I know is that every GCD domain is an AP-domain, even more: both Schreier and pre-Schreier domains are AP-domains and more exactly we have the following chain:
$$\text{GCD-domain} \implies \text{Schreier domain} \implies \text{pre-Schreier domain} \implies \text{AP-domain}.$$
Therefore we have the following characterization of unique factorization domains:
$$\text{UFD} \iff \text{ACCP domain}+\text{Schreier domain}\; (^*)$$
On the other hand, it turn out the being a Schreier domain behaves well under polynomial ring extensions, namely we have the following:
Theorem (Cohn): If $R$ is a Schreier domain, then so is $R[x]$.
Proof: This is theorem 2.7 in the paper Bezout rings and their subrings.
So we can apply (*) to the particular cases of $\Bbb Z$ and $\Bbb Z[x]$ in this way:
i) For $\Bbb Z$:
- We can use induction (or the well-ordering principle) to ensure the existence of a prime factorization. Note that $\Bbb Z$ satisfying the well-ordering principle is equivalent to $\Bbb Z$ being an ACPP domain.
- We can use the four number lemma to guarantee the uniqueness.
ii) For $\Bbb Z[x]$:
-
Since $\Bbb Z$ satisfies the ACCP condition, then $\Bbb Z[x]$ also satisfies the ACCP condition, so this will give us the existence of the irreducible factorization.
-
Since $\Bbb Z$ is a Schreier domain, then $\Bbb Z[x]$ is also a Schrier domain, so this will guarantee the uniqueness.
However, there is a little more to say. The classical proof of: $$D\; \text{UFD} \implies D[x]\; \text{UFD}\; (^{**})$$ uses, as you've noted, Gauss' lemma: the product of two primitive polynomials is primitive, but the above result isn't necessary because we can proof (**) without it. For instance, you can check theorem 27 of Pete L. Clark's notes cited lines above.
Returning to Gauss' lemma, this result gives rise to the class of domains known as GL-domains, and Anderson and Zafrullah proved that they are between the class of pre-Schreier and AP-domains. So in conclusion we have the chain:
$$\text{GCD-domain} \implies \text{Schreier domain} \implies \text{pre-Schreier domain}$$ $$\implies \text{GL-domain} \implies \text{AP-domain}.$$
For more info related to Schreier, pre-Schreier and GL-domains you can check these papers:
- M. Zafrullah, On a property of pre-Schreier domains, Communications in Algebra, 15 (1987), 1895-1920.
- S. McAdam and D. Rush, Schreier Rings, Bulletin of the London Mathematical Society, 10 (1978), 77-80.
- J. Arnold and P. Sheldon, Integral domains that satisfy Gauss's lemma, The Michigan Mathematical Journal, 22 (1975), 39-51.
- D. Anderson and M. Zafrullah The Schreier property and Gauss' lemma, Bollettino U. MI, 8 (2007), 43-62.
There are many similarities between passing from $\mathbb{Z}$ to $\mathbb{Z}[x]$ and from $k[x]$ to $k[x,y]$ ($k$ a field), because both $\mathbb{Z}$ and $k[x]$ are principal ideal domains.
One can see it by “unifying” Gauss’ lemma.
Theorem. (General Gauss’ lemma) If $R$ is a unique factorization domain with quotient field $Q$ and $f(x)\in R[x]$ is a primitive polynomial which factors in $Q[x]$, then $f$ also factors in $R[x]$.
A nonzero polynomial is primitive if a greatest common divisor of its coefficients is $1$.
But what's a greatest common divisor? In general an element $d$ of a domain is a greatest common divisor (GCD) of $a$ and $b$ if
- $d$ divides both $a$ and $b$;
- for all $c$, if $c$ divides both $a$ and $b$, then $c$ divides $d$.
Of course a greatest common divisor, if it exists, is only determined up to multiplication by invertible elements.
In a unique factorization domain (UFD) a GCD exists for every pair of elements: just take the product of all common irreducible divisors with the minimum exponent (irreducible elements differing in multiplication by an invertible should be identified). This is the empty product, that is, $1$ if the two elements have no common irreducible factors.
Note also that in general domains one has to distinguish between prime and irreducible elements. A nonzero and noninvertible element $p$ is
prime if, for all $a,b$, if $p$ divides $ab$, then $p$ divides $a$ or $p$ divides $b$;
irreducible if, for all $a,b$, if $p=ab$, then $a$ is invertible or $b$ is invertible.
It's easy to show that a prime element is also irreducible. On the other hand, an irreducible element may not be prime.
It turns out that this is one of the keys for a domain to have unique factorization. Indeed, a domain $R$ has unique factorization if and only if
- $R$ has the ascending chain condition on principal ideals;
- every irreducible element in $R$ is prime.
The first condition ensures existence of a factorization into a product of irreducible elements; the second condition ensures uniqueness.
The general Gauss’ lemma, which is proved essentially the same way as it is proved for $R=\mathbb{Z}$ (and $Q=\mathbb{Q}$), is the key step in proving that if $R$ is a UFD, then also $R[x]$ is a UFD.
On the other hand, the Bézout property of the GCD need not hold for a UFD. It holds when $R$ is a principal ideal domain (PID), but as soon as we pass to $R[x]$, the Bézout property does not hold, unless $R$ is a field. Indeed, the example is the same as you used: take $r\in R$ a nonzero and noninvertible element (which exists if $R$ is not a field); then $1$ is easily seen to be a greatest common divisor of $r$ and $x$ in $R[x]$ according to the above definition, but there do not exist $f,g\in R[x]$ such that $$ 1=rf(x)+xg(x) $$ (you have $r=2$ in $R=\mathbb{Z}$).
You can use $\mathbb{R}[x,y]$ to get a geometric interpretation of why the GCD cannot satisfy the Bézout property. Consider two irreducible distinct conics, say the circle defined by the polynomial $x^2+y^2-1$ and the parabola defined by $y-x^2$. A GCD of these polynomials is $1$, but there cannot exist polynomials $f(x)$ and $g(x)$ so that $$ 1=(x^2+y^2-1)f(x)+(y-x^2)g(x) $$ for the simple reason that the relation cannot hold at the two points where the circle and the parabola intersect.