Algebraic number theory MOC

Gauß's lemma

Suppose is a Unique factorization domain and is its Field of fractions. Then #m/thm/num/alg

  1. The set of primitive polynomials in is closed under multuplication;
  2. is irreducible iff it is irreducible in and primitive.
Proof

#missing/proof

#state/develop | #lang/en | #SemBr