Es sei A = R [ X ] / a {\displaystyle {}A=R[X]/{\mathfrak {a}}} eine monogene R {\displaystyle {}R} -Algebra und es sei b = Ann ( d X ) {\displaystyle {}{\mathfrak {b}}=\operatorname {Ann} _{}{\left(dX\right)}} der Annullator von d X {\displaystyle {}dX} im Modul der Kähler-Differentiale Ω A | R {\displaystyle {}\Omega _{A{|}R}} . Zeige
![{\displaystyle {}A=R[X]/{\mathfrak {a}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/896ded9d7dffed210ce16868a0f852834af1d2ef)
