>>580
なんぼなんでも(2)は当たり前でしょ？g:L→NにたいしてそのMへの制限をfとすればgはfの拡張です。
(1)は[L:M]についての帰納法。[L:M]=1なら自明。[L:M]<nで成立として[L:M]=nとする。f:M→Nをとる。
h:M(a)→Nを以下のように定める。
a∈L＼Mをとってp(x)∈M[x]をaの最小多項式とする。
fをpの各係数にヒットして得られる多項式をq(x)∈N[x]とする。
b∈Nをq(x)=0の解とすればu(a) ∈ M[a]に対しh(u(a))を

h(u(a)) := u(b)

で定めればhがfのM(a)への拡張になる。
これを帰納法の仮定でLまで拡張すればよい。