Modultheorie/Restklassenmodul modulo Primideal/Assoziiertes Primideal/Fakt/Beweis

Beweis

Es ist

deshalb ist ein assoziiertes Primideal. Für ein beliebiges von verschiedenes Element ist . Dann ist ebenfalls

da die Inklusion trivial ist und da

in bedeutet, dass ist, woraus wegen der Primeigenschaft folgt. Somit gilt die Eigenschaft auch für jeden Untermodul.