It is easy to see that
is a surjective homomorphism.

in

We conclude:

PROPOSITION 0.1Let us denote by
the subalgebra of
generated by
.
(Note that this notation is ambiguous and should not be used without
an explanation.)
Then the ring homomorphism
as above induces an algebra isomorphism