Ik denk dat ik het nog ongeveer weet, maar misschien moet ge bij mijne uitleg nog ff uwe cursus bijlegge..
Een K-inbedding van K(x) in
stuurt x naar een andere wortel van de minimumveelterm van x,
omdat die de wortels van de minimumveelterm permuteert.
Dus: Stel f een K-inbedding, dan construeert ge
zo dat f op f(x) wordt afgebeeld
Dan nog te bewijzen is dat
zowel injectief als surjectief is.
Voor de surjectiviteit moet je bewijzen dat voor elke wortel van de minimumveelterm van x een K-inbedding bestaat die x erop afbeeldt.
Dit is, denk ik , bewezen in de cursus
Voor de injectivitieit moet je bewijzen dat die K-inbedding uniek is.
Dit is volgens mij ook bewezen in de cursus.
Ik hoop da het wa duidelijk is