Radical d'un idéal
dans Algèbre
Bonjour,
je travaille le texte suivant sur le théorème des zéros de Hilbert, voir ici, et je n'arrive pas à me convaincre d'un des exemples non prouvé : le fait que $\sqrt{(f)}=(p_1 p_2 \dots p_n)$
Cela me semble naturel mais je ne vois pas du tout comment le prouver... Auriez-vous des idées ?
Bonne soirée,
Thibault
[Préférer "Joindre un fichier" à donner un pointeur sur le net qui disparaîtra tôt ou tard. :-) AD]
je travaille le texte suivant sur le théorème des zéros de Hilbert, voir ici, et je n'arrive pas à me convaincre d'un des exemples non prouvé : le fait que $\sqrt{(f)}=(p_1 p_2 \dots p_n)$
Cela me semble naturel mais je ne vois pas du tout comment le prouver... Auriez-vous des idées ?
Bonne soirée,
Thibault
[Préférer "Joindre un fichier" à donner un pointeur sur le net qui disparaîtra tôt ou tard. :-) AD]
Réponses
-
Si tu poses $m:=\max\{r_1,...,r_s\}$ et $p:=p_1\cdots p_s$ alors il est évident que $p^{m}\in (f)$ donc $p\in \sqrt{(f)}$ et $(p)\subset \sqrt{(f)}$.
Réciproquement si $g\in \sqrt{(f)}$ alors il existe un entier $r$ tel que $g^r\in (f)$. Donc pour tout $i=1..s, p_i\mid g$, donc $p \mid g$, donc $g\in (p)$.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres