The prime spectrum of rings of integer-coefficient power series on the disk

This is a sequel to \cite{PaperI}, where it is shown that a discrete effective divisor on the open unit disk $\D$ is the zero divisor of a holomorphic function with integer Taylor coefficients if and only if it is invariant under complex conjugation. Building on that realization theorem and on the u