Introduction - index

§ 6. Les morphismes : une premiere approche 25
Demonstration. On suppose V C k n et W C k m . On note 77,- les fonctions
coordonnees sur W (cf. 6.5.2).
1) F est fidele, i.e. si (f> et ^ sont deux morphismes de V dans VK tels
que (f>* = if}* on a (injectivite de 7). En effet cela resulte de la
formule qui donne les composantes de y> : ^ = v 3 *^) (cf- 6.5.2) et de la
formule analogue pour .
2) Soit maintenant 0 : T(W) —> F(V) un homomorphisme de &-algebres.
On pose (pl = 0(iji) € F(F). On considere le morphisme tp : V —> k m
dont les coordonnees sont les est a valeurs
dans W on aura alors (cf. 6.5.2) 0 — (p*, ce qui montrera la surjectivite
de 7. Pour cela, soit F(Fi,... ,Fm) G /(W) et a; 6 V. On calcule
F((f>(x)) = F(0(r)i],... ,9(r)m))(x). Mais, comme $ est un homomorphisme
d'algebres, on a F(6(rji),.,., 0(rjm}) = 0(F(rji,..., ^m)) et
comme F(r?i,..., r?m) est 1'image dans F(W) de F(Y\,..., Fm) G /(V^),
cet element est nul et on a termine.
Corollaire 6.8. Soit est un isomorphisme
si et seulement si : k —* V = V(Y 2 — X 3 ) donne par
(p(t) = (t 2 ,t 3 ) i2'est pas un isomorphisme.
En effet, sinon * est injectif (cf. 2.4.d ou
6.11 ci-dessous), de sorte que F(V) est isomorphe a fc(T 2 ,T 3 ]. L'element
T est dans le corps des fractions de F(V) (c'est T 3 /T 2 ), il est entier sur
F(V) (il verifie 1'equation X 2 — T 2 = 0), mais il n'est pas dans F(V),
done cet anneau n'est pas integralement clos. En revanche 1'anneau k[T]
est principal, done integralement clos. Ce phenomene est du au point
singulier de la courbe V (cf. Ch. V).
On a aussi un dictionnaire sur les morphismes, en voici un exemple.
On commence par une definition :
Definition 6.10. Soit (f> : V — W un morphisme. On dit que est
dominant si radherence de son image (pour la topologie de Zariski) est
egale a W tout entier : (V) — W.