Kommutative Ringtheorie/Algebra von endlichem Typ/Definition

Algebra von endlichem Typ

Es sei $R$ ein kommutativer Ring. Eine $R$-Algebra $A$ heißt von endlichem Typ (oder endlich erzeugt), wenn sie die Form

$A=R[X_1,\dots ,X_n]/𝔞$

besitzt.