Fractional Ideal

- Mathematics & Logic -
Pure Mathematics Dictionary
Definition
Given an integral domain R with field of fractions K, a fractional ideal is an R-submodule I of K for which there exists a nonzero r in R such that rI is an (integral) ideal of R. Fractional ideals allow denominators and extend ideal theory from R to K while retaining multiplicative structure.