Let such that . Then the map given by
for and (which is just the dual of the
linearization of ) induces a
morphism of semigroups . Since
belongs to
, the assignment
|
|
|
defines a ring morphism . This morphism sends
to , hence induces a
morphism and a map . Varying and we
obtain maps, that glue together into a map
|
|
|
By construction, this map extends and is
equivariant with respect to the morphism .
∎