Zeige, dass der Polynomring K [ X 1 , … , X n ] {\displaystyle {}K[X_{1},\ldots ,X_{n}]} ein freier Modul über dem Polynomring K [ E 1 , … , E n ] {\displaystyle {}K[E_{1},\ldots ,E_{n}]} der elementarsymmetrischen Polynome ist.
![{\displaystyle {}K[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96607693c80a38f197b1443eb366df0a6bbef1c3)
![{\displaystyle {}K[E_{1},\ldots ,E_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb9df989a4229390d29a243549d08276df914dd1)