Kommutative Ringtheorie/Erzwingende Algebra/Definition

Aus Wikiversity
Erzwingende Algebra

Es sei ein kommutativer Ring und sei ein endlich erzeugtes Ideal. Es sei ein weiteres Element. Dann nennt man die -Algebra

die erzwingende Algebra zu den .