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},\ldots ,X_{n}]/{\mathfrak {a}}\,$

besitzt.