Define the Galois group of an extension field <I>E</i> over a field <i>F</i>.