diff options
author | David A. Madore <david+git@madore.org> | 2016-02-09 19:25:42 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2016-02-09 19:25:42 +0100 |
commit | 5bca1233532b3f21f249113b9bfe8eea42c4554e (patch) | |
tree | bca35704a2ef1afaa66767ff705248a1ef232340 /notes-accq205.tex | |
parent | 4a017697736249c3040713da63f6ae1a80c675ba (diff) | |
download | accq205-5bca1233532b3f21f249113b9bfe8eea42c4554e.tar.gz accq205-5bca1233532b3f21f249113b9bfe8eea42c4554e.tar.bz2 accq205-5bca1233532b3f21f249113b9bfe8eea42c4554e.zip |
Recall what an integral domain is, and whatnot.
Diffstat (limited to 'notes-accq205.tex')
-rw-r--r-- | notes-accq205.tex | 92 |
1 files changed, 79 insertions, 13 deletions
diff --git a/notes-accq205.tex b/notes-accq205.tex index 4471a5d..fb1ac06 100644 --- a/notes-accq205.tex +++ b/notes-accq205.tex @@ -32,11 +32,8 @@ \newtheorem{scho}[comcnt]{Scholie} \renewcommand{\qedsymbol}{\smiley} % -\newcommand{\outnb}{\operatorname{outnb}} -\newcommand{\downstr}{\operatorname{downstr}} -\newcommand{\mex}{\operatorname{mex}} \newcommand{\id}{\operatorname{id}} -\newcommand{\limp}{\Longrightarrow} +\newcommand{\Frac}{\operatorname{Frac}} % \DeclareUnicodeCharacter{00A0}{~} % @@ -76,17 +73,86 @@ Git: \input{vcline.tex} \section{Corps et extensions de corps} +\subsection{Anneaux intègres, corps, idéaux premiers et maximaux} + +\thingy Un élément $a$ d'un anneau $A$ (sous-entendu : commutatif) est +dit \textbf{régulier}, resp. \textbf{inversible}, lorsque $x \mapsto +ax$ est injectif, resp. bijectif, autrement dit lorsque $ax = 0$ +implique $x = 0$ (la réciproque est toujours vraie), resp. lorsqu'il +existe $x$ (appelé inverse de $a$) tel que $ax = 1$. + +Un anneau dans $A$ dans lequel l'ensemble des éléments régulier est +égal à l'ensemble $A \setminus \{0\}$ des éléments non-nuls est appelé +anneau \textbf{intègre} : autrement dit, un anneau intègre est un +anneau dans lequel ($0\neq 1$ et) $ab = 0$ implique $a=0$ ou $b=0$ (la +réciproque est toujours vraie). + +Un idéal $\mathfrak{p}$ d'un anneau $A$ est dit \textbf{premier} +lorsque l'anneau quotient $A/\mathfrak{p}$ est un anneau intègre, +autrement dit lorsque $\mathfrak{p}\neq A$ et que $ab \in +\mathfrak{p}$ implique $a \in \mathfrak{p}$ ou $b \in \mathfrak{p}$ +(la réciproque est toujours vraie). + +\thingy Dans un anneau (toujours sous-entendu commutatif...), +l'ensemble noté $A^\times$ des éléments inversibles est un groupe, +aussi appelé groupe des \textbf{unités} de $A$. + +Un \textbf{corps} est un anneau $k$ dans lequel l'ensemble $k^\times$ +des éléments inversibles est égal à l'ensemble $k\setminus\{0\}$ des +éléments non-nuls : autrement dit, un corps est un anneau dans lequel +($0\neq 1$ et) tout élément non-nul est inversible. De façon +équivalente, un corps est un anneau ayant exactement deux idéaux (qui +sont alors $0$ et lui-même). Un corps est, en particulier, un anneau +intègre. + +Un idéal $\mathfrak{m}$ d'un anneau $A$ est dit \textbf{maximal} +lorsque l'anneau quotient $A/\mathfrak{m}$ est un corps : de façon +équivalente, lorsque $\mathfrak{m}\neq A$ et que $\mathfrak{m}$ est +maximal pour l'inclusion parmi les idéaux $\neq A$. Un idéal maximal +est, en particulier, premier. + +\thingy À titre d'exemple, l'idéal $n\mathbb{Z}$ de $\mathbb{Z}$ (on +rappelle que tous les idéaux de $\mathbb{Z}$ sont de cette forme, pour +un $n \in \mathbb{N}$ défini de façon unique) est premier si et +seulement si $n = 0$ (le quotient étant $\mathbb{Z}$ lui-même) ou bien +$n$ est un nombre premier ; il est intègre exactement si $n$ est un +nombre premier (le quotient étant alors le corps +$\mathbb{Z}/n\mathbb{Z}$). + +\thingy Si $A$ est un anneau intègre, on définit un corps $\Frac(A)$, +dit \textbf{corps des fractions} de $A$, dont les éléments sont les +symboles formels $\frac{a}{q}$ avec $a \in A$ et $q \in A +\setminus\{0\}$, en convenant d'identifier $\frac{a}{q}$ avec +$\frac{a'}{q'}$ lorsque $aq' = a'q$ (i.e., formellement, $\Frac(A)$ +est le quotient de $A \times (A\setminus\{0\})$ par la relation +d'équivalence qu'on vient de dire) ; la structure d'anneau est définie +par $\frac{a}{q} + \frac{a'}{q'} = \frac{aq'+a'q}{qq'}$ et +$\frac{a}{q} \cdot \frac{a'}{q'} = \frac{aa'}{qq'}$. À titre +d'exemple, $\Frac(\mathbb{Z})$ est $\mathbb{Q}$ (c'est même la +définition de ce dernier). + +Le corps des fractions d'un anneau intègre $A$ vérifie la propriété +« universelle » suivante : si $K$ est un corps quelconque, et +$\varphi\colon A \to K$ un morphisme d'anneaux injectif, il existe un +unique morphisme de corps $\hat\varphi\colon \Frac(A) \to K$ (i.e., +extension de corps, cf. ci-dessous) qui prolonge $\varphi$ (i.e., +$\hat\varphi(a) = \varphi(a)$ si $a\in A$). En effet, il suffit de +définir $\hat\varphi(\frac{a}{q})$ par $\varphi(a)/\varphi(q)$. + +\thingy Le corps des fractions de l'anneau $k[t_1,\ldots,t_n]$ des +polynômes en $n$ indéterminées $t_1,\ldots,t_n$ sur un corps $k$ est +appelé corps des \textbf{fractions rationnelles} (ou parfois +« fonctions rationnelles ») en $n$ indéterminées $t_1,\ldots,t_n$ +sur $k$, et noté $k(t_1,\ldots,t_n)$. + \subsection{Extensions algébriques et degré} -\thingy On rappelle qu'un \textbf{corps} est un anneau (sous-entendu : -commutatif) $k$ dans lequel l'ensemble $k^\times$ des éléments -inversibles est l'ensemble $k\setminus\{0\}$ des éléments non-nuls. -Une \textbf{extension de corps} est un morphisme d'anneaux $k \to K$ -entre corps, qui est automatiquement injectif (car son noyau est un -idéal d'un corps qui ne contient pas $1$), et qui peut donc être -considéré comme une inclusion : on notera soit $k \subseteq K$ soit -$K/k$ une telle extension ; lorsque l'inclusion a été fixée, on dit -aussi que $k$ est un sous-corps de $K$. +\thingy Une \textbf{extension de corps} est un morphisme d'anneaux $k +\to K$ entre corps, qui est automatiquement injectif (car son noyau +est un idéal d'un corps qui ne contient pas $1$), et qui peut donc +être considéré comme une inclusion : on notera soit $k \subseteq K$ +soit $K/k$ une telle extension ; lorsque l'inclusion a été fixée, on +dit aussi que $k$ est un sous-corps de $K$. \thingy Si $k \subseteq K$ est une extension de corps et $x\in K$, on note $k(x)$ l'extension de $k$ engendrée par $x$, c'est-à-dire le plus |