ExtensionAutomorphism( L, img )
is the automorphism of the extension L, that maps the primitive root of Field Homomorphisms applies.
Previous Up Top NextIndex