ABSTRACT
We know that in a principal ideal domain, every non-unit can be factored into irreducibles, and we know what we must show to guarantee the uniqueness of such a factorization: We must show that every irreducible element is prime. In this chapter we are able to show that this is true for any PID.
