Groupe dérivé et non commutativité
Discussion fermée
Page 1 sur 2 1 DernièreDernière
Affichage des résultats 1 à 30 sur 32

Groupe dérivé et non commutativité



  1. #1
    Keres0

    Groupe dérivé et non commutativité


    ------

    Bonjour,

    Le groupe dérivé D(G) et le centre Z(G) mesurent, chacun à leur manière, le défaut de commutativité d'un groupe... cela est d'ailleurs assez "flou" (à part que Z(G)=G et D(G)={e} si G est abélien).

    Il semble qu'il n'y ait aucune relation entre eux: est-ce vrai? cela semble surprenant, non?

    Merci.

    -----

  2. #2
    Resartus

    Re : Groupe dérivé et non commutativité

    Bonjour,

    Vous pouvez essayer de lire ceci :
    http://math.stackexchange.com/questi...utator-duality

    La réponse fait appel à des notions très complexes, mais le livre indiqué en référence est peut-être plus accessible....
    Why, sometimes I've believed as many as six impossible things before breakfast

  3. #3
    minushabens

    Re : Groupe dérivé et non commutativité

    Citation Envoyé par Keres0 Voir le message
    Le groupe dérivé D(G) et le centre Z(G) mesurent, chacun à leur manière, le défaut de commutativité d'un groupe...
    est-ce que ce ne serait pas plutôt G/Z(G) qui mesure le "défaut de commutativité" de G?

  4. #4
    Keres0

    Re : Groupe dérivé et non commutativité

    @Resartus: merci, ça me donne une piste.

    @minushabens: à mon avis c'est pareil: tu "mesures" à quel point G est proche de Z(G) ou tu "mesures" à quel point G/Z(G) est proche de {e}.

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

    Re : Groupe dérivé et non commutativité

    Bonjour,

    Sauf erreur de ma part :
    On considère le morphisme de groupes suivant : défini par : .
    Alors : et , et d'après le théorème de factorisation : , c'est à dire : . est ce correct ?

    Cordialement.

  7. #6
    God's Breath

    Re : Groupe dérivé et non commutativité

    Citation Envoyé par chentouf Voir le message
    On considère le morphisme de groupes suivant : défini par : .
    Quel élément de G la notation [G,a] désigne-t-elle ?
    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

  8. #7
    invite52487760

    Re : Groupe dérivé et non commutativité

    Ah oui, c'est vrai, je n'ai pas fait attention. et non pas : .
    Dernière modification par chentouf ; 21/05/2016 à 10h49.

  9. #8
    invite52487760

    Re : Groupe dérivé et non commutativité

    Sauf erreur de ma part, au lieu d'écrire : , on peut écrire : avec : un système inductif sans flèches, et , non ? mais, on devrait avoir : , c'est à dire :

    .
    est ce que c'est ça ?

  10. #9
    God's Breath

    Re : Groupe dérivé et non commutativité

    Citation Envoyé par chentouf Voir le message
    Pourrait-on avoir la preuve de ces égalités ?
    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

  11. #10
    invite52487760

    Re : Groupe dérivé et non commutativité

    Je ne sais pas les montrer, c'est devenu automatique. Alors, je préfère ne pas discuter de ça. Je préfère passer directement au cœur du problème, et non à ces extrêmes. SI tu vois une erreur, tu la corriges directement.

  12. #11
    God's Breath

    Re : Groupe dérivé et non commutativité

    La proposition de morphisme est incompréhensible dès lors que l'ensemble d'arrivée de la fonction f n'est pas défini puisqu'on ne peut pas vérifier que l'expression proposée pour f(a) lui appartient.

    Si tu ne sais pas montrer que les différents ensembles sont égaux.. c'est peut-être parce qu'ils ne le sont pas.

    Prouver la cohérence de ta définition est de ton ressort, pas de celui de tes lecteurs.
    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

  13. #12
    invite52487760

    Re : Groupe dérivé et non commutativité

    Sauf erreur de ma part :
    car, par définition : et par le morphisme : et :

    , par définition d'un système inductif sans flèches.

    La troisième égalité résulte du fait que : par le morphisme :
    Dernière modification par chentouf ; 21/05/2016 à 14h02.

  14. #13
    invite52487760

    Re : Groupe dérivé et non commutativité

    Pardon :
    La troisième égalité résulte du fait que : par le morphisme :

  15. #14
    invite52487760

    Re : Groupe dérivé et non commutativité

    Pardon :
    La troisième égalité résulte du fait que : par le morphisme :

    edit : je ne sais pas, aidez moi.
    Dernière modification par chentouf ; 21/05/2016 à 14h37.

  16. #15
    God's Breath

    Re : Groupe dérivé et non commutativité

    Quelle est la définition de l'ensemble ?
    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

  17. #16
    invite52487760

    Re : Groupe dérivé et non commutativité

    par définition.
    Donc,
    non ?
    Dernière modification par chentouf ; 21/05/2016 à 14h47.

  18. #17
    God's Breath

    Re : Groupe dérivé et non commutativité

    Quelle est la définition de l'ensemble ?
    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

  19. #18
    invite52487760

    Re : Groupe dérivé et non commutativité

    est une fibre intrinsèque du fibré principal : tels que : parce que : .

  20. #19
    God's Breath

    Re : Groupe dérivé et non commutativité

    Citation Envoyé par chentouf Voir le message
    .
    C'est trivialement faux, mais tu ne t'en rends pas compte parce que, comme toujours, tu camoufles ton incapacité à faire des mathématiques en utilisant un vocabulaire et des notions qui te dépassent et qui n'ont rien à faire dans le problème envisagé, et qui ne fournissent aucune piste réelle pour aider celui ou celle qui a posé la question initiale.
    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

  21. #20
    invite52487760

    Re : Groupe dérivé et non commutativité

    Si c'est pour m'aider à contourner le problème d'accord, mais si c'est pour te gonfler sur moi, alors, dégonfle toi. J’arrête la discussion.

  22. #21
    God's Breath

    Re : Groupe dérivé et non commutativité

    Je considère le groupe symétrique d'ordre 3 qui a 6 éléments : l'identité, les transpositions , , , les cycles et .

    Les ensembles , , et sont soi-disant égaux avec le dernier contenu dans : ils n'ont au plus que 6 éléments. Peux-tu donner la liste de leurs éléments et les isomorphismes qui permettent de les identifier ?

    Pour chaque élément (il n'y en que 6!!) quel est son image par le soi-disant morphisme de groupe ?

    Ce travail est moins gratifiant que l'évocation des systèmes inductifs sans flèches et des fibrés principaux, mais il me permettra de comprendre la situation sur un exemple simple où tous les calculs sont praticables explicitement.
    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

  23. #22
    invite52487760

    Re : Groupe dérivé et non commutativité

    D'abord, pour corriger l'erreur, pourquoi : est invalide ?
    Dernière modification par chentouf ; 21/05/2016 à 15h58.

  24. #23
    invite52487760

    Re : Groupe dérivé et non commutativité

    Montrer que : revient à montrer que : , cela revient à montrer que : . Si c'est le cas, alors : avec : , c'est à dire : , c'est à dire est abélien. ( Absurde )

  25. #24
    invite52487760

    Re : Groupe dérivé et non commutativité

    Voici une correction de ce que j'ai dit :
    par définition.
    Donc, et : .
    J'espère que ça tient la route maintenant.
    Dernière modification par chentouf ; 21/05/2016 à 16h33.

  26. #25
    invite52487760

    Re : Groupe dérivé et non commutativité

    Donc,
    et donc,
    Dernière modification par chentouf ; 21/05/2016 à 16h41.

  27. #26
    God's Breath

    Re : Groupe dérivé et non commutativité

    Citation Envoyé par chentouf Voir le message
    D'abord, pour corriger l'erreur, pourquoi : est invalide ?
    Tu te réfugies toujours dans une théorie que tu ne maîtrises mais que tu essaies désespérément de développer dans les messages qui suivent, mais tu n'es visiblement pas capable de l'utiliser dans un cas concret.

    Voici un contre-exemple à ton assertion : le groupe est le groupe multiplicatif . Je considère les éléments suivants de :


    Donne-moi les isomorphismes entre , et .

    De même, j'aimerais voir fonctionner ta théorie dans le cas du groupe symétrique d'ordre 3, le plus petit groupe non commutatif et obtenir des réponses à mon message #21 : si tu ne peux pas convaincre que tes résultats sont valides dans ce cas, il sera difficile de te croire pour des groupes plus compliqués.
    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

  28. #27
    invite52487760

    Re : Groupe dérivé et non commutativité

    Pas besoin d'écrire tout ce pavé pour finalement ne rien dire. La réponse se trouve déjà dans le message : 23

  29. #28
    God's Breath

    Re : Groupe dérivé et non commutativité

    Je corrige une faute de frappe dans le message précédent :

    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

  30. #29
    Seirios

    Re : Groupe dérivé et non commutativité

    Juste au cas où une âme sensible viendrait lire la discussion, à noter que l'isomorphisme suivant, qui a été mentionné plus haut, est incorrect.

    Citation Envoyé par chentouf Voir le message
    c'est à dire : .
    Pour un contre-exemple, il suffit de prendre le groupe symétrique avec . Alors est trivial et est le groupe alterné, qui n'est absolument pas isomorphe à (l'un est simple, et pas l'autre). Pour d'autres exemples, on peut regarder les groupes libres, ou plus généralement des produits libres.
    If your method does not solve the problem, change the problem.

  31. #30
    invite52487760

    Re : Groupe dérivé et non commutativité

    Citation Envoyé par chentouf Voir le message
    Sauf erreur de ma part, au lieu d'écrire : , on peut écrire : avec : un système inductif sans flèches, et , non ? mais, on devrait avoir : , c'est à dire :

    .
    est ce que c'est ça ?
    On l'a déjà expliqué ici, ce n'est pas un homomorphisme pour que ça fonctionne. Donc, celui qui suit la discussion attentivement, il aura saisi ça sans chercher de contre-exemple.

Page 1 sur 2 1 DernièreDernière

Discussions similaires

  1. Décrire un sous-groupe dérivé par une formule du premier ordre
    Par Seirios dans le forum Mathématiques du supérieur
    Réponses: 2
    Dernier message: 09/03/2012, 15h15
  2. commutativité
    Par invite72040def dans le forum Physique
    Réponses: 7
    Dernier message: 23/02/2011, 11h30
  3. Groupe Dérivé
    Par sebsheep dans le forum Mathématiques du supérieur
    Réponses: 1
    Dernier message: 25/06/2009, 10h54
  4. Caractères et groupe dérivé.
    Par invitebb921944 dans le forum Mathématiques du supérieur
    Réponses: 3
    Dernier message: 08/05/2009, 12h49
  5. Commutativité de IR
    Par invite3f53d719 dans le forum Mathématiques du supérieur
    Réponses: 15
    Dernier message: 22/02/2005, 22h49