Paper 1, Section II, H
Part II, 2009
Define a -isomorphism, , where are fields containing a field , and define .
Suppose and are algebraic over . Show that and are -isomorphic via an isomorphism mapping to if and only if and have the same minimal polynomial.
Show that is finite, and a subgroup of the symmetric group , where is the degree of .
Give an example of a field of characteristic and and of the same degree, such that is not isomorphic to . Does such an example exist if is finite? Justify your answer.