16.08.2013 Views

CLˆOTURE INTÉGRALE DES IDÉAUX ETÉQUISINGULARITÉ

CLˆOTURE INTÉGRALE DES IDÉAUX ETÉQUISINGULARITÉ

CLˆOTURE INTÉGRALE DES IDÉAUX ETÉQUISINGULARITÉ

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.

0.1.10. — De même si J est un idéal de A, on pose :<br />

On a évidemment<br />

νI(J) = {sup n : n ∈ N, J ⊂ I n } .<br />

νI(J) = inf<br />

x∈J νI(x)<br />

et si (x1, . . .,xn) est un système de générateurs de J<br />

νI(J) = inf<br />

i=1···n νI(xi) .<br />

0.2. Une autre fonction d’ordre ¯ν. Quelques propriétés générales.<br />

Revenons à l’exemple 0.1.9. A étant un anneau et I un idéal de A, gr I A a<br />

en général des éléments nilpotents. Ceci vient du fait qu’on peut très bien avoir<br />

νI(x k ) > kνI(x) avec k entier positif. Par exemple si A = C{x, y}/x 2 − y 3 et si<br />

I = (x, y), on a<br />

et<br />

gr I A = C[X, Y ]/X 2<br />

νI(x 2 ) = 3 > 2νI(x) = 2 .<br />

0.2.1. Lemme. — Soient A un anneau, I un idéal de A ne contenant pas<br />

1. Soit J un idéal de A. La suite<br />

est convergente dans R0.<br />

uk = νI(J k )<br />

, k ∈ N<br />

k<br />

Démonstration. — Soit ū(resp.u) la limite supérieure (resp. inférieure) de<br />

la suite uk. Il s’agit de montrer que u = ū. Si u = ∞ ou ū = 0, c’est clair. Nous<br />

supposerons donc u fini et ū > 0. Par définition,<br />

∗ ∀ε > 0, ∀i ∈ N, ∃j ≥ i : uj ≤ u + ε<br />

∗∗ ∀ε > 0, ∀i ∈ N, ∃j ≥ i : uj ≥ ū − ε (si ū < ∞)<br />

∗ ∗ ∗ ∀N ∈ N, ∀i ∈ N, ∃j ≥ i : uj ≥ N (si ū = ∞) .<br />

Fixons un ε > 0 (et si ū = ∞ un N) et choisissons un indice i assez<br />

grand pour que 1 ε ε<br />

i < ū−ε (resp. N ). D’après ** (resp. ***) il existe j ≥ i tel que<br />

uj > ū − ε(resp.N) et d’après *, il existe k ≥ ji tel que uk < u + ε.<br />

Divisons k par j, k = jℓ + q où q < j. On a alors<br />

u + ε > νI(J jℓ+q )<br />

jℓ + q ≥ ℓνI(J j )<br />

ℓj + q = νI(J j )<br />

(1 −<br />

j<br />

q<br />

1<br />

) ≥ (ū − ε)(1 − ) ≥ ū − 2ε<br />

k i<br />

<br />

1 resp.N(1 − i ) ≥ N − ε .<br />

7

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

Saved successfully!

Ooh no, something went wrong!