Es sei R {\displaystyle {}R} ein kommutativer Ring. Eine kommutative R {\displaystyle {}R} -Algebra A {\displaystyle {}A} heißt endlich, wenn A {\displaystyle {}A} als R {\displaystyle {}R} -Modul endlich erzeugt ist.
