Es sei R {\displaystyle {}R} ein kommutativer Ring. Eine R {\displaystyle {}R} -Algebra A {\displaystyle {}A} heißt von endlichem Typ (oder endlich erzeugt), wenn sie die Form
besitzt.
![{\displaystyle {}A=R[X_{1},\ldots ,X_{n}]/{\mathfrak {a}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4bb92876f7b64f611b678f4c018deedcf00538f)