Principal Ideal Domains Are Unique Factorization Domains Ring Theory Gauss's Lemma Ring Theory Characteristic of an Integral Domain Is Zero or Prime Ring Theory Maximal Ideal Criterion Ring Theory Negation and Multiplication in Rings Ring Theory Hilbert Basis Theorem Ring Theory Euclidean Domains Are Principal Ideal Domains Ring Theory First Isomorphism Theorem for Rings Ring Theory Ring Theory Subarea