Es sei p {\displaystyle {}p} eine Primzahl und
Zeige, dass R ≅ K ( Y ) {\displaystyle {}R\cong K(Y)} ist, dass R {\displaystyle {}R} regulär ist und dass der Modul der Kähler-Differentiale Ω R | K {\displaystyle {}\Omega _{R{|}K}} nicht frei ist.
![{\displaystyle {}K=\mathbb {Z} /(p)(U)\subseteq R=K[Y]/{\left(Y^{p}-U\right)}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89e13664360fd96658654361bce37dafb85ec7a9)
