Es sei ${\displaystyle {}R}$ ein lokaler Ring und ${\displaystyle {}{\mathfrak {a}}}$ ein Ideal von ${\displaystyle {}R}$. Zeige, dass

${\displaystyle R^{\times }\longrightarrow {\left(R/{\mathfrak {a}}\right)}^{\times }}$

surjektiv