Ensemble algébrique projectif irréductible
Bonjour, j'aimerais montrer que, comme dans le cas affine, si $I$ est un idéal homogène premier de $k[X_0,\cdots,X_n]$ (ne contenant pas $(X_0,\cdots,X_n)$) alors l'ensemble algébrique associé est irréductible dans $\mathbb P^n$ pour la topologie de Zariski.
Je n'arrive pas à conclure malheureusement. Passer par l'espace affine $k^{n+1}$ me semble être la bonne idée cependant je ne vois pas comment revenir en projectif par la suite.
Merci beaucoup.
Je n'arrive pas à conclure malheureusement. Passer par l'espace affine $k^{n+1}$ me semble être la bonne idée cependant je ne vois pas comment revenir en projectif par la suite.
Merci beaucoup.
Réponses
-
Ton ideal $I$ définit une sous variété irreductible de $\mathbb{A}^{n+1}$ donc un fermé irréductible de $\mathbb{A}^{n+1}\setminus \{ 0\}$ et par projection, une sous variété irréductible de $\mathbb{P}^n$ car l'image d'une partie irreductible par une application continue l'est.
-
Ah oui tout simplement merci beaucoup. Et dans le sens inverse, comment partir d'un ensemble algébrique projectif irréductible pour arriver à un idéal premier ?
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.1K Toutes les catégories
- 58 Collège/Lycée
- 22.1K Algèbre
- 37.5K Analyse
- 6.3K Arithmétique
- 58 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 20 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.7K Géométrie
- 83 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
- 24 Mathématiques et finance
- 337 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 801 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres