Zum Inhalt springen

E8-Singularität/Komplettierung/Faktoriell/Einzigartigkeit/Bemerkung

Aus Wikiversity

Die Komplettierung des Ringes am maximalen Ideal ist . Dieser Ring ist ebenfalls faktoriell (die Komplettierung eines faktoriellen Ringes muss im Allgemeinen nicht faktoriell sein). Es gilt sogar, dass dieser Ring der einzige zweidimensionale komplette Ring (bis auf Isomorphie) über ist, der faktoriell, aber nicht regulär, also nicht der Potenzreihenring ist.