Es sei R {\displaystyle {}R} ein kommutativer Ring und sei f ∈ R {\displaystyle {}f\in R} mit zugehöriger Nenneraufnahme R f {\displaystyle {}R_{f}} . Beweise die R {\displaystyle {}R} -Algebraisomorphie
![{\displaystyle {}R_{f}\cong R[T]/(Tf-1)\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e3638bf4a035a8a4d402b3e118d42b96dab8884)