Modul mit zusätzlicher Eigenschaft.

Es sei L/K eine endliche separable Körpererweiterung, wobei K der Quotientenkörper eines Hauptidealrings Γ ist. Ein endlich erzeugter Modul \({\mathfrak{a}}\subset L\) über Γ heißt vollständiger Modul, wenn sein Rang gleich dem Grad der Körpererweiterung L/K ist.