Diskreter Bewertungsrin/K/Restklassenkörper/Ordnung/Fakt

Aus Wikiversity

Es sei ein Körper, ein diskreter Bewertungsring über , dessen Restklassenkörper gleich ist.

Dann ist die Ordnung von einem Element , , gleich der -Vektorraumdimension von .