Kommutativer Ring/Endlicher Typ/Algebraisch abgeschlossen/Modul/Länge/Fakt/Beweis

Beweis

Wenn als -Vektorraum endlichdimensional ist, so hat automatisch endliche Länge, da jeder Untermodul auch ein Untervektorraum ist. Die Rückrichtung zeigen wir durch Induktion über die Länge. Wenn die Länge gleich ist, so ist der Modul einfach und somit nach Fakt von der Form mit einem maximalen Ideal . Nach dem Hilbertschen Nullstellensatz ist eine endliche Körpererweiterung und der Modul ist ein endlichdimensionaler -Vektorraum. Es sei nun ein -Modul endlicher Länge . Dann gibt es eine kurze exakte Sequenz

mit einem einfachen Restklassenmodul und einem -Untermodul kleinerer Länge. Nach Induktionsvoraussetzung bzw. dem Fall einfacher Moduln stehen links und rechts endlichdimensionale -Vektorräume. Daher ist auch der Modul als -Vektorraum endlichdimensional.

Wenn zusätzlich algebraisch abgeschlossen ist, so zeigt man die Gleichheit von Länge und Dimension entsprechend durch Induktion, wobei der Induktionsanfang wiederum auf dem Hilbertschen Nullstellensatz beruht, der hier besagt, dass sämtliche Restklassenkörper isomorph zu selbst sind.