Potenzreihenring/Körper/Lokaler Ring/Fakt

Ein Potenzreihenring über einem Körper

ist ein lokaler Ring mit dem maximalen Ideal und dem Restekörper .