Let be a commutative ring, let be the polynomial ring over , and let be an element of . Then we can define a homomorphism of by constructing the evaluation homomorphism from to taking to itself and taking to .

To see that is an automorphism, observe that is the identity on and takes to , so by the uniqueness of the evaluation homomorphism, is the identity.

No messages.