Kommutative Ringtheorie/Erzwingende Algebra/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Erzwingende Algebra

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 .