Noetherscher lokaler Ring/Potenzen vom maximalen Ideal/Restklassenring und Jets sind endlich-dimensional/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein noetherscher lokaler Ring mit maximalem Ideal und Restklassenkörper .

Dann besitzen die Restklassenmoduln endliche Dimension über .

Wenn einen Körper enthält, der isomorph auf den Restklassenkörper abgebildet wird, so sind auch die Restklassenringe von endlicher Dimension über .