3.II.18H
Part II, 2008
Let be a field extension.
(a) State what it means for to be algebraic over , and define its degree . Show that if is odd, then .
[You may assume any standard results.]
Show directly from the definitions that if are algebraic over , then so too is .
(b) State what it means for to be separable over , and for the extension to be separable.
Give an example of an inseparable extension .
Show that an extension is separable if is a finite field.