We study the relation of the ideal class group of a Dedekind domain
to that
of
, where
is a multiplicatively
closed subset of
.
We construct examples of (a) a Dedekind domain with no principal prime ideal and
(b) a Dedekind domain which is not the integral closure of a principal ideal domain.
We also obtain some qualitative information on the number of non-principal prime
ideals in an arbitrary Dedekind domain.
If
is a Dedekind
domain,
the set of all monic
polynomials and
the set of
all primitive polynomials of
,
then
and
are both
Dedekind domains. We obtain the class groups of these new Dedekind domains in terms of
that of
.