Kommutative Ringtheorie/f nicht nilpotent/Existenz von Primidealen/Fakt

Aus Wikiversity

Es sei ein kommutativer Ring und sei nicht nilpotent.

Dann gibt es ein Primideal in mit .