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.