Multiplicative Sets of Atoms

It is possible for an element to have both an atom factorization and a factorization that will always contain a reducible element. This leads us to consider the multiplicatively closed set generated by the atoms and units of an integral domain. We start by showing that for a nice subset S of the atoms of R, there exists an integral domain containing R with set of atoms S. A multiplicatively closed set is saturated if the factors of each element in the set are also elements in the set. Considering polynomial and power series subrings, we find necessary and sufficient conditions for the set generated by the atoms and units to be saturated. We then generalize this to integral domains of the form D+M.