ABSTRACT
We now embark on the proof that a number of the integral domains we are interested in satisfy unique factorization. We have written “proof” rather than “proofs” as it is our goal to establish a framework that will enable us to come up with one proof that handles all these cases simultaneously. To be precise, our strategy will be as follows:
Step 1a. Define “Euclidean domain.”
