This thesis is an investigation of some of the properties of polynomial rings, unique factorization domains, Euclidean domains, and principal ideal domains. The nature of some of the relationships between each of the above systems is also developed in this paper.

The cardinality of the set of units, and of the set of equivalence classes of primes in non-trivial Euclidean domains is discussed with reference to the categories "finite" and "infinite." It is shown that no Euclidean domains exist for which both of these sets are finite. The other three combinations are possible and examples are given. For the more general Euclidean rings, the first combination is possible and examples are likewise given. Prime factorization is also discussed in both Euclidean rings and Euclidean domains. For Euclidean rings, an alternative definition of prime elements in terms of associates is compared and contrasted to the usual definitions.