path: root/notes-mdi349.tex

%% This is a LaTeX document.  Hey, Emacs, -*- latex -*- , get it?
\documentclass[12pt,a4paper]{article}
\usepackage[francais]{babel}
\usepackage[utf8]{inputenc}
\usepackage{times}
% A tribute to the worthy AMS:
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
%
\usepackage{mathrsfs}
\usepackage{wasysym}
\usepackage{url}
%
\usepackage{graphics}
\usepackage[usenames,dvipsnames]{xcolor}
\usepackage{tikz}
\usetikzlibrary{matrix}
%
\theoremstyle{definition}
\newtheorem{comcnt}{Tout}[subsection]
\newcommand\thingy{%
\refstepcounter{comcnt}\smallbreak\noindent\textbf{\thecomcnt.} }
\newtheorem{defn}[comcnt]{Définition}
\newtheorem{prop}[comcnt]{Proposition}
\newtheorem{lem}[comcnt]{Lemme}
\newtheorem{thm}[comcnt]{Théorème}
\newtheorem{cor}[comcnt]{Corollaire}
\newtheorem{rmk}[comcnt]{Remarque}
\newtheorem{exmps}[comcnt]{Exemples}
\newcommand{\limp}{\mathrel{\Rightarrow}}
\newcommand{\liff}{\mathrel{\Longleftrightarrow}}
\newcommand{\pgcd}{\operatorname{pgcd}}
\newcommand{\ppcm}{\operatorname{ppcm}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\id}{\operatorname{id}}
\newcommand{\Frob}{\operatorname{Frob}}
\newcommand{\Frac}{\operatorname{Frac}}
\renewcommand{\qedsymbol}{\smiley}
%
\DeclareUnicodeCharacter{00A0}{~}
%
\DeclareFontFamily{U}{manual}{} 
\DeclareFontShape{U}{manual}{m}{n}{ <->  manfnt }{}
\newcommand{\manfntsymbol}[1]{%
    {\fontencoding{U}\fontfamily{manual}\selectfont\symbol{#1}}}
\newcommand{\dbend}{\manfntsymbol{127}}% Z-shaped
\newcommand{\danger}{\noindent\hangindent\parindent\hangafter=-2%
  \hbox to0pt{\hskip-\hangindent\dbend\hfill}}
%
%
%
\begin{document}
\title{\underline{Brouillon} de notes de cours\\de géométrie algébrique}
\author{David A. Madore}
\maketitle

\centerline{\textbf{MDI349}}

%
%
%

\section*{Conventions}

Sauf précision expresse du contraire, tous les anneaux considérés sont
commutatifs et ont un élément unité (noté $1$).

Si $k$ est un anneau, une \textbf{$k$-algèbre} (là aussi :
implicitement commutative) est la donnée d'un morphisme d'anneaux $k
\buildrel\varphi\over\to A$ (appelé \emph{morphisme structural} de
l'algèbre).  On peut multiplier un élément de $A$ par un élément
de $k$ avec : $c\cdot x = \varphi(c)\,x \in A$ (pour $c\in k$ et $x\in
A$).


%
%
%

\section{Introduction / motivations}

Qu'est-ce que la géométrie algébrique ?  En condensé :
\begin{itemize}
\item\textbf{But :} Étudier les solutions de systèmes d'équations
  polynomiales dans un corps ou un anneau quelconque, ou des objets
  apparentés.  (Étudier = étudier leur existence, les compter, les
  paramétrer, les relier, définir une structure dessus, etc.)
\item\textbf{Géométrie :} Voir de tels systèmes d'équations comme des
  objets géo\-mé\-triques, soit plongés dans un espace ambiant (espace
  affine, espace projectif), soit intrinsèques ; leur appliquer des
  concepts de géométrie (espace tangent, étude locale de singularités,
  etc.).
\item\textbf{Moyens :} L'étude locale de ces objets passe par les
  fonctions définies dessus, qui sont des anneaux tout à fait
  généraux, donc l'\emph{algèbre commutative} (étude des anneaux
  commutatifs et de leurs idéaux).
\end{itemize}

\smallbreak

Problèmes \emph{géométriques} = étude de solutions sur des corps
algébriquement clos (e.g., $\mathbb{C}$ : géométrie algébrique
complexe ; $\bar{\mathbb{F}}_p$) ou « presque » (e.g., $\mathbb{R}$ :
géométrie algébrique réelle).  Problèmes \emph{arithmétiques} = sur
des corps loin d'être algébriquement clos (e.g., $\mathbb{Q}$ :
géométrie arithmétique), ou des anneaux plus gé\-né\-raux
(e.g., $\mathbb{Z}$ : idem, « équations diophantiennes »).

Applications : cryptographie et codage (géométrie sur $\mathbb{F}_q$),
calcul formel, robotique (géométrie sur $\mathbb{R}$), analyse
complexe (géométrie sur $\mathbb{C}$), théorie des nombres
(sur $\mathbb{Q}$, corps de nombres...), etc.

\smallbreak

\textbf{Un exemple :} Pour tout anneau $k$, on définit $C(k) =
\{(x,y)\in k^2 : x^2+y^2 = 1\}$.  Interprétation géométrique : ceci
est un cercle !  Il est plongé dans le « plan affine » $\mathbb{A}^2$
défini par $\mathbb{A}^2(k) = k^2$ pour tout anneau $k$.

\begin{itemize}
\item Sur $\mathbb{R}$, les solutions forment effectivement un cercle,
  au sens naïf.
\item (Sur $\mathbb{C}$, les solutions dans $\mathbb{C}^2$ forment une
  surface, qui ressemblerait plutôt à une sphère privée de deux
  points.)
\item Sur $\mathbb{F}_q$, on peut compter les solutions : on peut
  montrer qu'il y en a $q-1$ ou $q+1$ selon que $q \equiv 1\pmod{4}$
  ou $q \equiv 3\pmod{4}$ (ou encore $q$ pour $q = 2^r$).
\item Sur $\mathbb{Q}$, il n'est pas complètement évident de trouver
  des solutions autres que $(\pm 1,0)$ et $(0,\pm 1)$.  Un exemple :
  $(\frac{4}{5},\frac{3}{5})$ (Pythagore, Euclide...).
\end{itemize}

Paramétrage des solutions :

\begin{center}
\begin{tikzpicture}[scale=3]
\draw[step=.2cm,help lines] (-1.25,-1.25) grid (1.25,1.25);
\draw[->] (-1.15,0) -- (1.15,0); \draw[->] (0,-1.15) -- (0,1.15);
\draw (0,0) circle (1cm);
\draw (1,-1.15) -- (1,1.15);
\coordinate (P) at (0.8,0.6);
\coordinate (Q) at (1,0.6666666667);
\draw (0.8,0) -- (P);
\draw (-1,0) -- node[sloped,auto] {$\scriptstyle\mathrm{pente}=t$} (Q);
\fill[black,opacity=.5] (P) circle (.5pt);
\fill[black,opacity=.5] (Q) circle (.5pt);
\fill[black,opacity=.5] (-1,0) circle (.5pt);
\node[anchor=west] at (Q) {$\scriptstyle (1,2t)$};
\node[anchor=north east] at (-1,0) {$\scriptstyle (-1,0)$};
\node[anchor=east] at (P) {$\scriptstyle (\frac{1-t^2}{1+t^2},\frac{2t}{1+t^2})$};
\end{tikzpicture}
\end{center}

Un petit calcul géométrique (cf. les formules exprimant
$\cos\theta,\sin\theta$ en fonction de $\tan\frac{\theta}{2}$),
valable sur tout corps $k$ de caractéristique $\neq 2$ (ou en fait
tout anneau dans lequel $2$ est inversible\footnote{C'est-à-dire, une
  $\mathbb{Z}[\frac{1}{2}]$-algèbre, où $\mathbb{Z}[\frac{1}{2}] =
  \{\frac{a}{2^r}:a\in\mathbb{Z},r\in\mathbb{N}\}$}), permet de
montrer que toute solution $(x,y) \in C(k)$ autre que $(-1,0)$ peut
s'écrire de la forme $(\frac{1-t^2}{1+t^2},\frac{2t}{1+t^2})$ avec $t
\in k$ (uniquement défini, et vérifiant $t^2\neq -1$).

\emph{Remarques :} (a) ceci correspond à un point
$(\frac{1-t^2}{1+t^2},\frac{2t}{1+t^2}) \in C(k(t))$ où $k(t)$ est le
corps des fonctions rationnelles à une indéterminée sur $k$ ; (b) ceci
permet, par exemple, de trouver de nombreuses solutions
sur $\mathbb{Q}$, ou d'en trouver rapidement sur
$\mathbb{F}_q$ ($q$ impair) ; (c) on a, en fait, défini un
« morphisme » d'objets géométriques de la droite affine $\mathbb{A}^1$
vers le cercle $C$ (privé du point $(-1,0)$).

On peut aussi définir une structure de \emph{groupe} (abélien) sur les
points de $C(k)$ pour n'importe quel anneau $k$ : si $(x,y) \in C(k)$
et $(x',y') \in C(k)$, on définit leur composée $(x,y)\star (x',y') =
(x'',y'')$ par
\[
\left\{\begin{array}{c}
x'' = xx'-yy'\\
y'' = xy'+yx'\\
\end{array}\right.
\]
(cf. les formules exprimant
$\cos(\theta+\theta'),\sin(\theta+\theta')$ en fonction de
$\cos\theta,\sin\theta$ et $\cos\theta',\sin\theta'$).  Élément
neutre : $(1,0)$ ; inverse de $(x,y)$ : $(x,-y)$.

(Les fonctions trigonométriques, ``transcendantes'', servent à motiver
ces formules, mais les formules sont parfaitement valables sur
$\mathbb{F}_q$ bien que $\cos\theta,\sin\theta$ n'aient pas de sens !)

\emph{Remarque :} Tout élément $f$ de l'anneau
$\mathbb{R}[x,y]/(x^2+y^2-1)$ définit une fonction réelle sur le
cercle $C(\mathbb{R})$.


%
%
%

\section{Prolégomènes d'algèbre commutative}

\subsection{Anneaux réduits, intègres}

Anneau \textbf{réduit} = anneau dans lequel $x^n = 0$ implique $x =
0$.  En général, un $x$ (dans un anneau $A$) tel que $x^n = 0$ pour un
certain $n \in \mathbb{N}$ s'appelle un élément \textbf{nilpotent}.

Anneau \textbf{intègre} = anneau non nul dans lequel $xy = 0$ implique
$x=0$ ou $y=0$ (remarque : la réciproque vaut dans tout anneau).  En
général, un $x$ (dans un anneau $A$) tel qu'il existe $y \neq 0$ tel
que $xy = 0$ s'appelle un \textbf{diviseur de zéro}.

Élément \textbf{inversible} (ou \emph{unité}) d'un anneau $A$ =
élément $x$ tel qu'il existe $y$ vérifiant $xy = 1$.  L'ensemble
$A^\times$ ou $\mathbb{G}_m(A)$ des tels éléments forme un
\emph{groupe}, appelé groupe multiplicatif des inversibles de $A$.  Un
\textbf{corps} est un anneau tel que $A^\times = A\setminus\{0\}$.

Un corps est un anneau intègre.  Un anneau intègre est un anneau
réduit.

\smallbreak

Idéal \textbf{maximal} d'un anneau $A$ = un idéal $\mathfrak{m} \neq
A$ tel que si $\mathfrak{m} \subseteq \mathfrak{m}'$ (avec
$\mathfrak{m}'$ un autre idéal) alors soit
$\mathfrak{m}'=\mathfrak{m}$ soit $\mathfrak{m}'=A$).  Propriété
équivalente : c'est un idéal $\mathfrak{m}$ tel que $A/\mathfrak{m}$
soit un corps.

Idéal \textbf{premier} d'un anneau $A$ = un idéal $\mathfrak{p} \neq
A$ tel que si $x,y\not\in\mathfrak{p}$ alors $xy \not\in
\mathfrak{p}$.  Propriété équivalente : c'est un idéal $\mathfrak{p}$
tel que $A/\mathfrak{p}$ soit intègre.

Idéal \textbf{radical} d'un anneau $A$ = un idéal $\mathfrak{r}$ tel
que si $x^n \in \mathfrak{r}$ alors $x \in \mathfrak{r}$.  Propriété
équivalente : c'est un idéal $\mathfrak{r}$ tel que $A/\mathfrak{r}$
soit réduit.

\smallbreak

Un anneau est un corps ssi son idéal $(0)$ est maximal.  Un anneau est
intègre ssi son idéal $(0)$ est premier.  Un anneau est réduit ssi son
idéal $(0)$ est radical.

Un anneau est dit \textbf{local} lorsqu'il a un unique idéal maximal.
(En particulier, un corps est un anneau local.)  Le quotient d'un
anneau local par son idéal maximal s'appelle son \emph{corps
  résiduel}.  \emph{Exercice :} l'anneau $A$ des rationnels de la
forme $\frac{a}{b}$ avec $a,b \in \mathbb{Z}$ et $b$ impair est un
anneau local dont l'idéal maximal $\mathfrak{m}$ est formé des
$\frac{a}{b}$ avec $a$ pair.  (Quel est le corps résiduel ?)

\smallbreak

On admet le résultat ensembliste suivant :
\begin{lem}[principe maximal de Hausdorff]
Soit $\mathscr{F}$ un ensemble de parties d'un ensemble $A$.  On
suppose que $\mathscr{F}$ est non vide et que pour toute partie non
vide $\mathscr{T}$ de $\mathscr{F}$ totalement ordonnée par
l'inclusion (c'est-à-dire telle que pour $I,I' \in \mathscr{T}$ on a
soit $I \subseteq I'$ soit $I \supseteq I'$) la réunion $\bigcup_{I
  \in \mathscr{T}} I$ soit contenue dans un élément de $\mathscr{F}$.
Alors il existe dans $\mathscr{F}$ un élément $\mathfrak{M}$ maximal
pour l'inclusion (c'est-à-dire tel que $I \subseteq \mathfrak{M}$ pour
tout $I \in \mathscr{F}$).
\end{lem}

\begin{prop}
Dans un anneau $A$, tout idéal strict (=autre que $A$) est inclus dans
un idéal maximal.
\end{prop}
\begin{proof}
Si $I$ est un idéal strict de $A$, on applique le lemme de Zorn à
$\mathscr{F}$ l'ensemble des idéaux stricts de $A$ contenant $I$.  Si
$\mathscr{T}$ est une chaîne (=partie totalement ordonnée pour
l'inclusion) de tels idéaux, la réunion $\bigcup_{I \in \mathscr{T}}
I$ en est encore un.  Le principe maximal de Hausdorff permet de
conclure.
\end{proof}

\begin{prop}
Dans un anneau, l'ensemble des éléments nilpotents est un idéal :
c'est le plus petit idéal radical.  Cet idéal est précisément
l'intersection des idéaux premiers de l'anneau.  On l'appelle le
\textbf{nilradical} de l'anneau.
\end{prop}
\begin{proof}
L'ensemble des nilpotents est un idéal car si $x^n=0$ et $y^n=0$ alors
$(x+y)^{2n}=0$ en développant.  Il est inclus dans tout idéal radical,
et il est visiblement lui-même radical : c'est donc le plus petit
idéal radical.  Étant inclus dans tout idéal radical, il est \textit{a
  fortiori} inclus dans tout idéal premier.  Reste à montrer que si
$z$ est inclus dans tout idéal premier, alors $x$ est nilpotent.

Supposons que $z$ n'est pas nilpotent.  Considérons $\mathfrak{p}$ un
idéal maximal pour l'inclusion parmi les idéaux ne contenant aucun
$z^n$ : un tel idéal existe d'après le principe maximal de Hausdorff
(il existe un idéal ne contenant aucun $z^n$, à savoir $\{0\}$).
Montrons qu'il est premier : si $x,y \not \in \mathfrak{p}$, on veut
voir que $xy \not\in \mathfrak{p}$.  Par maximalité de $\mathfrak{p}$,
chacun des idéaux $\mathfrak{p}+(x)$ et $\mathfrak{p}+(y)$ doit
rencontrer $\{z^n\}$, c'est-à-dire qu'on doit pouvoir trouver deux
éléments de la forme $f+ax$ et $g+by$ avec $f,g\in\mathfrak{p}$ et
$a,b\in A$, qui soient des puissances de $z$ ; leur produit est alors
aussi une puissance de $z$, donc n'est pas dans $\mathfrak{p}$, donc
$abxy \not\in\mathfrak{p}$ (car les trois autres termes sont
dans $\mathfrak{p}$), et a plus forte raison $xy \not\in
\mathfrak{p}$.
\end{proof}

En appliquant ce résultat à $A/I$, on obtient :
\begin{prop}
Si $A$ est un anneau et $I$ un idéal de $A$, l'ensemble des éléments
tels que $z^n \in I$ pour un certain $n \in \mathbb{N}$ est un idéal :
c'est le plus petit idéal radical contenant $I$.  Cet idéal est
précisément l'intersection des idéaux premiers de $A$ contenant $I$.
On l'appelle le \textbf{radical} de l'idéal $I$ et on le note $\surd
I$.
\end{prop}

L'intersection des idéaux maximaux d'un anneau s'appelle le
\textbf{radical de Jacobson} de cet anneau : il est, en général,
strictement plus grand que le nilradical.

%
\subsection{Modules}

Un \textbf{module} $M$ sur un anneau $A$ est un groupe abélien muni
d'une multiplication externe $A \times M \to M$ vérifiant :
\begin{itemize}
\item $a(x+y) = ax + ay$
\item $1x = x$
\item $(ab)x = a(bx)$
\item $(a+b)x = ax + bx$
\end{itemize}
(Exercice : $a0 = 0$, $a(-x) = -(ax)$, $0x = x$, $(-a)x = -(ax)$...)

Un \textbf{sous-module} $M'$ d'un module $M$ est un sous-groupe $M'$
de $M$ tel que $ax \in M'$ dès que $x\in M'$ et $a\in A$.

Tout anneau est un module sur lui-même de façon évidente.  Un
sous-$A$-module de $A$ est la même chose qu'un idéal de $A$.  Si $B$
est une $A$-algèbre, c'est-à-dire si on se donne un morphisme
d'anneaux $A \buildrel\varphi\over\to B$, on peut voir $B$ comme un
$A$-module (par $a\cdot b = \varphi(a)\,b$).

Module de type fini = il existe une famille \emph{finie} $(x_i)$
d'éléments de $M$ qui engendre $M$ comme $A$-module, c'est-à-dire que
tout $x \in M$ peut s'écrire $\sum_i a_i x_i$ pour certains $a_i \in
A$.

Module libre = il existe une base $(x_i)$, c'est-à-dire une famille
(non né\-ces\-sairement finie) telle que tout $x \in M$ peut s'écrire
$\sum_i a_i x_i$ pour certains $a_i \in A$ tous nuls sauf un nombre
fini et \emph{uniquement définis} (c'est-à-dire que $\sum_i a_i x_i =
0$ implique $a_i = 0$ pour tout $i$).

%
\subsection{Anneaux noethériens}

Anneau \textbf{noethérien} : c'est un anneau $A$ vérifiant les
proprités équivalentes suivantes :
\begin{itemize}
\item toute suite croissante pour l'inclusion $I_0 \subseteq I_1
  \subseteq I_2 \subseteq \cdots$ d'idéaux de $A$ stationne
  (c'est-à-dire est constante à partir d'un certain rang) ;
\item tout idéal $I$ de $A$ est de type fini : il existe une famille
  \emph{finie} $(x_i)$ d'éléments de $I$ qui engendre $I$ comme idéal
  (= comme $A$-module) (c'est-à-dire que tout $x \in I$ peut s'écrire
  $\sum_i a_i x_i$ pour certains $a_i \in A$) ;
\item plus précisément, si $I$ est l'idéal engendré par une famille
  $x_i$ d'éléments, on peut trouver une sous-famille finie des $x_i$
  qui engendre le même idéal $I$ ;
\item un sous-module d'un $A$-module de type fini est de type fini.
\end{itemize}

L'essentiel des anneaux utilisés en géométrie algébrique (en tout cas,
auxquels on aura affaire) sont noethériens.  L'anneau $\mathbb{Z}$ est
noethérien.  Tout corps est un anneau noethérien.  Tout quotient d'un
anneau noethérien est noethérien (attention : il n'est pas vrai qu'un
sous-anneau d'un anneau noethérien soit toujours noethérien).  Et
surtout :
\begin{prop}[théorème de la base de Hilbert]
Si $A$ est un anneau noethérien, alors l'anneau $A[t]$ des polynômes à
une indéterminée sur $A$ est noethérien.
\end{prop}
\begin{proof}
Soit $I \subseteq A[t]$ un idéal.  Supposons par l'abusrde que $I$
n'est psa de type fini.  On construit par récurrence une suite
$f_0,f_1,f_2,\ldots$ d'éléments de $I$ comme suit.  Si
$f_0,\ldots,f_{r-1}$ ont déjà été choisis, comme l'idéal
$(f_0,\ldots,f_{r-1})$ qu'ils engendrent n'est pas $I$, on peut
choisir $f_r$ de plus petit degré possible parmi les éléments de $I$
non dans $(f_0,\ldots,f_{r-1})$.

Appelons $c_i$ le coefficient dominant de $f_i$.  Comme $A$ est
supposé noethérien, il existe $m$ tel que $c_0,\ldots,c_{m-1}$
engendrent l'idéal $J$ engendré par tous les $c_i$.  Montrons qu'en
fait $f_0,\ldots,f_{m-1}$ engendrent $I$ (ce qui constitue une
contradiction).

On peut écrire $a_m = a_0 c_0 + \cdots + a_{m-1} c_{m-1}$.  Par
ailleurs, le degré de $f_m$ est supérieur ou égal au degré de chacun
de $f_0,\ldots,f_{m-1}$ par minimalité de ces derniers.  On peut donc
construire le polynôme $g = \sum_{i=0}^{m-1} a_i f_i t^{\deg f_m -
  \deg f_i}$, qui a les mêmes degré et coefficient dominant que $f_m$,
et qui appartient à $(f_0,\ldots,f_{m-1})$.  Alors, $f_m - g$ est de
degré strictement plus petit que $f_m$, il appartient à $I$ mais pas
à $(f_0,\ldots,f_{m-1})$ : ceci contredit la minimalité dans le choix
de $f_m$.
\end{proof}

En itérant ce résultat, on voit que si $A$ est noethérien, alors
$A[t_1,\ldots,t_d]$ l'est pour tout $d\in\mathbb{N}$.  Comme un
quotient d'un anneau noethérien est encore noethérien :

\begin{defn}
Une $A$-algèbre $B$ est dite \emph{de type fini} (comme $A$-algèbre)
lorsqu'il existe $x_1,\ldots,x_d \in B$ tel que tout élément de $B$
s'écrive $f(x_1,\ldots,x_d)$ pour un certain polynôme $f \in
A[t_1,\ldots,t_d]$.
\end{defn}

\danger\textbf{Attention :} Cela ne signifie pas que $B$ soit de type
fini comme $A$-module.  Lorsque c'est le cas, on dit que $B$ est une
$A$-algèbre \emph{finie}, ce qui est plus fort car cela signifie que
$f$ serait de degré $1$.  (Par exemple, $k[t]$ est une $k$-algèbre de
type fini, mais pas finie.)

\begin{cor}
Une algèbre de type fini sur un anneau noethérien, et en particulier
sur un corps ou sur $\mathbb{Z}$, est un anneau noethérien.
\end{cor}

%
\subsection{Notes sur les morphismes}

Si $A,B$ sont deux $k$-algèbres (où $k$ est un anneau), c'est-à-dire
qu'on se donne deux morphismes $\varphi_A \colon k\to A$ et $\varphi_B
\colon k\to B$, on note $\Hom_k(A,B)$ l'ensemble des morphismes de
$k$-algèbres $A\to B$, c'est-à-dire l'ensemble des morphismes
d'anneaux $A\buildrel\psi\over\to B$ « au-dessus de $k$ », ou faisant
commuter le diagramme :
\begin{center}
\begin{tikzpicture}[auto]
\matrix(diag)[matrix of math nodes,column sep=2.5em,row sep=5ex]{
A&&B\\&k&\\};
\draw[->] (diag-2-2) -- node{$\varphi_A$} (diag-1-1);
\draw[->] (diag-2-2) -- node[swap]{$\varphi_B$} (diag-1-3);
\draw[->] (diag-1-1) -- node{$\psi$} (diag-1-3);
\end{tikzpicture}
\end{center}

Remarque : une $\mathbb{Z}$-algèbre est la même chose qu'un anneau, et
un morphisme de $\mathbb{Z}$-algèbres qu'un morphisme d'anneaux.

\begin{prop}
\begin{itemize}
\item $\Hom_k(k,A)$ est un singleton pour toute $k$-algèbre $A$.
\item $\Hom_k(k[t],A)$ est en bijection avec $A$ en envoyant
  $\psi\colon k[t]\to A$ sur $\psi(t)$.
\item De même, $\Hom_k(k[t_1,\ldots,t_d],A)$ est en bijection avec
  l'ensemble $A^d$ (en envoyant $\psi$ sur
  $(\psi(t_1),\ldots,\psi(t_d))$).
\item Si $I$ est un idéal de $R$, alors $\Hom_k(R/I, A)$ est en
  bijection avec le sous-ensemble de $\Hom_k(R,A)$ formé des
  $\psi\colon R\to A$ qui s'annulent sur $I$ (la bijection envoyant
  $\hat\psi \colon R/I \to A$ sur $\psi \colon R\to A$ composé de
  $\hat\psi$ avec la surjection canonique $R \to R/I$).
