Discuter:Théorème de Frattini

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

Sommaire

[modifier] Quelques petites remarques

Trois petites remarques sans trop d'importance :

  1. La définition d'un élément non-générateur n'est pas celle d'un élément qui n'est pas générateur. En soit, cela ne me semble pas bien grave, mais une petite remarque pour insister sur ce fait permet peut être à un lecteur trop rapide d'éviter de glisser sur une tentante peau de banane.
  2. Ensuite, Cartan à son séminaire insistait beaucoup pour éviter les futurs, il précisait qu'une propriété était est et sera vraie, indépendamment du fait qu'elle est ou non démontrée. Beaucoup de ses élèves : Grothendick, Douady ... ont perduré la tradition. Elle me semble sympathique.
  3. Enfin et personnellement, je n'aime pas beaucoup latex dans le corps de texte, l'écartement des lignes devient aléatoire et la lisibilité moins bonne. Cette position est polémique au sein de WP, certains ont la même opinion que moi et utilisent l'argument d'une meilleur accessibilité pour les aveugles, d'autres sont d'avis contraire. Aucune majorité ne semble s'être dégagée. Le seul point qui devrait faire consensus (mais qui ne concerne pas cet article et sur lequel je n'ai aucun élément pour étayer ce propos) est qu'un article avec un style ne doit pas changer en cours de route, ce n'est pas agréable.

Plus important :

  1. Sans catégorie, il est bien difficile de trouver l'article, pour cette raison, il me semble utile voir important d'offrir au moins une catégorie, ici, j'imagine groupe fini. Un petite ligne d'explication dans les p-groupes est toujours sympathique, j'ai vu qu'il est cité, mais si le lecteur ne connait pas ce résultat ou sous ce nom là, il passe peut être à coté de l'information clé pour lui.
  2. Enfin, au moins une référence, c'est sympathique pour celui qui cherche à aller plus loin et pour ajouter de la crédibilité à l'article. Comme tu l'as surement constaté, WP est parfois fragile sur certains articles, le lecteur intéressé par ce type d'article et utilisant WP est très probablement au courant. Les articles référencés sont souvent plus précis. Un lien interwiki est aussi sympa, il permet d'accéder directement à une information de même nature parfois traité différemment. Personnellement, j'en mets un en anglais, les robots font en général le reste. Ici l'article s'appelle Frattini subgroup et la syntaxe est en:Frattini subgroup entre quatre crochets.

PS: En conclusion, voilà un article bien sympathique. Jean-Luc W (d) 20 février 2008 à 16:35 (CET)

Je ne sais pas comment marche les catégories ni les liens interwiki. Et au sujet des références c'est bien là un gros problème. Et sinon pour les remarques sans importance je ne vois pas où j'ai utilisé le futur. Noky (d) 20 février 2008 à 16:54 (CET)

