Modultheorie/Hauptidealbereiche/Primärkomponente/Definition
Primärkomponente
Es sei ein Hauptidealbereich und ein Modul.
Es sei nun ein Primelement in . Der Untermodul aller von einer Potenz von annullierten Elemente von heißt die -Primärkomponente von .
Es ist also
wird -Sockel von genannt.
Bei für ein Primelement heißt ein Primärmodul.