Discuter:Partie génératrice d'un groupe

Un article de Wikipédia, l'encyclopédie libre.

L'article a été créé à partir des paragraphes sur le sujet développés dans les articles Sous-groupe et Groupe fini.

Yukito 16 mar 2005 à 00:32 (CET)

[modifier] Refonte en cours

Je pense au plan suivant :

  • Définition
    • Sous-groupe engendré
    • Partie génératrice
    • Groupe monogène
    • Groupe libre
  • Exemple
    • Groupe abélien de type fini
    • Groupe symétrique
    • Groupe linéaire
  • Utilisation
    • Simplicité
    • Morphisme

Les notions de croissance des groupes seraient à développer dans d'autres articles... Z'en pensez quoi ? Ekto - Plastor 23 février 2007 à 14:51 (CET)

Plus clair que ce qui est actuellement.
Il me semble qu'il faudrait regrouper dans une même rubrique les trois types : groupe monogène, groupe libre, groupe abélien de type fini
Il me semble aussi qu'on pourrait développer d'autres exemples que le groupe linéaire et le groupe symétrique.

HB 23 février 2007 à 20:50 (CET)

* avec l'article Présentation d'un groupe, il y a un gros risque de doublon (même si la recherche des générateurs seulement est une question plus simple, c'est fortement lié) : ne faudrait-il pas fusionner ?
* il me semble que chaque groupe remarquable aura sa "fiche perso", il ne faudra pas trop faire de redite. Donc contrairement à HB je ne mettrais pas trop d'exemples
En fait, je verrais bien un article global qui traite à la fois les générateurs et la présentation des groupes, et qui donne quelques grandes familles (les abéliens de type fini, les Coxeter ...), mais pas forcément une revue de détails des nombreux cas particuliers. Peps 23 février 2007 à 21:28 (CET)
Les groupes de Coxeter sont dus à la présentation des groupes finiment engendrés. Je ne suis pas favorable à une fusion entre les deux articles : ce sont des thématiques différentes. Il faut évidemment que les articles se pointent l'un vers l'autre. Un exemple tout simple : il est utile d'avoir un système de générateurs de SLn, pas forcément d'en avoir une présentation. Savoir que les transpositions engendrent Sn c'est déjà bien.
Le sujet est beaucoup trop vaste pour être traité en un seul article (il faut ajouter présentation d'un groupe, groupe finiment engendré, croissance d'un groupe, ...).
Certes, il faut limiter les exemples à ce qui est nécessaire mais ne pas les supprimer pour autant.
Sourire Ekto - Plastor 23 février 2007 à 23:47 (CET)

À mon avis, il y a deux types d'exemples différents : ceux où le groupe existe a priori, et où on cherche des générateurs pour une raison ou une autre, et ceux où on définit le groupe à partir de ses générateurs (comme "sous-groupe engendré" en fait). Typiquement, c'est le cas des groupes de Coxeter sont (peuvent être) définis comme engendrés par des réflexions dans un espace euclidien. Ce serait peut-être bien de mettre un exemple du deuxième type, et de faire remarquer la différence entre les deux. Cela dit, c'est vrai qu'il faudrait éviter une prolifération d'exemple, donc bon... (Lyoa)

Moyennement d'accord. Lorsqu'on cherche à réaliser un groupe finiment engendré comme groupe fondamental d'un CW-complexe fini, on est amené à choisir des générateurs mais à comprendre aussi les relations qui existent entre eux. Toutefois, le groupe n'a aucune raison d'être défini à partir de ses générateurs. Je dirai simplement que tout dépend l'utilisation qui est faite des générateurs. (Ektoplastor)
Ok. C'est vrai qu'à la réflexion la distinction n'est pas forcément si importante que ça.

Sinon, je trouve ce plan pas trop mal. J'ai juste une remarque à faire : à mon avis, la partie "utilisation" est trop fermée : autant il me paraît nécessaire de mettre en avant la possibilité de définir des morphismes, autant je verrais bien un paragraphe "Structure" à la place de "Simplicité", quitte à ne mettre effectivement que des théorèmes de simplicité. Avec le plan proposé, on a un peu l'impression que les morphismes et la simplicité sont les seules utilisations des parties génératrices, ce qui n'est pas le cas : par exemple, on peut effectivement faire un lien avec la croissance des groupes, qui donne des théorèmes sur la structure du groupe, etc. (Même s'il faut évidemment développer la croissance d'un groupe dans un autre article). --Lyoa 25 février 2007 à 10:52 (CET)

C'est vrai que je suis peu satisfait du terme utilisation. Je n'avais rien trouvé de mieux. Remplacer par une partie structure est en effet plus avantageuse. Mais peut-on réellement considérer les morphismes comme faisant partie de l'étude de la structure d'un groupe ? Sourire Ekto - Plastor 25 février 2007 à 11:10 (CET)
En fait je pensais plutôt à une partie "Utilisation", divisée en "Morphismes" et "Structure". C'est vrai que le terme "utilisation" n'est pas forcément excellent, mais je n'ai pas de meilleure idée... (Cela dit, avec un poil de mauvaise foi, ça doit se défendre, l'étude des morphismes comme faisant partie de la structure) --Lyoa 26 février 2007 à 20:28 (CET)