Modultheorie/Hauptidealbereiche/Primärkomponente/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Primärkomponente

Sei ein Hauptidealbereich und ein Modul.

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.