Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
266 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

Anneaux Noetheriens 2

Envoyé par Gyom 
Anneaux Noetheriens 2
il y a douze années
Comment prouver que:
" Si A est un anneau noetherien Alors l'anneau des polynomes A[X] est noetherien"
Merci d'avance.
G
bosio frederic
Re: Anneaux Noetheriens 2
il y a douze années
Tu te donnes une suite croissante U_n d'ideaux de A[X] et tu construis alors une suite d'ideaux de A a deux indices I_n,k te donnant les coefficients dominants des polynomes de degre au plus k de U_n. Cette suite double est croissante a la fois par rapport a n et a k. Elle stationne donc par rapport a n pour tout k et on pose I_k la limite en n des I_n,k. Puis, la suite I_k stationne a I et alors il existe k_0 tel que I_{k_0} = I. Il existe alors n_0 pour lequel I_{n_0,0} = I_0 ... I_n_0,k_0 = I_{k_0}. Et pour tous les k plus grand, par stationnement, I_n_0,k est aussi egal a I_k.

Alors, la suite U_n stationne a U_{n_0}, car on montre facilement (en tout cas pas difficilement) par recurrence sur k que les deux ideaux ont le memes polynomes de degre au plus k (j'ai un peu la flemme de faire cette recurrence).

Mais tout ceci est tres classique et tu dois le trouver dans tout bon cours d'algebre.
Re: Anneaux Noetheriens 2
il y a douze années
Thanks a lot frederic.
G
Re: Anneaux Noetheriens 2
il y a douze années
Tu te donnes une suite croissante $U_n$ d'ideaux de $A[X]$ et tu construis alors une suite d'ideaux de A a deux indices $I_{n,k}$ te donnant les coefficients dominants des polynomes de degre au plus $k$ de $U_n$. Cette suite double est croissante a la fois par rapport à $n$ et a $k$. Elle stationne donc par rapport a $n$ pour tout $k$ et on pose $I_k$ la limite en $n$ des $I_{n,k}$. Puis, la suite $I_k$ stationne a $I$ et alors il existe $k_0$ tel que $I_{k_0} = I$. Il existe alors $n_0$ pour lequel $I_{n_0,0} = I_0 ... I_{n_0,k_0} = I_{k_0}$. Et pour tous les k plus grand, par stationnement, $I_{n_0,k}$ est aussi egal a $I_k$.

Alors, la suite $U_n$ stationne a $U_{n_0}$, car on montre facilement (en tout cas pas difficilement) par recurrence sur k que les deux ideaux ont le memes polynomes de degre au plus k (j'ai un peu la flemme de faire cette recurrence).

Ci-dessus copié-collé du msg de (Frederic) le 1er post, avec case latex cochée... Je comprends pourquoi les modérateurs n'avaient pas juste fait un "case latex;)", j'ai galéré à mettre les dollars...


{\it Mais tout ceci est tres classique et tu dois le trouver dans tout bon cours d'algebre}

Bah justement: tous ces beaux et abstraits résultats d'algèbre commutative ne se trouvent hélas pas si facilement regroupés quelque part. Chacun se trouve dans son thème, mais dans l'ensemble il manque une référence qui les contient tous! (Anatole m'a parlé d'un livre de "Quérré") mais il est épuisé...
Re: Anneaux Noetheriens 2
il y a douze années
avatar
Citation
CC
Bah justement: tous ces beaux et abstraits résultats d'algèbre commutative ne se trouvent hélas pas si facilement regroupés quelque part.

Il me semble que tu pourras trouver une bonne partie d'entre eux dans Eléments d'algèbre commutative de Joël Briançon et Philippe Maisonobe.
Re: Anneaux Noetheriens 2
il y a douze années
Merci pour cette référence
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 140 808, Messages: 1 377 707, Utilisateurs: 25 676.
Notre dernier utilisateur inscrit Ruriii.


Ce forum
Discussions: 17 938, Messages: 176 167.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page