Discussion:Groupe (mathématiques)

Autres discussions [liste]

• Suppression -
• Neutralité -
• Droit d'auteur -
• Article de qualité -
• Bon article -
• Lumière sur -
• À faire -
• Archives -
• Traduction

informations sur cette boîte Cet article est indexé par le projet Mathématiques. Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs, dans le cadre du projet 1.0. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs. Évaluation de l’article « Groupe (mathématiques) » Avancement Importance pour le projet : Bon début Maximum Mathématiques (discussion • critères • liste • stats • hist. • comité) Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez en créer une en cliquant sur ce lien rouge et saisir les tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez consulter aussi la page d'aide.

Il faut discuter plus en détails (ou discuter tout court): - de l'historique; - de la zoologie (groupes finis, profinis, résolubles, simples); - de la classification avec les groupes sporadiques et le fameux Monstre; - des groupes de Lie; - des actions de groupe; après tout c'est ainsi que Galois en a eu l'intuition...

Snark 14:08 jan 24, 2003 (CET)

---

Ce serait pas mal d'avoir qqchose sur la théorie de la representation des groupes + application en physique. -- Looxix 29 aoû 2003 à 02:23 (CEST)

---

Franchement je trouve que la LaTeXification est lourde, je suis plutôt pour avoir un rendu "latex" qu'en dernier recours, ce rendu ne s'incorporant que très mal dans le html. De plus une loi de composition se note plus avec une asterisque qu'avec une etoile de type \star.

Benyto 17 jui 2004 22:03

Régularité

Ne peut-on pas voir un groupe comme un semigroupe inversible? Et justement, un groupe n'est-il pas un monoïde inversible et régulier? Auquel cas je pense qu'il faudrait le préciser.
Je ne me permet jamais d'intervenir directement sur un article de mathématiques car je ne suis pas fort du tout!
--Coelacanthe 6 mars 2006 à 03:22 (CET)

Symbole dans exponentiation

Bonjour, dansla formule :

• $(x^m)^n = x^{m \star n}$.

Ne faudrait-il pas remplacer l'étoile par un point voir la supprimer complétement car actuellement on pourrai penser que cette étoile est la meme que celle de la compisition interne du groupe auquel appartient x, alors que c'est la multiplication dans N. Rémi Thevenoux 13 mars 2007 à 12:29 (CET)

en effet, merci ! Peps 13 mars 2007 à 14:20 (CET)

Une critique

Une première lecture montre un véritable progrès par rapport à la version précédente. Elle n'est pas très loin d'un BA à mes yeux, même s'il manque un sourçage un peu plus précis (je suis à la disposition de la communauté si le besoin s'en fait sentir) et certains petits détails à polir.

A mes yeux, nous sommes encore loin d'un A.d.Q. pour une raison de fond beaucoup plus grave à mes yeux. L'article, tel qu'il est conçu vise deux objectifs trop contradictoires pour être aisés à exploiter par nos lecteurs.

• D'un coté, il se veut une introduction au concept de structure de groupe. Il vise alors un public cherchant des informations plutôt scolaires et l'article apparaît très incomplet. L'unicité de l'élément neutre, ou du symétrique est absente, des lois élémentaires comme a.b = a.c => b = c, etc... A mon avis, WP à besoin d'un article mathématique vraiment introductif à la notion de structure, bien relié aux articles connexes comme sous-groupe distingué, le morphisme de groupe et leur factorisation, le Théorème de Lagrange sur les groupes puis l'automorphisme intérieur, la classe de conjugaison etc... Il y a largement de quoi faire et le savoir associé me semble hautement encyclopédique et mériter une place dans WP.

• D'un autre coté, il se veut un tour d'horizon des groupes en mathématiques. Le public est alors totalement différent, ainsi que les objectifs. Le premier rôle de l'article est de pointer vers les bon paquets d'articles spécialisés sur le sujet. Pour l'instant, l'écart entre le savoir déjà accumulé sur les groupes et l'article est vaste. Il n'existe aucun travail de synthèse sur cette question. Des pans entiers de la théorie des groupes sont donc partiellement traités dans WP mais aucun échos ne se trouve dans cet article. Je pense particulièrement aux groupes algébriques d'ordre infini comme les groupes de tresses ou encore le groupe abélien de type fini ou encore les revêtements avec les groupes d'homotopies comme le groupe fondamental.

Cette approche, qui était ce que l'on faisait de mieux en 2006 2007, me semble maintenant obsolète. Le néophyte est un peu désarmé par l'absence de propos élémentaires, l'expert sera bien étonné d'apprendre que pour WP, les gros groupes finis simples, comme le monstre, se traitent avec les théorèmes de Sylow et non des méthodes beaucoup plus puissante comme la théorie des représentations d'un groupe fini ou les réseaux, sujets déjà traités de manière encore très naïve dans WP, certes, mais déjà sur plus d'une centaine de pages. Jean-Luc W (d) 14 avril 2009 à 13:13 (CEST)

Je ne comprends pas ces critiques, car l'unicité de l'élément neutre est traitée (et fait même l'objet d'un titre de section). D'autre part, l'allusion au groupe monstre et autres commence par "La classification des groupes finis mène rapidement à des mathématiques profondes et difficiles." et même dans l'intro : "Une théorie particulièrement riche a été développée pour les groupes qui possèdent un nombre fini d'éléments, qui a culminé avec la classification des groupes simples finis, achevée en 1983." ce qui ne doit pas laisser penser au lecteur qu'on se contente des th de Sylow. Quant aux "propos élémentaires", il représentent bien la moitié de l'article, soit plus de 10 pages A4, avec deux exemples traités à fond. Je ne crois pas qu'un tel article ait pu exister en 2007 sur WP. Les références seront ajoutées peu à peu. Je les ai enlevées de l'article anglais car on doit pouvoir citer des sources françaises. ---- El Caro ^bla 14 avril 2009 à 13:28 (CEST)

El Caro m'a notifié de cette discussion, que je trouve valable. (J'ai contribué pas mal à l'équivalent anglais de cet article, dont l'article francais est largement inspiré.) Je vais essayer d'esquisser mon idée de la question. Il est vrai que l'article, dans sa forme presente, a une audience mixte. Evidemment, les trucs élémentaires seraient plutôt peu intéressant pour les chercheurs, l'histoire aurait des lecteurs particuliers aussi etc. etc. Mais, quand même, je ne vois ceci comme faiblesse de l'article. Je ne suis pas au courant comment les "guidelines" sont ici, mais à mon avis le but doit être d'écrire quelque-chose de compréhensif. Par consequent, il y aura des différents niveaus de texte et de lecteur. Sans doute, il est fort raisonnable de créer des sous-articles (par exemple, voir en:Elementary group theory qui est plus élementaire, en:Glossary of group theory est un survol sur tout les techniques, en:Group theory est plus avancé (mais peu complet, bien sûr). Mais, ce serait, a mon avis, un biais non-négligeable "de la réalité des groupes" de ne presenter que soit des trucs faciles ici, soit des trucs difficiles. Imaginons que cet article n'aurait que des fait plutot élémentaires (partant de la définition, consequences élémentaires, allant jusqu'à Sylow, disons). Un lecteur qui ne le sait mieux penserait que c'est tout! Mais il est, je suis convaincu, crucial de évoquer l'image telle qu'elle est, càd, en partant des faits elementaires, on arrive (assez vite...) à des questions profondes. Jakob.scholbach (d) 1 mai 2009 à 20:40 (CEST)

théorie des groupes

L'en-tête mentionne : "Cet article concerne une introduction au concept de groupe. Pour un approfondissement, voir théorie des groupes". Sur les pages anglaises correspondantes, ça se justifiait pleinement. Mais ici, c'est hélas faux (aujourd'hui), et le lien dans "Voir aussi" suffirait. Je signale par ailleurs une bizarrerie : la page Discussion:théorie des groupes est redirigée vers Discussion:modèle standard. Anne Bauval (d) 7 décembre 2009 à 00:28 (CET)

J'ai effacé la redirection. D'accord avec le reste. Liu (d) 7 décembre 2009 à 01:12 (CET)

reseau

Certains auteurs classe les "reseaux" parmi les groupes, or cet article n'en parle pas ... Un reseau est il un groupe ?--zorg (d) 19 janvier 2010 à 15:25 (CET)

bien vu ! j'ai rajouté vite fait réseau (géométrie) dans la section "Voir aussi", en attendant que quelqu'un peaufine Anne Bauval (d) 19 janvier 2010 à 22:18 (CET)

Suppression d'une incohérence ?

Je trouve que cette modification n'est pas très heureuse. La version originale était rigoureuse, je ne vois pas d'incohérence ? La formulation dans la nouvelle version laisse penser qu'un groupe est un ensemble qui peut être muni d'une structure de groupe, ce qui est incorrect. Un groupe est vraiment un ensemble plus une loi de groupe. Un ensemble n'est jamais un groupe. Liu (d) 14 septembre 2010 à 22:27 (CEST)

Un groupe trivial est-il simple ?

L'article dit : "Un groupe G est dit simple si ses seuls sous-groupes normaux sont son sous-groupe trivial (réduit à l'élément neutre) et le groupe G lui-même."

Mes livres (Rotman 1999, p. 39; Bourbaki, Algèbre, ch. 1, 1970, p. 36...) imposent en plus au groupe de ne pas être trivial. Donc, d'après mes livres, il faudrait : "Un groupe G est dit simple s'il n'est pas réduit à son élément neutre et que ses seuls sous-groupes normaux sont son sous-groupe trivial (réduit à l'élément neutre) et le groupe G lui-même."

