Factorization into Irreducibles | Modern Algebra

This video covers factorizations of elements into irreducible and prime elements, the definition of unique factorization domains, and the proof that all PIDs are UFDs.