\item (En particulier,) si $I = (f_1,\ldots,f_r)$ est un idéal de
  $k[t_1,\ldots,t_d]$ et si $R = k[t_1,\ldots,t_d]/I$, alors
  $\Hom_k(R, A)$ est en bijection avec l'ensemble $\{(x_1,\ldots,x_d)
  \in A^d :\penalty0 (\forall j)\,f_j(x_1,\ldots,x_d) = 0\}$ (noté
  $V(I)(A)$ ou $V_A(I)$).
\end{itemize}
\end{prop}

À titre d'exemple, dans l'introduction on avait posé $C(T) =
\{(x,y)\in T^2 : x^2+y^2 = 1\}$ pour tout anneau $T$.  Un élément de
$C(T)$ peut donc se voir comme un morphisme
$\mathbb{Z}[x,y]/(x^2+y^2-1) \to T$.

\textbf{Exercice :} Si on note $k[x,x^{-1}] = k[x,y]/(xy-1)$, à quoi
peut-on identifier l'ensemble $\Hom_k(k[x,x^{-1}], A)$ ?

\smallbreak

Si $\beta\colon B \to B'$, on définit une application
$\Hom_k(A,\beta)\colon \Hom_k(A,B) \to \Hom_k(A,B')$ par $\psi \mapsto
\beta\circ\psi$ ; si $\alpha \colon A' \to A$ (attention au sens de la
flèche !), on définit de même une application $\Hom_k(\alpha,B) \colon
\Hom_k(A,B) \to \Hom_k(A',B)$ par $\psi \mapsto \psi\circ\alpha$.  Ces
applications $\Hom_k(A,\beta)$ et $\Hom_k(\alpha,B)$ commutent au sens
où $\Hom_k(\alpha,B') \circ \Hom_k(A,\beta) = \Hom_k(A',\beta) \circ
\Hom_k(\alpha,B) \penalty0\colon \Hom_k(A,B) \to \Hom_k(A',B')$ (c'est
trivial : composer $\psi$ à droite par $\alpha$ puis à gauche
par $\beta$ revient à le composer à gauche par $\beta$ puis à droite
par $\alpha$).  De façon à peine moins triviale :

\begin{prop}[lemme de Yoneda]
Soient $B,B'$ deux $k$-algèbres.  On suppose que pour toute
$k$-algèbre $A$ on se donne une application $\beta_A\colon \Hom_k(A,B)
\to \Hom_k(A,B')$ telle que si $\alpha\colon A'\to A$ alors
$\Hom_k(\alpha,B') \circ \beta_A = \beta_{A'} \circ \Hom_k(\alpha,B)$.
Alors il existe un unique morphisme $\beta\colon B \to B'$ de
$k$-algèbres tel que $\beta_A = \Hom_k(A,\beta)$ pour tout $A$.
\end{prop}
\begin{proof}
Prendre pour $\beta$ l'image de l'identité $\id_B$ par $\beta_B$ !
\end{proof}

%
\subsection{Localisation}

On dit qu'une partie $S$ d'un anneau $A$ est \emph{multiplicative}
lorsque $1\in S$ et $s,s'\in S \limp ss'\in S$.  Par exemple, le
complémentaire d'un idéal premier est, par définition,
multiplicative ; en particulier, dans un anneau intègre, l'ensemble
des éléments non nuls est une partie multiplicative.

Dans ces conditions, on construit un anneau noté $A[S^{-1}]$ (ou
$S^{-1}A$) de la façon suivante : ses éléments sont notés $a/s$ avec
$a\in A$ et $s \in S$, où on identifie $a/s = a'/s'$ lorsqu'il existe
$t \in S$ tel que $t(a's-as') = 0$.  L'addition est définie par
$(a/s)+(a'/s') = (a's+as')/(ss')$ (le zéro par $0/1$, l'opposé par
$-(a/s) = (-a)/s$) et la multiplication par $(a/s)\cdot (a'/s') =
(aa')/(ss')$ (l'unité par $1/1$).  Cet anneau est muni d'un morphisme
naturel $A \buildrel\iota\over\to A[S^{-1}]$ donné par $a \mapsto
a/1$.  On l'appelle le \textbf{localisé} de $A$ inversant la partie
multiplicative $S$.  Si $A$ est une $k$-algèbre (pour un certain
anneau $k$) alors $A[S^{-1}]$ est une $k$-algèbre de façon évidente
(en composant le morphisme structural $k\to A$ par le morphisme
naturel $A \to A[S^{-1}]$).

\begin{prop}
\begin{itemize}
\item Le morphisme naturel $A \buildrel\iota\over\to A[S^{-1}]$ est
  injectif si et seulement si $S$ ne contient aucun diviseur de zéro.
  (Extrême inverse : si $S$ contient $0$, alors $A[S^{-1}]$ est
  l'anneau nul.)
\item Tout idéal $J$ de $A[S^{-1}]$ est de la forme $J = I[S^{-1}] :=
  \{a/s : a\in I,\penalty0 s \in S\}$ où $I$ est l'image réciproque
  dans $A$ (par le morphisme naturel $\iota\colon A \to A[S^{-1}]$) de
  l'idéal $J$ considéré.  Autrement dit, $J \mapsto \iota^{-1}(J)$
  définit une injection des idéaux de $A[S^{-1}]$ dans ceux de $A$.
\item Un idéal $I$ de $A$ est de la forme $\iota^{-1}(J)$ pour un
  idéal $J$ de $A[S^{-1}]$ (nécessairement $J = I[S^{-1}]$ d'après le
  point précédent) ssi aucun élément de $S$ n'est diviseur de zéro
  dans $A/I$.
\item En particulier, $\mathfrak{p} \mapsto \iota^{-1}(\mathfrak{p})$
  définit une bijection entre les idéaux premiers de $A[S^{-1}]$ et
  ceux de $A$ ne rencontrant pas $S$.
\item Si $A$ est une $k$-algèbre, $\Hom_k(A[S^{-1}],B)$ s'identifie,
  via $\Hom_k(\iota,B)\colon \Hom_k(A[S^{-1}],B) \to \Hom_k(A,B)$, au
  sous-ensemble de $\Hom_k(A,B)$ formé des morphismes $\psi\colon A\to
  B$ tels que $\psi(s)$ soit inversible pour tout $s\in S$.
\end{itemize}
\end{prop}

Cas particuliers importants : si $\mathfrak{p}$ est premier et $S =
A\setminus\mathfrak{p}$ est son complémentaire, on note
$A_{\mathfrak{p}} = A[S^{-1}]$ ; c'est un anneau local (dont l'idéal
maximal est $\mathfrak{p}[S^{-1}] = \{a/s : a\in \mathfrak{p}, s
\not\in \mathfrak{p}\}$) : on l'appelle le localisé de $A$
\textbf{en} $\mathfrak{p}$.  Si $A$ est un anneau intègre et $S = A
\setminus\{0\}$ l'ensemble des éléments non nuls de $A$, on note
$\Frac(A) = A[S^{-1}]$ : c'est un corps, appelé \textbf{corps des
  fractions} de $A$.  Par exemple, $\Frac(\mathbb{Z}) = \mathbb{Q}$ et
$\Frac(k[t]) = k(t)$ pour $k$ un corps.

Toute partie $\Sigma$ de $A$ engendre une partie multiplicative $S$
(c'est l'intersection de toutes les parties multiplicatives
contenant $\Sigma$, ou simplement l'ensemble de tous les produits
possibles d'éléments de $\Sigma$) : on note généralement
$A[\Sigma^{-1}]$ pour $A[S^{-1}]$.  En particulier, lorsque $\Sigma$
est le singleton d'un élément $\sigma$, on note $A[\sigma^{-1}]$ ou
$A[\frac{1}{\sigma}]$.


%
%
%

\section{TODO}

Crash-course de théorie de Galois.

Géométrie algébrique affine facile (idéaux de $k[x_1,\ldots,x_n]$ avec
$k$ alg\textsuperscript{t} clos, Nullsellensatz).

Introduction à l'espace projectif.

Un peu d'abstract nonsense.

Bases de Gröbner.

Courbes et corps de dimension $1$.


%
%
%
\end{document}