Anneau de polynômes à plusieurs variables

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
zwijndrecht
Membre Naturel
Messages: 74
Enregistré le: 29 Oct 2020, 14:13

Anneau de polynômes à plusieurs variables

par zwijndrecht » 21 Nov 2020, 13:27

Bonjour,

Soit un corps et soit .
Soit un ensemble non vide de monômes de (ordonnés selon un ordre monomial , par exemple, l'ordre lexicographique).
Je dois montrer que les deux assertions suivantes sont équivalentes :
a admet un nombre fini d'éléments minimaux pour la division (i.e. d'élements tels que si , alors, ).
Il existe un ensemble fini d'élements de tels que pour tout , il existe tel que .

J'ai réussi à montrer le sens , mais je ne parviens pas à montrer ...

Merci d'avance pour votre aide :)



GaBuZoMeu
Habitué(e)
Messages: 6016
Enregistré le: 05 Mai 2019, 11:07

Re: Anneau de polynômes à plusieurs variables

par GaBuZoMeu » 21 Nov 2020, 16:38

Bonjour,

Tu écris les choses comme si S était une chaîne infinie descendante. Pour un ordre monomial qui est un bon ordre, c'est un peu bizarre, non ?
Peux-tu vérifier ton énoncé ?

zwijndrecht
Membre Naturel
Messages: 74
Enregistré le: 29 Oct 2020, 14:13

Re: Anneau de polynômes à plusieurs variables

par zwijndrecht » 21 Nov 2020, 20:34

Bonjour,
En fait, cette équivalence sert ensuite à montrer que toute suite décroissante est stationnaire (donc oui, est fini... mais on ne le sait pas encore à cette étape du raisonnement).

GaBuZoMeu
Habitué(e)
Messages: 6016
Enregistré le: 05 Mai 2019, 11:07

Re: Anneau de polynômes à plusieurs variables

par GaBuZoMeu » 21 Nov 2020, 21:16

Je ne comprends vraiment pas ce que tu fabriques.

Un ordre monomial est bien fondé par définition.

Pourrais-tu être plus clair ?

zwijndrecht
Membre Naturel
Messages: 74
Enregistré le: 29 Oct 2020, 14:13

Re: Anneau de polynômes à plusieurs variables

par zwijndrecht » 22 Nov 2020, 00:00

En fait, ma définition d'un ordre monomial est la suivante :
Soit l'ensemble des monômes de .
Un ordre monomial sur est une relation d'ordre total tel que :
(i)
(ii)

Le fait qu'une telle relation d'ordre soit noethérienne est déduite de l'équivalence que je cherche à montrer.

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 66 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite