 Fractional ideal

For an integral domain $A$ with fraction field $K$, a fractional ideal is a nonzero $A$-submodule $I\subseteq K$ for which $dI\subseteq A$ for some $0\ne d\in A$. A finitely generated submodule of $K$ has a common denominator and is therefore a fractional ideal. The product is generated by pairwise products of elements. An invertible fractional ideal has a multiplicative inverse and is finitely generated; arbitrary fractional ideals need not be finitely generated over a non-Noetherian domain. The familiar fractional ideals of a number field are the special case $A={\mathcal{O}}_K$. This general definition also applies to the ideals representing Cartier divisors on affine integral schemes.

In the context of algebraic number theory, a **fractional ideal** is a generalization of the notion of an ideal in a ring. Specifically, fractional ideals are particularly useful in the study of Dedekind domains and more generally in the structure of arithmetic in number fields. ### Definitions and Properties 1. **Integral Domain**: First, consider a domain \( R \), typically a Dedekind domain, which is an integral domain where every nonzero proper prime ideal is maximal.