Module projectif
dans Algèbre
Bonjour Chers collègues,
On sait qu'un idéal projectif d'un anneau intègre est de type fini, qu'est-ce qu'on peut dire sur la réciproque (est-ce que tout idéal de type fini est projectif) ? Sinon Pouvez-vous me donner un contre-exemple ?
On sait qu'un idéal projectif d'un anneau intègre est de type fini, qu'est-ce qu'on peut dire sur la réciproque (est-ce que tout idéal de type fini est projectif) ? Sinon Pouvez-vous me donner un contre-exemple ?
Réponses
-
L'idéal $(X_1,X_2)\subset\C[X_1,X_2]=R$ n'est pas un $R$-module projectif. Marteau-pilon : c'est la conjecture de Serre ou le théorème de Quillen-Suslin.
On peut le montrer directement. Cet idéal est un quotient d'un module libre de rang $2$ : c'est l'image de $\phi:Re_1\oplus Re_2\to R$ défini par $\phi(e_1)=X_1$ et $\phi(e_2)=X_2$. Le noyau de $\phi$ est engendré par $v=X_2e_1-X_1e_2$. Supposons que $\phi$ admette une section $\sigma$ et posons $f_1=\sigma(X_1)$ et $f_2=\sigma(X_2)$. il existe $p_1,p_2\in R$ tels que $f_i=e_i+p_iv$ ($i=1,2$). Mais alors, $X_2f_1-X_1f_2\in\ker\phi$ donc, puisque $\sigma$ est une section, $X_2f_1-X_1f_2=0$. On vérifie que ce n'est pas possible. -
Remarque : dans un anneau intègre $A$, un idéal projectif est plus connu sous le nom d'idéal inversible. Ces deux notions, concernant les idéaux d'un anneau intègre, sont identiques. Et un idéal inversible $I$ de $A$ est par définition un idéal pour lequel il existe un autre idéal $J$ tel que $IJ = aA$ (avec $a$ non nul). Ou encore qui est inversible ``au sens commun'' dans l'ensemble des idéaux fractionnaires de $A$ c.a.d. pour lequel il existe un idéal fractionnaire $J'$ tel que $IJ' = A$.
En théorie des nombres. Soit $K$ un corps de nombres et $A$ un sous-anneau de $K$ de corps des fractions $K$. Alors tous les idéaux de $A$ sont de type fini, n'est ce pas ? A quelle condition tous ces idéaux sont ils projectifs (= inversibles) ? Réponse : si et seulement si $A$ est l'anneau des entiers de $K$. Ce qui va nous fournir une foultitude d'exemples.
Exercice : soit $d$ un entier sans facteur carré vérifiant $d \equiv 1 \bmod 4$. Expliciter dans $\Z[\sqrt d]$ un idéal qui n'est pas inversible (donc non projectif). -
Dans le cas où A n'est pas intègre, est-ce qu'un idéal projectif est caractérisé par l'inversibilité
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