  A divisibility relation on ultrafilters is defined as follows: ${\cal
F}\hspace{1mm}\widetilde{\mid}\hspace{1mm}{\cal G}$ if and only if every set in
$\cal F$ upward closed for divisibility also belongs to $\cal G$. After
describing the first $\omega$ levels of this quasiorder, in this paper we
generalize the process of determining the basic divisors of an ultrafilter.
First we describe these basic divisors, obtained as (equivalence classes of)
powers of prime ultrafilters. Using methods of nonstandard analysis we
determine the pattern of an ultrafilter: the collection of its basic divisors
as well as the multiplicity of each of them. All such patterns have a certain
closure property in an appropriate topology. We isolate the family of sets
belonging to every ultrafilter with a given pattern. Finally, we show that
every pattern with the closure property is realized by an ultrafilter.
