If H is a subgroup of Gal(E/F), define the fixed field of H.