• Aucun résultat trouvé

Topologie de Zariski

N/A
N/A
Protected

Academic year: 2022

Partager "Topologie de Zariski"

Copied!
2
0
0

Texte intégral

(1)

Alg`ebre 2 – TD8 2010-2011

Topologie de Zariski

Exercice no 1 Soit k un corps. La topologie de Zariski sur kn est la topologie induite par la topologie de Zariski deSpec(k[X1, . . . , Xn]) via l’inclusion canonique kn⊂Spec(k[X1, . . . , Xn]). Montrer que sik est infini, la topologie de Zariski surk2 n’est pas la topologie produit sur k×k o`uk est muni de la topologie de Zariski.

Exercice no 2 Parmi les sous-vari´et´es suivantes deC2, d´eterminer lesquelles sont irr´eductibles, et pr´eciser leurs composantes irr´eductibles :

V(Y2−X), V(XY), V(X2+Y2), V(Y2 −X3 −X).

Exercice no 3

1. Soit u:A →B un morphisme d’anneaux. Montrer que l’image inverse par u induit une application continue

u :Spec(B)→Spec(A).

2. Soit I un id´eal de l’anneau A et soit p : A A/I la projection canonique.

Montrer quep:Spec(A/I)→Spec(A) induit un isomorphisme deSpec(A/I) sur le ferm´e V(I) de Spec(A).

3. Montrer que Spec(Ared) est canoniquement hom´eomorphe `aSpec(A).

ecomposition primaire, id´ eaux associ´ es

Exercice no 4 SoitAun anneau noeth´erien etI un id´eal irr´eductible deA. Soient a, b A tels que ab I mais a /∈ I et b /∈

I. Montrer que pour n suffisamment grand, on a

I = (I+ (bn))(I :bn).

Exercice no 5

1. Quels sont les id´eaux primaires de Z?

2. SoitK un corps et soitAl’anneau K[X, Y, Z]/(XY −Z2). Montrer que l’id´eal deAengendr´e par les classes de X etZ est premier, mais que son carr´e n’est pas primaire.

3. Dans l’anneau Z[X], montrer que l’id´eal engendr´e par 4 et X est primaire mais n’est pas une puissance d’un id´eal premier. Quel est son radical ?

Exercice no 6

1. Soit A un anneau. Montrer que les id´eaux premiers minimaux de A sont des id´eaux premiers associ´es (`a l’id´eal nul). Montrer qu’il peut y en avoir d’autres.

On pourra penser `a la d´ecomposition primaire de (XY, X2).

2. Si A est r´eduit, montrer que les id´eaux premiers associ´es (`a l’id´eal nul) sont exactement les id´eaux premiers minimaux de A.

(2)

Alg`ebre 2 – TD8 2010-2011

Exercice no 7 SoitKun corps. Dans l’anneauK[X, Y, Z], trouver une d´ecomposition primaire de l’id´eal (XY, Y Z, ZX).

Exercice no 8 (D´ecomposition primaire des id´eaux monomiaux) Soit K un corps, et soit R l’anneau de polynˆomes k[X1, . . . , Xn]. On dit qu’un id´eal de R est monomial s’il est engendr´e par des monˆomes en lesXi. SoitI un id´eal monomial deR.

1. Si x∈I, montrer que les monˆomes apparaissant dans x sont dans I.

2. Montrer qu’il existe un unique ensemble minimal Sde monˆomes qui engendre I.

3. Montrer que le radical de I est monomial, qu’un monˆome Xi1. . . Xir est dans I si et seulement si il existe des entiers strictement positifs a1, . . . , ar tels queXia11. . . Xiarr ∈S, et que les tels monˆomes engendrent le radical de I.

4. Soit i un entier entre 1 et n. Montrer que l’on a l’´egalit´e

Xi = ∑

mS

((m) : (Xi))

et calculer ((m) : (Xi)) quandm est un monˆome quelconque.

5. Montrer que tout id´eal premier associ´e `a I est monomial.

6. Montrer que I est primaire si et seulement si pour tout Xi, si Xi divise un

´el´ement de S, alors Xi ∈√

I. On pourra d’abord montrer que le radical deI est premier.

7. D´ecrire un algorithme qui donne la d´ecomposition primaire d’un id´eal mo- nomial et l’appliquer `a (X2, XY) dansK[X, Y]. On pourra utiliser l’exercice 4.

Références

Documents relatifs

[r]

Montrer que R[x] n’est jamais un corps, et d´ eterminer ses ´ el´ ements

Montrer que R[x] n’est jamais un corps, et d´ eterminer ses ´ el´ ements

Montrer que (A) est l’intersection de tous les id´ eaux de R qui

D´ eterminer si les id´ eaux des exercices 6–18 du TD5 sont premiers et/ou

Montrer que Z [x] n’est pas un anneau principal de 3 fa¸ cons : trouver un id´ eal qui n’est pas principal, trouver un id´ eal premier qui n’est pas maximal et trouver

Utiliser la propri´ et´ e de factorisation en produit d’´ el´ ements irr´ eductibles pour d´ emontrer les r´ esultats

Dans les questions suivantes, on fixe un anneau int`