J'ai mis un exemple pour les catégorie et un lien interwiki. Pour le lien, en fait j'ai tapé Frattini sur WP anglais, il propose alors un ensemble d'article. J'ai pris celui qui me semble le plus proche (même si en fait l'article anglais couvre aussi le cas non fini). Pour le futur, je pensais à On va montrer que, c'est vraiment du pinaillage à la Cartan, cette remarque. Pour la référence, j'ai mis un lien accessible sur le Web, je n'ai pas vérifié la cohérence entre l'article et le lien. Pour la référence, personnellement je pense à Hall, c'est là que j'ai appris les groupes de Frattini, mais comme je ne compte pas vérifier la cohérence, la mettre serait abusif. Jean-Luc W (d) 20 février 2008 à 17:10 (CET)

C'est pour le lecteur que je fais ce pinaillage. J'ai souvent lu des preuves sans ce pinaillage qui affirme un truc, là je me dis d'où c'est vrai, j'y réfléchis, perds du temps relis le début puis au bout d'une demi-heure d'énervement je me rends compte que c'est qqc qu'il va montrer (parfois en trois pages). Et suivant le principe << Ne fais pas aux autres ce que tu ne veux pas que l'on te fasse. >> j'écris on va montrer. Après c'est un question de style. et je dois avouer que j'ai toujours trouvé que Cartan est un mec qui sait rédiger une preuve. La référence je ne peux la mettre sans la connaitre. Et la preuve je l'invente au fur et a mesure. Je ne la recopie pas. Noky (d) 20 février 2008 à 17:40 (CET)

J'étais imprécis dans ma rédaction, je pense que c'est moi et pas toi qui pinaille. Je suis parfaitement d'accord avec ce futur. C'est toujours dangereux d'écrire une preuve sans référence. L'énergie passé à rédiger proprement entraine parfois des erreurs. Nous avons tous commencé comme ça. Puis le temps passant, on référence de plus en plus. Officiellement c'est interdit d'écrire sans référence, en pratique, pour les démonstrations qui nous semblent simples on ne se prive pas beaucoup. Quand c'est plus technique, on préfère une source, c'est plus sympa pour les relecteurs. Pour la preuve par l'algèbre de d'Alembert Gauss, j'ai lu celle de Frobenius : aussi légère qu'une soupe au choux teutonique. J'ai donc complètement repris la tienne, beaucoup plus élégante, même si dans le fond elles sont équivalentes. Mais j'étais moins gêné, réécrire une démonstration sans en modifier le contenu n'est pas trop dangereux. Jean-Luc W (d) 20 février 2008 à 18:17 (CET)

[modifier] Amélioration possible

  • Ben voilà la preuve est finie. J'ai essayé de ne pas trop mélanger Latex et les formules. Une relecture est la bienvenue.
  • Après peut-être qu'elle peut être clarifiée, précisée... Sinon je me disais qu'un petit historique serait le bienvenue. J'ai d'ailleurs remarqué qu'il n'y avait pas d'article sur Frattini c'est peut-être normal, peut-être pas. Voilà si qqn a des références à ce sujet là qu'il les cite, elles seront les bienvenues.
  • Et peut-être même que l'on pourrait parler du sous-groupe de Frattini pour un groupe infini.
  • Sinon j'ai nommé l'article théorème de Frattini, mais il n'est peut-être pas nommé ainsi dans la littérature on parle peut-être que du sous-groupe de Frattini et de l'espace de Frattini (l'espace vectoriel qui résulte du quotient). Alors peut-être qu'il faudrait créer deux pages dont l'une dirige sur l'autre et virer celle ci.

Noky (d) 20 février 2008 à 21:33 (CET)

[modifier] Idées d'améliorations

Plusieurs buts a mon sens sont déjà atteints, la rédaction est limpide et le plan est clair. Il est agréable et de bon goût.

[modifier] Motivations

La partie qui, à mon sens manque maintenant le plus est la motivation. A quoi un tel théorème sert ? ou encore quels en sont les usages. Une technique que j'utilise est l'historique du théorème. En répondant aux questions : pourquoi son découvreur a-t-il écrit l'article fondateur en 1895 ? pourquoi Hall le reprend ? Qui l'utilise ? C'est une technique, d'autres fonctionnent autrement : qu'importe le flacon pourvu qu'on ait l'ivresse.

Une telle approche m'est utile car elle m'aide à prendre connaissance des articles connexes qui se trouvent enrichis par l'apport du nouvel article. Elle permet, par un judicieux choix de liens bleus de rendre l'article accessible plus facilement pour le lecteur un peu perdu dans les 600 000 articles disponibles.

Une fois la motivation décrite, une question s'éclaircit : l'article doit-il plutôt traiter des groupes de Frattini, du cas général avec l'ordre infini, uniquement du théorème ? Une aide que j'utilise sont les articles connexes dans les autres langues (en pratique uniquement anglais et allemand) et beaucoup Google. Le ranking de Google dépend aussi du nombre de personnes qui lisent l'article, il montre ainsi les thèmes les plus lus sur un sujet précis. Dans ton cas on trouve : 1) A class of Frattini-like subgroups of a finite group un article inaccessible qui semble attacher de l'importance à l'ordre infini 2) les transporteurs et les groupes de Fittings 3)Groupes de Galois arithmétiques encore un truc inaccessible mais qui ajoutent des mots intéressants à la question : Galois et arithmétique 4) les.mathématiques.net tient un site grand public avec une question intéressante ? puis-je trouver le groupe de Frattini de GLn(Fp) avec l'article de WP ? ouaip mais j'aurais pu être plus aidé. A quoi ça sert de connaitre ce sous-groupe ? J'ai bien une idée mais je ne suis pas sur de moi.

Tu sais que tu as gagné quand le site WP est en numéro 1. C'est étonnamment rapide.

[modifier] Wikification

Un autre axe d'amélioration est la wikification, c'est à dire l'ajout des liens bleus dans l'article pour permettre au lecteur d'approfondir les différents points où il n'est pas suffisamment à l'aise. C'est un jeu amusant et subtil. Mon erreur initiale était de trop wikifier. J'aurai ainsi wikifier ensemble. Avec le temps et les remarques d'autres contributeurs, je me suis rendu compte qu'un lecteur qui a besoin de précision sur le mot ensemble pour un article de cette nature est probablement une cause perdue. Je fais une exception à l'introduction, un lecteur peut être égaré. En revanche j'imagine des liens sur les mots Fp, orbite (je sais qu'il existe déjà un lien vers action de groupe, mais personnellement je double), distingué (un peu limite, celui là). Jean-Luc W (d) 21 février 2008 à 11:20 (CET)


[modifier] Introduction

La règle veut qu'un article n'ait pas d'introduction, mais un résumé introductif, la règle du jeu y est explicité.

L'objectif est, le plus rapidement possible permettre au lecteur de savoir de quoi il s'agit : de math, d'algèbre de théorie des groupes spécifiquement sur un groupe fini. Une proportion non négligeable de lecteurs trouveront l'article par hasard et souhaitent rapidement savoir si cet article répond ou non à leur question. J'ai fait un tout petit quelque chose pour donner une idée d'exemple. Jean-Luc W (d) 21 février 2008 à 08:19 (CET)

[modifier] Mon idée à moi

Le théorème de Frattini est (aussi) un théorème sur les pro-p-groupes. Je n'ai pas lu la preuve ni dans le cas fini, ni dans le cas profini récemment, mais j'imagine qu'elles doivent être essentiellement identiques. Voir par exemple (en) Luis Ribes, Pavel Zalesskii, Profinite groups [détail des éditions]. Comme application, je propose aussi le problème des tours de corps de classes, résolu grâce au théorème de Golod-Chafarevitch ; c'est déjà évoqué dans corps de Hilbert. Bon, ça fait du boulot, à voir les liens. Salle (d) 21 février 2008 à 18:28 (CET)