From bcdf79156943fa551a55189f8790c8b6b37216f2 Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Wed, 16 Mar 2016 17:44:22 +0100 Subject: Two small additions/clarifications. --- notes-accq205.tex | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/notes-accq205.tex b/notes-accq205.tex index d236478..806fdf0 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 @@ -2733,6 +2735,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 -- cgit v1.2.3