Define an automorphism of a field <I>E</i>.