fractional ideal noun1 •Given an integral domain R and its field of fractions K = Frac(R), an R-submodule I of K such that for some nonzero r∈R, rI ⊆ R.Theorem 5 The non-zero fractional ideals of a Dedekind domain form a multiplicative group. — 2001 formsfractional ideals