# appendix: local appearance of blow up

Let us define a ring homomorphism as follows.

It is easy to see that is a surjective homomorphism.

 in

We conclude:

PROPOSITION 0.1   Let 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