Relation d'ordre sur un groupe
Répondre à la discussion
Affichage des résultats 1 à 6 sur 6

Relation d'ordre sur un groupe



  1. #1
    Colaser

    Relation d'ordre sur un groupe


    ------

    Bonjour,
    Est-il possible (et si oui comment) de construire une relation d'ordre total sur un groupe ?
    Je parle bien de construction, et non d'admettre son existence.
    Je pense que dans le cas général cela n'est pas possible, c'est pourquoi je pense que se restreindre au cas fini est raisonnable (bien que là aussi c'est peut-être insuffisant !).
    La piste que je poursuis est d'exploiter l'ordre des éléments pour se ramener à l'ordre connu de N.
    Bien qu'on soit dans un groupe, je cherche pas à ce que la relation soit compatible avec la loi de composition interne.
    Des idées ?

    -----

  2. #2
    Seirios

    Re : Relation d'ordre sur un groupe

    Bonjour,

    Si tu ne demandes pas à ce que la relation d'ordre ait quoi que ce soit à voir avec la structure de groupe, le fait de travailler avec un groupe n'intervient pas. Tout ce que tu as à montrer, c'est qu'il existe une relation d'ordre total sur un ensemble de cardinal quelconque; il suffit ensuite de transférer la relation d'ordre via une bijection.

    Mais le terme de "construction" est plutôt flou. Une question pertinente pourrait être : sans l'axiome du choix, tout ensemble admet-il une relation d'ordre total ?
    If your method does not solve the problem, change the problem.

  3. #3
    Tryss

    Re : Relation d'ordre sur un groupe

    Puisque tu t'en fiche que ta relation soit compatible avec la loi, dès que tu es dans un groupe fini c'est gagné : tu numérotes les éléments du groupe et tu utilises alors l'ordre usuel de N

  4. #4
    Seirios

    Re : Relation d'ordre sur un groupe

    Effectivement, si on travaille avec des ensembles finis, l'axiome du choix n'est probablement pas nécessaire; ce serait sans doute la même chose pour des ensembles dénombrables. Après, il doit y avoir des résultats exotiques de théorie des ensembles
    If your method does not solve the problem, change the problem.

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

    Re : Relation d'ordre sur un groupe

    Par construction j'entendais effectivement sans l'axiome du choix.
    Je me suis mis dans un groupe pour pouvoir utiliser les particularités offerte par sa structure, sans pour autant qu'on est compatibilité..
    Sinon sur un ensemble dénombrable tu dis qu'il suffit de numéroter c'est à dire créer une bijection de E sur une partie de N.
    Ce qui découle effectivement des définitions.

    Revenons donc au cas général d'un groupe non dénombrable.
    Est-ce alors possible ? Ou plutôt, à quelle condition supplémentaire ?

  7. #6
    Seirios

    Re : Relation d'ordre sur un groupe

    Voici quelques discussions sur le sujet : ici et .
    If your method does not solve the problem, change the problem.

Discussions similaires

  1. Relation d'ordre
    Par kite4life dans le forum Mathématiques du supérieur
    Réponses: 4
    Dernier message: 28/09/2014, 19h11
  2. Ordre d'un sous groupe du groupe symétrique S81
    Par Barabin dans le forum Mathématiques du supérieur
    Réponses: 0
    Dernier message: 27/05/2013, 21h44
  3. Relation d'ordre.
    Par invitea5ab8741 dans le forum Mathématiques du supérieur
    Réponses: 7
    Dernier message: 13/11/2010, 18h51
  4. Relation d'ordre !
    Par invite737bb60f dans le forum Mathématiques du supérieur
    Réponses: 7
    Dernier message: 07/12/2007, 00h36
  5. relation d'ordre, relation d'équivalence
    Par invite56f88dc9 dans le forum Mathématiques du supérieur
    Réponses: 9
    Dernier message: 24/09/2006, 21h47