Répondre à la discussion
Affichage des résultats 1 à 6 sur 6

CNS pour qu'un anneau soit artinien



  1. #1
    martini_bird

    CNS pour qu'un anneau soit artinien


    ------

    Bonjour à tous,

    je voudrais avoir votre avis sur ce théorème:

    Théorème 17 Un anneau est artinien si et seulement si il est noethérien et si tout idéal premier est maximal.

    (Mathématiques pour l'agrégation, M. Zisman, DUNOD, p.127)
    En examinant le cas de , je ne vois pas pourquoi cette condition serait suffisante.

    Que faudrait-il éventuellement ajouter pour que le théorème soit valable?

    Merci d'avance.

    -----

  2. Publicité
  3. #2
    evariste_galois

    Re : CNS pour qu'un anneau soit artinien

    Ce théorème est valable, ce n'est pas une erreur provenant de l'auteur du bouquin.

    Un petit lien pour confirmer tout cela, avec une démonstration assez claire:

    http://name.math.univ-rennes1.fr/ant...each/Dea99.pdf
    (direction la page 16).

    Bonne lecture.
    "Au train où vont les choses, les choses où vont les trains ne seront plus des gares."

  4. #3
    martini_bird

    Re : CNS pour qu'un anneau soit artinien

    Salut,

    merci pour le lien. Mais il y a quelque chose qui me chiffonne et que je ne comprends pas: je reproduis la partie de la démonstration qui m'intéresse.

    Supposons c) (A est noethérien et tout idéal premier de A est maximal). Comme A est noethérien, il existe une suite de composition
    pour un certain idéal premier . La condition c) implique que est un idéal maximal. Par suite, A est de longueur finie comme A-module.
    Si je considère et la suite de composition , dois-je en conclure que est artinien. :confused:

    Merci de m'éclairer.

  5. #4
    evariste_galois

    Re : CNS pour qu'un anneau soit artinien

    Citation Envoyé par martini_bird

    Si je considère et la suite de composition , dois-je en conclure que est artinien. :confused:

    Merci de m'éclairer.

    Soit la suite d'idéaux de Z 2^nZ . Elle est infinie strictement décroissante. Donc Z n'est pas artinien.
    (Exemple trouvé sur un cours de master).
    "Au train où vont les choses, les choses où vont les trains ne seront plus des gares."

  6. #5
    martini_bird

    Re : CNS pour qu'un anneau soit artinien

    Citation Envoyé par evariste_galois
    Donc Z n'est pas artinien.
    Je sais bien et le problème est précisément là: Z est noethérien et tous ces idéaux premiers sont maximaux, mais il n'est pas artinien...

  7. A voir en vidéo sur Futura
  8. #6
    martini_bird

    Re : CNS pour qu'un anneau soit artinien

    Citation Envoyé par martini_bird
    Z est noethérien et tous ces idéaux premiers sont maximaux
    En fait non, j'ai compris: (0) est premier mais n'est pas maximal. C'était pourtant évident...

    Merci quand même.

  9. Publicité

Discussions similaires

  1. Quelles conditions il faut pour qu'un passage soit un col ?
    Par Mark_Green dans le forum Géologie et Catastrophes naturelles
    Réponses: 1
    Dernier message: 07/10/2007, 16h25
  2. CNS pour un Ck difféomorphisme
    Par Tcheby dans le forum Mathématiques du supérieur
    Réponses: 2
    Dernier message: 15/02/2007, 14h17
  3. CNS Pour avoir un DSE ?
    Par Gpadide dans le forum Mathématiques du supérieur
    Réponses: 4
    Dernier message: 17/10/2006, 19h18
  4. Chaleur: soit réfléchie, soit transmise?
    Par begue dans le forum Physique
    Réponses: 2
    Dernier message: 07/01/2006, 11h51