Definition. Let be a commutative ring with non-zero unity and let
and
be ideals of . The ring is a multiplication ring if
always implies that there exists a fractional ideal
of such that
.
Theorem 1 Every Dedekind domain is a multiplication ring. If a multiplication ring has no zero divisors, it is a Dedekind domain.