Gauss' Lemma, Field of Fractions, and More
We introduce localization of a ring and the ring of fractions of a ring. We then prove that the ring of polynomials over a field is a Euclidean Domain, and then finish by proving Gauss’ Lemma that a polynomial is irreducible over a ring exactly when it is irreducible over the ring’s field of fractions.