Let be a Unique Factorisation Domain with a Field of Fractions .
Suppose is primitive and irreducible in .
Then is irreducible in .
Lemma
- A prime element in is also prime in .
- If are primitive then is also primitive
- If , then up to associates
Lemma
Let and is primitive.
If in , then in , where is the Field of Fractions of .