Kommutativer Ring/Endlicher Typ/Algebraisch abgeschlossen/Modul/Länge/Fakt
Es sei eine endliche erzeugte kommutative -Algebra über einem Körper und sei ein -Modul.
Dann besitzt genau dann endliche Länge, wenn als -Vektorraum endlichdimensional ist.
Wenn algebraisch abgeschlossen ist, so stimmt die Länge mit der -Vektorraumdimension überein.