Associates in Ring of Polynomial Forms over Field

Theorem
Let $F \sqbrk X$ be the ring of polynomial forms over the field $F$.

Let $\map d X$ and $\map {d'} X$ be polynomial forms in $F \sqbrk X$.

Then $\map d X$ is an associate of $\map {d'} X$ $\map d X = c \cdot \map {d'} X$ for some $c \in F, c \ne 0_F$.

Hence any two polynomials in $F \sqbrk X$ have a unique monic GCD.

Proof
From the definition of associate, there exist $\map e X$ and $\map {e'} X$ \in $F \sqbrk X$ such that:


 * $\map d X = \map e X \cdot \map {d'} X$
 * $\map {d'} X = \map {e'} X \cdot \map d X$

From Field is Integral Domain, $F$ is an integral domain.

From Degree of Product of Polynomials over Integral Domain it follows that necessarily $\deg e = \deg e' = 0$, as $F$ has no proper zero divisors.

Thus for some $c, c' \in F$, it must be that $\map e X = c$ and $\map {e'} X = c'$.

From the two equations above it follows that $c \cdot c' = 1_F$, where $1_F$ is the unity of $F$.

Hence, it follows that $c \ne 0_F$.

The result follows.