Definition:Invertible Fractional Ideal

From ProofWiki
Jump to navigation Jump to search


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