Fractional ideal

For a number field \(K\), a fractional ideal is any finitely generated \(\mathop{\mathrm{\mathcal{O}_K}}\)-submodule of \(K\).