La terminologie est-elle flottante ? Marvoir (d) 1 novembre 2010 à 14:53 (CET)

P.S. J'ai mis la même remarque sur la page de discussion de l'article Groupe simple. Marvoir (d) 1 novembre 2010 à 15:01 (CET)

Modèle:StructuresSemblablesGroupes

traduit de l'anglais (et visible en fin de cet article), il me fait douter (de lui et de moi). Par exemple, que signifie "oui" dans la colonne "inverse" pour un quasigroupe qui n'a pas de neutre ? Anne Bauval (d) 20 janvier 2011 à 16:08 (CET)

Corrigé. Liu (d) 20 janvier 2011 à 16:35 (CET)

Merci, ça me rassure (j'ai re-corrigé car tu t'étais trompé de ligne). pas compris ton commentaire de diff ; moi en tous cas tu ne m'as jamais vexée. Et que penser des neutres (donc aussi des inverses) dans un groupoïde ? Anne Bauval (d) 20 janvier 2011 à 17:27 (CET)

Merci d'avoir corrigé. Pour les groupoïdes, il fallait diriger le lien vers les groupoïdes en catégorie. Il y a des neutres comme dans toute catégorie, et tout élément a un inverse par définition des groupoïdes. Ceci dit, quand la loi de composition interne n'est pas définie en totalité, je ne sais pas si la notion de neutre et d'inverse est définie et si cela a un intérêt... désolé pour mon commentaire obscure, je me faisais cette réflexion rapport à mon interventation dans la pdd sur les espaces connectifs, tu n'es évidemment pas visée. Liu (d) 20 janvier 2011 à 21:26 (CET)

Les groupoïdes sont bien mieux expliqués sur la page anglophone, avec des sources. Liu (d) 20 janvier 2011 à 21:32 (CET)

Vu, merci (du coup j'ai vu que tu avais aussi rectifié ce modèle sur :en) Anne Bauval (d) 21 janvier 2011 à 00:10 (CET)

Toujours sur les pages anglophones, il y a une définition de l'inverse d'un élément quand il n'y a pas d'élément unité (en gros on demande que a*b soit idempotent), mais c'est pour une loi associative. Liu (d) 22 janvier 2011 à 00:18 (CET)

Ah oui, tiens ! Bon, je signale cette discussion-ci sur la page Discussion:Inverse et je poursuis là-bas. Anne Bauval (d) 23 janvier 2011 à 15:45 (CET)

File:Cayley Graph of Dihedral Group D4.svg has been changed

The greek letters in the file have been replaced by a and b. (So the description is now like in File:Dih4 cycle graph.svg.) But more important is the following: The old description was meant as "left multiplication", which was rather strange and complicated. Now it's easier.

The description in the article should be changed from this to this version. -- en:User:Lipedia -- Lipedia (d) 13 février 2011 à 22:35 (CET)

Modifs du 23/03/11

D'accord avec les retours à la ligne et le titre "Histoire". Pas d'accord avec la reformulation de la première phrase (la définition antérieure était plus correcte) ni avec l'ajout d'une phrase pleine de mots rébarbatifs : ils figurent dans la section finale "Généralisations" et à mon avis doivent s'y cantonner pour ne pas effaroucher inutilement le lecteur. Anne Bauval (d) 24 mars 2011 à 01:23 (CET)

même avis. Proz (d) 24 mars 2011 à 01:56 (CET)

heu ... pas entèrement en fait. Désolé d'être seulement négatif, mais il y a un problème aussi avec le titre "Histoire" : ce titre de section figure déjà dans l'article, plus loin (ça me va très bien) de façon mieux appropriée. Là il s'agit d'un bout de résumé qui ne parle pas exactement que d'histoire, et qui était à sa place dans le résumé introductif, en particulier les sources sont dans le paragraphe "Histoire" (l'autre). Je n'ai pas lu l'article mais, en survolant, ça a l'air plutôt réfléchi et construit, il faudrait y regarder à deux fois avant de le bousculer. Proz (d) 24 mars 2011 à 02:21 (CET)

Ah oui, pardon j'avais zappé ça (il est trop long cet article ! ). Donc je retire ma première phrase d'accord. Anne Bauval (d) 24 mars 2011 à 02:59 (CET)

C'est vrai que ça fait bizarre d'appeler un groupe un magma associatif unifère. Pour les deux morceaux de "Histoire", il faudrait pouvoir les fusionner ou en supprimer un. Liu (d) 25 mars 2011 à 23:35 (CET)

Je n'ai rien contre l'idée que mes modifs soient retirés. Par contre la séparation de la partie « histoire » me semble indipensable pour ne pas avoir une intro surchargée. --Psychoslave (d) 25 mars 2011 à 23:41 (CET)