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

Sous-directe somme, morphisme d'anneaux et injectivité.



  1. #1
    invite43219988

    Sous-directe somme, morphisme d'anneaux et injectivité.


    ------

    Bonjour,
    Je ne comprends pas quelque chose dans un bouquin.
    On me donne :

    Définition :
    Soit un index dénombrable.
    On dit que est une sous-directe somme des anneaux s'il existe un morphisme d'anneaux injectif tel que pour tout est la surjection canonique.


    Lemme :
    Soient un anneau et un morphisme d'anneaux.
    Alors est une sous-directe somme des si

    Je dois démontrer ce lemme.
    J'essaie donc de trouver un morphisme d'anneaux injectif .

    Je pose :

    (Je suppose que est fini. Je pense que c'est le cas d'ailleurs car le dénombrable, je l'ai inventé en pensant que c'était le plus raisonnable.)

    On a clairement que est un morphisme d'anneaux. Mon problème, c'est l'injectivité.

    équivaut à pour tout . Ce qui équivaut en gros à injectif pour tout
    si je ne m'abuse.

    Or, l'hypothèse ne me dit pas ça... Un seul des peut être nul pour avoir cette condition, les autres n'ont donc aucune raison d'être injectif.

    Qu'est-ce que j'ai raté ?

    Merci pour votre aide.

    -----

  2. #2
    rhomuald

    Re : Sous-directe somme, morphisme d'anneaux et injectivité.

    Bonjour,

    pour montrer le lemme je pense qu'il serait plus intéressant à chercher à définir un morphisme d'anneaux
    telle que pour tout on ait .

    Pour un élément , on aurait alors que la condition entraîne que pour tout , on a ,

    d'où pour tout , ,

    ie ,

    d'où l'injectivité de .

    A voir.

  3. #3
    invite43219988

    Re : Sous-directe somme, morphisme d'anneaux et injectivité.

    Oui tu as raison, je m'y prends à l'envers.
    Au passage, j'ai fait une erreur, n'a rien d'une surjection canonique, c'est simplement la projection de sur (d'ailleurs, ils auraient du changer l'indice dans cette définition, je trouve ça étrange...)

    Il suffirait donc de poser si j'ai bien compris
    où chaque serait surjective... Pourquoi aurais-je le droit de faire cela ?

    Merci pour ton aide en tous les cas.

  4. #4
    invite43219988

    Re : Sous-directe somme, morphisme d'anneaux et injectivité.

    Je suis en train de me dire qu'ils supposent peut-être déjà implicitement que est surjective.

    On me dit : "Let be homomorphisms of onto rings ."

  5. A voir en vidéo sur Futura
  6. #5
    rhomuald

    Re : Sous-directe somme, morphisme d'anneaux et injectivité.

    Citation Envoyé par Ganash Voir le message
    Oui tu as raison, je m'y prends à l'envers.
    Au passage, j'ai fait une erreur, n'a rien d'une surjection canonique, c'est simplement la projection de sur (d'ailleurs, ils auraient du changer l'indice dans cette définition, je trouve ça étrange...)

    Il suffirait donc de poser si j'ai bien compris
    où chaque serait surjective... Pourquoi aurais-je le droit de faire cela ?

    Merci pour ton aide en tous les cas.
    surjection et projection c'est un peu synonyme pour moi.

    oui dans le cas où , l'application est clairement bien définie et on a bien , et c'est bien un morphisme d'anneau.

    je pense que "onto" nous renseigne sur la surjection des .

  7. #6
    invite43219988

    Re : Sous-directe somme, morphisme d'anneaux et injectivité.

    Merci beaucoup

  8. #7
    God's Breath

    Re : Sous-directe somme, morphisme d'anneaux et injectivité.

    Bonjour Ganash,

    J'ai l'impression que tu mélanges tout.
    Les morphismes permettent de définir de dans par pour tout de .

    Tu vérifies rapidement que c'est un morphisme :
    – pour tout et tout dans : ;
    – pour tout et tout dans : ;
    .

    Ensuite est nul si, et seulement si, pour tout , est nul, donc si, et seulement si, appartient à , et ... l'injectivité de .

    Enfin, pour tout , on a par définition même de .

    Dernier point, les projections sont surjectives par définition même du produit.
    Tout de est la projection de pour et ...

    Le cardinal de l'ensemble n'a rien à voir dant tout ça.

  9. #8
    invite43219988

    Re : Sous-directe somme, morphisme d'anneaux et injectivité.

    D'accord merci pour ces précisions mais :
    est-on d'accord pour dire que le "onto" de la définition veut dire que est surjectif ?

  10. #9
    God's Breath

    Re : Sous-directe somme, morphisme d'anneaux et injectivité.

    Citation Envoyé par Ganash Voir le message
    D'accord merci pour ces précisions mais :
    est-on d'accord pour dire que le "onto" de la définition veut dire que est surjectif ?
    Sans aucune hésitation l'utilisation de "onto" affirme la surjectivité, qui découle de la définition d'un produit dans une catégorie...

  11. #10
    invite43219988

    Re : Sous-directe somme, morphisme d'anneaux et injectivité.

    Merci beaucoup !

Discussions similaires

  1. Idéal maximal, morphisme d'anneaux
    Par invite43219988 dans le forum Mathématiques du supérieur
    Réponses: 2
    Dernier message: 27/04/2008, 01h12
  2. Somme directe et intersection
    Par Seirios dans le forum Mathématiques du supérieur
    Réponses: 2
    Dernier message: 24/02/2008, 22h27
  3. somme directe
    Par btissam dans le forum Mathématiques du supérieur
    Réponses: 1
    Dernier message: 04/10/2007, 14h51
  4. [Notation] Somme directe d'une famille de vecteur
    Par Seirios dans le forum Mathématiques du supérieur
    Réponses: 16
    Dernier message: 11/04/2007, 17h25
  5. Produit et somme directe de groupes
    Par fderwelt dans le forum Mathématiques du supérieur
    Réponses: 13
    Dernier message: 23/02/2006, 23h57