• Aucun résultat trouvé

Feuille 10, Algèbre commutative

N/A
N/A
Protected

Academic year: 2022

Partager "Feuille 10, Algèbre commutative"

Copied!
1
0
0

Texte intégral

(1)

Feuille 10,

Algèbre commutative

N. Perrin

1 À rendre le 09.04.2018 Correction le 17.04.2018

Definition 1 SoitS⊂k[x1,· · ·, xn]un sous-ensemble. On définit

V(S) ={a= (a1,· · · , an)∈kn |P(a1,· · ·, an) = 0pour toutP ∈S}.

Un tel ensemble est appelésous-ensemble algébrique dekn défini par S.

Definition 2 SoitT ⊂kn un sous-ensemble. On définit

I(T) ={P ∈k[x1,· · ·, xn]|P(a1,· · ·, an) = 0pour touta= (a1,· · ·, an)∈T}.

Un tel ensemble est appelél’idéal associé àT.

Exercice 1 (20 Points) Montrer queI(T)est bien un idéal dek[x1,· · · , xn].

Exercice 2 (20 Points) L’ensemble V = {(t,sint) ∈ A2(R) | t ∈ R} est-il algébrique ?

Exercice 3 (2×10 = 20 Points) SoitV =A2(R)\ {(0,0)}.

1. DéterminerI(V)etV(I(V)).

2. L’ensembleV est-il algébrique ?

Exercice 4 (5×4 = 20 Points) SoitT ⊂kn etS⊂k[x1,· · · , xn]etI= (S) l’idéal engendré parS.

1. Montrer queV(S) =V(I).

2. Montrer queT ⊂V(I(T)).

3. Montrer queI⊂I(V(I)).

4. Montrer queI(V) =I(V(I(V))).

5. Montrer queV(I) =V(I(V(I))).

Exercice 5 (2×10 = 20 Points) SoientI= (X2+Y2, XY3)etJ = (X2, Y3).

1. DéterminerV(I)etV(J).

2. DéterminerI(V(I))et I(V(J)).

1

Références

Documents relatifs

Comme dans le cas de deux matrices, après avoir établi le résultat pour les bonnes matrices (ici les matrices fractales dont le bloc directeur est cyclique) nous allons, à partir

Exercice 4 Soit E un ensemble non vide muni d’une loi de composition interne associative et qui admet un élément neutre

Corollaire Soit A un anneau local d’idéal maximal m et soit M un A-module de type fini... Ainsi, s’il existe, le produit tensoriel est unique à

[r]

Algèbre

Algèbre

que L est un corps à quatre éléments, et écrire ses tables d’addition et de multiplication. Vérifier que L est isomorphe au corps construit dans

4. Soit A un anneau principal. Alors tout idéal non nul A est libre de rang 1. Libre n’implique pas une base : {2} est une famille libre du Z -module Z mais n’est pas une base.