Autour du Nullstellensatz
Bonjour à toutes et à tous
Dans le cadre de mon travail, je m'intéresse au lieu d'annulation \(\mathcal{S}\subset\mathbb{C}^2\) d'un polynôme \(\gamma\in\mathbb C[X,Y]\). J'ai cru comprendre par mes lectures que si un second polynôme \(P\) s'annulait sur \(\mathcal{S}\), alors il existerait un entier \(p\) et un polynôme \(R\) tel que \(P^p=R\gamma\). Ce serait une conséquence du Nullstellensatz d'Hilbert. Ma question concerne \(p\). Quelle condition dois-je trouver sur \(\gamma\) pour que \(p=1\) et que \(R\) ne s'annule pas sur \(\mathcal{S}\) tout entier ?
En vous remerciant,
K
K
Réponses
-
Bonsoir
Notons $V(\gamma)$ le lieu des zéros de $\gamma$. D'après le Nullstellensatz, $I(V(\gamma))=\sqrt{(\gamma)}$, où $(\gamma)$ désigne l'idéal principal engendré par $\gamma$ dans $\mathbb{C}[X,Y]$ et $\sqrt{(\gamma)}=\{P\in \mathbb{C}[X,Y], \exists p\in \mathbb{N}^{*}, P^p\in (\gamma) \}$ est le radical de cet idéal.
Tu souhaites que $\sqrt{(\gamma)}=(\gamma)$. Une CNS pour avoir cette égalité est que ton polynôme $\gamma$ soit « sans facteur carré » (chaque facteur de la décomposition en irréductibles dans l'anneau $\mathbb{C}[X,Y]$ apparaît au plus une fois).
Si tu fixes $P\in (\gamma)$, la deuxième condition peut se traduire par $P\notin (\gamma^2)$. -
Super merci, je vais creuser ça !
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.6K Toutes les catégories
- 64 Collège/Lycée
- 22.2K Algèbre
- 37.7K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 26 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 86 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 29 Mathématiques et finance
- 343 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.4K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 804 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres