Algebra/Im Wesentlichem von endlichem Typ/Definition

Im Wesentlichen vom endlichen Typ

Eine kommutative ${}R$-Algebra ${}A$ heißt im Wesentlichen vom endlichen Typ, wenn sie die Form

${}A={\left(R[X_{1},\ldots ,X_{n}]/({\mathfrak {a}})\right)}_{S}\,$

mit einem Ideal ${}{\mathfrak {a}}$ und einem multiplikativen System ${}S$ besitzt.