Cohen-Struktursatz

Ein Klassifikationssatz für vollständige noethersche lokale Ringe: Ein vollständiger noetherscher lokaler Ring R mit Restklassenkörper k ist ein Quotient eines Rings formaler Potenzreihen über einem Koeffizientenring, der die Charakteristik widerspiegelt.