diff options
Diffstat (limited to 'notes-accq205.tex')
| -rw-r--r-- | notes-accq205.tex | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/notes-accq205.tex b/notes-accq205.tex index 72f1c3a..1659922 100644 --- a/notes-accq205.tex +++ b/notes-accq205.tex @@ -178,9 +178,11 @@ premier mais non maximal puisque $k[x,y]/(y) \cong k[x]$, tandis que l'idéal $(x,y)$ (des polynômes s'annulant à l'origine) est maximal puisque $k[x,y]/(x,y) \cong k$. -Plus généralement, dans un anneau factoriel $A$, tout idéal de la -forme $(f)$ avec $f \in A$ irréductible, est premier (mais ce ne sont, -en général, pas les seuls). +Plus généralement, dans un anneau factoriel $A$, un idéal de la forme +$(f)$ avec $f \in A$, est premier si et seulement si $f$ est nul ou +irréductible (mais ce ne sont, en général, pas les seuls idéaux +premiers de $A$) ; comparer avec \ref{gauss-lemma-on-irreducibility} +plus bas. \bigbreak @@ -2751,6 +2753,10 @@ fonctions régulières (i.e., polynomiales) sur $C_P$ dont le dénominateur n'est pas identiquement nul sur $C_P$ : il est donc raisonnable d'appeler ce corps « corps des fonctions sur $C_P$ ». +L'extension de corps $k(x) \subseteq k(C)$ (quand on voit $k(C)$ comme +$k(x)[y]/(P)$) correspondra à la projection $C \to \mathbb{P}^1$ sur +la première coordonnée. + \thingy La proposition \ref{separating-transcendence-basis-over-perfect-field} montre que, au moins si $k$ est un corps parfait, on peut toujours se |