A l'assassin !
Bonjour,
soit $A$ un anneau commutatif, et soit $M$ un $A$-module. On donne $Ass(M)$ l'ensemble des idéaux premiers qui soient l'annulateur d'au moins un élément non nul de $M.$ (On l'appelle parfois l'assassin de $M$, je crois, d'où le titre ;-) ).
Si $A$ est noethérien et $M$ est non nul, alors $Ass(M)$ n'est pas vide.
Ma question est la suivante: avez-vous un exemple simple de $A$-module non nul tel que $Ass(M)$ soit vide ?
Si possible, j'aimerais que $A$ soit intègre et que $M$ soit de type fini (si ce n'est pas possible, tant pis). J'avoue ne pas avoir encore eu le temps de trop fouiner dans la littérature. J'ai cru voir un exemple dans les exos de Bourbaki en exercice, mais j'aimerais un exemple détaillé :-)
Merci à ceux qui se pencheront sur la question...
soit $A$ un anneau commutatif, et soit $M$ un $A$-module. On donne $Ass(M)$ l'ensemble des idéaux premiers qui soient l'annulateur d'au moins un élément non nul de $M.$ (On l'appelle parfois l'assassin de $M$, je crois, d'où le titre ;-) ).
Si $A$ est noethérien et $M$ est non nul, alors $Ass(M)$ n'est pas vide.
Ma question est la suivante: avez-vous un exemple simple de $A$-module non nul tel que $Ass(M)$ soit vide ?
Si possible, j'aimerais que $A$ soit intègre et que $M$ soit de type fini (si ce n'est pas possible, tant pis). J'avoue ne pas avoir encore eu le temps de trop fouiner dans la littérature. J'ai cru voir un exemple dans les exos de Bourbaki en exercice, mais j'aimerais un exemple détaillé :-)
Merci à ceux qui se pencheront sur la question...
Réponses
-
Montre nous ce que tu as fait, si tu veux qu'on t'aide.
-
J'ai peur de dire une bêtise mais si $A$ est un corps et $M$ un $A$ espace vectoriel, $Ass(M)$ est vide non ?
-
Que penses-tu de $A=k[X_1,X_2,\ldots,X_n,\ldots]$ ($k$ un corps) et $M=A/(X_1^2,X_2^2,\ldots,X_n^2,\ldots)$?
-
Arf il m'a tué
-
Gregingre m'a tuer
-
Il me semble que l'exemple de Pea ne marche pas. L'annulateur du produit des indéterminées est l'idéal des polynômes de coef constant nul, qui est maximal.
-
Attention, il y a un nombre infini d'indéterminées.
-
Au temps pour moi. Et mes excuses à Pea dont l'exemple marche en effet.
-
Bonjour,
on a $Ass(M)=\emptyset \Longleftrightarrow M=0$ -
Absolument pas. C'est seulement vrai si $A$ est noethérien. Pea a donné un exemple de module non nul, et d'assassin vide.
-
J'ai oublié A noethérien en effet.
-
Pour me faire pardonner tu as l'exercice 1 p 339 dans Bourbaki (Algèbre commutative chapitre 1 à 4) et le 2) même page.
-
Bonsoir,
On trouve dans l'ordre :gregingre a écrit:Si $A$ est noethérien et $M$ est non nul, alors $Ass(M)$ n'est pas vide.
Plus loinamédé a écrit:on a $Ass(M)=\emptyset <=> M=0$
qui est suivi immédiatement de la réponse :gregingre a écrit:Absolument pas. C'est seulement vrai si $A$ est noethérien.
Il y a comme une contradiction entre (1) et (3), sauf erreur ou non compréhension.
Cordialement,
zephir.
P.S. Depuis quand $\{0\}$ est un idéal premier ? ah oui ! j'ai oublié "quand $A$ est intégre". -
Quelle contradiction ?
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.5K Toutes les catégories
- 64 Collège/Lycée
- 22.2K Algèbre
- 37.6K 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
- 85 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