Fractional ideal

A fractional ideal is a generalization of an ideal in the same way generalizes . Let be an Integral domain, and its field of fractions. A fractional ideal is an -submodule of such that for some . #m/def/ring Thus fractional ideals are proper ideals divided by a nonzero elements.

Ideal quotient

The ideal quotient, which in these notes refers to the generalized colon ideal, is defined as follows for fractional ideals

A fractional ideal is invertible iff for some (provably unique) inverse fractional ideal , which if it exists is given by

Proof

For uniqueness of the inverse, note if then . Suppose now is invertible Then for all , so . Thus

whence

as required. Clearly the inverse is a fractional ideal, as for any we have .

#state/develop | #lang/en | #SemBr