My book claims the following.
The fact that for coprime numbers $a$ and $b$ there exists integers $x$ and $y$ such that $ax-by=1$ is called the fundamental theorem of arithmetic.
Obviously, this is not the standard statement of the fundamental theorem of arithmetic (which instead talks about the uniqueness of prime factorization). My question is: how are the two formulations the same?
I at least understand one direction: if two numbers are coprime, then their greatest common divisor is $1$, so the existence of $x$ and $y$ follows from Bézout's lemma. But why is it true that the existence of the integers $x$ and $y$ for coprime $a$ and $b$ implies unique prime factorization?
Best Answer
The property that for elements $a$ and $b$ with greatest common divisor, $d$, there exists elements $x$ and $y$ such that $ax + by = d$ is called Bézout's identity. Integral domains with this property are called Bézout domains. An integral domain in which every element can be written in an essentially unique way as a product of primes is called a unique factorization domain (or UFD). The ring $\Bbb{Z}$ of integers has both these properties, so in a trivial sense, these properties are equivalent (in $\Bbb{Z}$), because they are both true. It is the fact that $\Bbb{Z}$ is a UFD that is known (by everyone, AFAIK, except the authors of this book) as the fundamental theorem of arithmetic.
The Wikipedia article on Bézout domains gives several examples of Bézout domains that are not UFDs, so Bézout's identity is not equivalent to the statement of the fundamental theorem of arithmetic for integral domains in general. Let me sketch one of the simplest examples. Let $\Bbb{Q}[x]$ be the ring of polynomials in one variable $x$ over the rational numbers $\Bbb{Q}$. Define a subring $R$ of $\Bbb{Q}[x]$ by: $$ R = \{ f \in \Bbb{Q}[x] \mid f(0) \in \Bbb{Z}\} $$ So $R$ comprises polynomials $c_0 + c_1x + c_2x^2 + \ldots + c_nx^n$ where all the $c_i$ are rational and $c_0$ is an integer. $R$ is easily checked to be a subring of $\Bbb{Q}[x]$, and, hence as a subring of an integral domain, it, too, is an integral domain. $R$ is not a UFD, since the polynomial $x$ can be divided infinitely often by the constant polynomial $2$, which is a prime in $R$: $$ x = 2\frac{x}{2} = 2^2\frac{x}{4} = \ldots = 2^n\frac{x}{2^n} = \ldots $$ However $R$ can be shown to be a Bézout domain (this is done by reducing to the case when both $a$ and $b$ have non-zero constant terms and then using the fact that $\Bbb{Q}[x]$ is a Bézout domain).