Begründe, dass K [ y , z ] ⊆ K [ x , y , z ] / ( x 2 + y z 2 + z m + 1 ) {\displaystyle {}K[y,z]\subseteq K[x,y,z]/(x^{2}+yz^{2}+z^{m+1})} endlich ist. Wie sieht es über K [ x , y ] {\displaystyle {}K[x,y]} bzw. K [ x , z ] {\displaystyle {}K[x,z]} aus?
![{\displaystyle {}K[y,z]\subseteq K[x,y,z]/(x^{2}+yz^{2}+z^{m+1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a823a33af8fe17048fcbf5bfaf9d217ce274232)
![{\displaystyle {}K[x,y]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/554fe5c71bbf12cfeb79317bef5eecc1c1d85c31)
![{\displaystyle {}K[x,z]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da3adebe6e770b3d117b8ba7c482088b5f2f44f0)