B3.10
(a) Let be an affine algebraic variety. Define the tangent space for . Show that the set
is closed, for every .
(b) Let be an irreducible projective curve, , and a rational map. Show, carefully quoting any theorems that you use, that if is smooth at then extends to a regular map at .
Typos? Please submit corrections to this page on GitHub.