< Separable Körpererweiterung < Polynomringerweiterung < Kähler-Differentiale
Es sei eine endliche separable Körpererweiterung und sei die zugehörige endliche Erweiterung der Polynomringe in einer Variablen. Zeige
.
![{\displaystyle {}K[X]\subseteq L[X]}](../../../../I/c7ca4102d6b42ae2257adbc4bbb845e5c7311d9b.svg)
![{\displaystyle {}\Omega _{L[X]{|}K[X]}=0}](../../../../I/2373e1948c9b42c70dbd960aa42146ed168beb3e.svg)
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.