05.06.2013 Views

Introduction - index

Introduction - index

Introduction - index

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

242 Memento d'algebre<br />

Lorsque n est egal a 1 n'importe quel element de L — K est une base de<br />

transcendance.<br />

3) Si A = K[X,Y]/(F) avec F non constant en Y et si L = Fr(A),<br />

on voit aisement que si x est 1'image de X dans A, {x} est une base de<br />

transcendance de L sur K.<br />

c. A utres resultats<br />

On a un certain nombre de resultats analogues au cas lineaire.<br />

Theoreme de la base incomplete. Si x\,... ,xn est une partie libre<br />

de L sur K on peut la completer en une base de transcendance. On a<br />

done n < ##(£).<br />

Inversement si.x\,... xn est generatrice (au sens ci-dessus : L est algebrique<br />

sur K(x\^..., xn), a fortiori si L est egal a K(x\,..., xn)) on peut<br />

en extraire une base de transcendance. On a done n > d#(L).<br />

Bien entendu, dans les deux cas, 1'egalite ne peut intervenir que si les<br />

parties sont a la fois libres et generatrices.<br />

Si on a trois corps K C L C M, on a d/r(M) = dK(L} + di(M)<br />

(prendre la reunion des bases de transcendance).<br />

4. Quelques exercices d'algebre<br />

4.1. Exercices sur les ideaux premiers<br />

a) Soit A un anneau et soit p un ideal premier de A. On suppose que<br />

p contient le produit I\ In de n ideaux. Montrer que p contient 1'un<br />

des Ik.<br />

b) (Lemme d'evitement des ideaux premiers.)<br />

Soient A un anneau, / un ideal. On suppose que / est contenu dans la<br />

reunion piU- -Upn de n ideaux premiers de A. Montrer que / est contenu<br />

dans 1'un des pfc. (Raisonner par 1'absurde en supposant n minimal et<br />

considerer un element bien choisi de la forme ai 4- a2 an.)<br />

4.2. Nilradical et ideaux premiers<br />

Soient A un anneau et N son nilradical (cf. 2.d).<br />

a) Montrer que TV est un ideal et qu'il est contenu dans 1'intersection<br />

/ de tous les ideaux premiers de A.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!