Sei R {\displaystyle {}R} ein kommutativer Ring. Eine R {\displaystyle {}R} -Algebra A {\displaystyle {}A} heißt endlich, wenn sie als R {\displaystyle {}R} -Modul endlich ist.
