2.2.2 [01N1]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
2.2.2
Rappelons que toute fonction analytique inversible sur est algébrique et, plus précisément, est même un monôme, c’est-à-dire de la forme , où et est un vecteur appelé exposant. (En dimension 1, cet énoncé est le lemme 9.7.1/1 de [14], le cas général en découle par récurrence.)
Le morphisme induit par une telle fonction est un homomorphisme de groupes analytiques si et seulement si .
Soit un tore. L’ensemble des caractères de , c’est-à-dire des morphismes de groupes analytiques de vers , est un groupe abélien.
On déduit de ce qui précède que tout isomorphisme de avec induit un isomorphisme de avec ; on en déduit aussi que si et sont deux tores, tout morphisme d’espace -analytique de vers est affine, i.e. composé d’un morphisme de groupes analytiques et d’une translation ; c’est donc un morphisme de groupes si et seulement si il envoie l’origine de sur l’origine de . Pour cette raison, lorsque nous évoquerons un morphisme entre tores qui n’est pas nécessairement un morphisme de groupes, nous le qualifierons de morphisme affine.