Let D be a Krull domain and
let {Xλ}λ∈Λ be a set of indeterminates over D. This paper shows that each of three
“rings of formal power series in {Xλ} over D” are also Krull domains; also, some
relations between the structure of the set of minimal prime ideals of D and
the set of minimal prime ideals of these rings of formal power series are
established.