Noetherscher lokaler Ring/Potenzen vom maximalen Ideal/Restklassenring und Jets sind endlich-dimensional/Fakt
Es 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 .