Definition:Invertible Fractional Ideal

Definition

Let $R$ be an integral domain with fraction field $K$.

Let $I\subseteq K$ be a fractional ideal of $R$.

Then $I$ is invertible if and only if there exists a fractional ideal $J\subseteq K$ such that their product is the unit ideal of $R$:

$I J = \ideal 1$

Also see

• Definition:Dedekind Domain