das wie folgt konstruierte gebrochene Ideal.

Es seien L/K eine endliche separable Körpererweiterung und 𝒪_K ⊂ K ein Dedekindscher Ring mit Quotientenkörper K. Sei weiter M ⊂ L ein 𝒪_KModul. Dann heißt der Modul \begin{eqnarray}{M^ * } = \{ x \in L:S\left( {x\mu } \right) \in {\mathcal{O}_K}\,\,\,{\text{f}}\mathrm{\ddot{u}}{\text{r}}\,{\text{alle}}\,\,m \in M\}\end{eqnarray} der Komplementärmodul von M. Ist 𝔄 ein gebrochenes Ideal, so ist 𝔄^∗ wieder ein gebrochenes Ideal; in diesem Fall nennt man 𝔄^∗ das Komplementärideal von 𝔄.

Ist 𝒪_L der ganze Abschluß von 𝒪_K in L, so gilt: \begin{eqnarray}{\mathfrak{A}^ * } = \mathcal{O}_L^ * {\mathfrak{A}^{ – 1}},\,\,\,\,\,\,\,{\mathfrak{A}^{ * * }} = \mathfrak{A}.\end{eqnarray}