Discussion:Tour d'extensions quadratiques

message: Il me semble plus logique (et probablement plus sourçable) de dire "Tour d'extensionS quadratiqueS". Anne Bauval (d) 1 mai 2010 à 18:41 (CEST)
thread_title:  Pluriel 

message: La reconstitution historique (non sourcée) de ce paragraphe me semble sévèrement fausse
* en lisant l'article de Wantzel : il ne parle pas de corps ni d'extension mais parle directement de polynômes (enfin d'équations polynomiales), et de coefficients comme fractions rationnelles des coefficients et racines précédentes, bref si on peut suivre l'idée à la façon moderne, ça parait malgré tout assez loin ;
* il n'est pas matériellement impossible qu'il ait lu Galois avant 1846, mais ça se saurait ;
* de toute façon il n'utilise rien de la théorie de Galois (même vu a posteriori), et il s'appuie sur Gauss.
Je propose d'éliminer, il faudrait peut-être d'une façon ou d'un autre quand même garder en lien l'article de Wantzel ? Proz (discuter) 21 février 2014 à 23:33 (CET)
replies: text: Je supprime ce paragraphe qui me paraît donner une idée fausse des choses, car au rebours de la chronologie historique, c'est pour le résultat démontré par Gauss que la théorie de Galois est utilisée aujourd'hui (pas par Gauss bien-sûr), et non pour celui démontré par Wantzel. Il me paraît certain que la notion est (implicitement comme dans Wantzel) dans Gauss 1801, et probablement est-ce l'origine, donc si quelqu'un a une source pour le dire correctement ne pas hésiter, idem s'il y a quelque chose à récupérer. Proz (discuter) 24 avril 2014 à 18:20 (CEST)
thread_title:  paragraphe motivation 

message: Il y a une erreur sur le second exemple (l'hypothèse devrait être soit n est un nombre premier de Fermat, soit phi(n) est une puissance de 2), comme l'article est en cours d'édition je ne corrige pas pour ne pas interférer, d'autant que l'erreur est probablement déjà repérée. Mais je trouve par ailleurs cet article assez problématique (outre le paragraphe "motivations" ci-dessus) :
* C'est un détail mais la terminologie n'est pas universelle ni même très utilisée (je ne la trouve ni dans Carrega,  ni dans Chambert-Loir, qui parlent de suite, ni dans Samuel, ni dans la ref. en ligne en français, Lang parle de "tower of fields") ;
* l'organisation rend obscure une chose assez simple qui est que les résultats d'impossibilité ne dépendent que du résultat de Wantzel qui n'utilise pas de théorie de Galois, mais juste de la théorie des corps,
* idem pour le résultat de Gauss que l'on démontre maintenant avec de la théorie de Galois, Gauss se ramène à une racine p-ième pour p premier ce qui est facile (Bezout) et c'est aussi ce que fait Carrega par exemple, pas besoin de parler de polynôme cyclotomique en général et de renvoyer à l'article à ce sujet,
* ces choses sont ou pourraient être traitées dans les articles théorème de Wantzel et théorème de Gauss-Wantzel, en fait je ne suis pas du tout sûr que cet article soit nécessaire. 
Proz (discuter) 23 avril 2014 à 15:49 (CEST)
replies: text: (Tu aurais pu, j'étais sortie et tu peux faire tout le ménage que tu veux dans "Motivations", je n'y touche pas.) Je n'avais pas encore repéré l'erreur : j'écrème petit à petit car pour l'instant c'est effectivement artificiellement compliqué donc difficile à lire. On verra bien ce qu'il en restera (peut-être juste : « toute extension Galoisienne de degré une puissance de 2 etc. ») mais à mon avis même si cet article n'est pas très utile, ce serait de l'énergie perdue de le proposer en PàS. J'ai trouvé des refs pour « tower of quadratic extensions » : , , , . Anne (discuter) 23 avril 2014 à 19:00 (CEST)
replies: text:  Oui le terme existe (au moins en anglais). Je ne songeais pas à une suppression, éventuellement une redirection ou plutôt un article court, mais vraiment rien d'urgent. Je voudrais juste acter que l'on peut considérer ne pas "compter" sur cet article, par exemple je compte rapatrier les conséquences du théorème de Wantzel qui n'y sont pas dans l'article dédié (et j'y ai supprimé un "article détaillé" pointant ici qui ne m'a pas paru utile). Pour motivations : ok, c'est juste que je suis toujours très gêné par ces trucs historiques qui traînent ici et ailleurs, assez faux, mais rarement complètement. Proz (discuter) 23 avril 2014 à 20:18 (CEST)
replies: text: Tout bien réfléchi, cet article me semble avoir sa raison d'être, s'intercalant (petitement) entre Wantzel et Gauss-Wantzel pour traduire (sur ℚ)  "tour d'extensions quadratiques" en "extension de degré une puissance de 2". De ce point de vue, l'application "duplication du cube" resterait la seule à détailler ici, plutôt que dans Gauss-Wantzel qui est un théo sur les polygones réguliers. Anne (discuter) 23 avril 2014 à 21:13 (CEST)
replies: text:  Ok, tu as raison c'est utile pour la partie "Gauss" de théorème de Gauss-Wantzel, mais paraît quand même suffisamment général pour exister ici. Par contre pour la duplication du cube ça a sa place sur théorème de Wantzel (où c'était déjà j'ai juste un peu détaillé), et qui parle (depuis longtemps) sans les appeler ainsi de tour d'extensions quadratiques. Mais la partie "Wantzel" (la partie négative) ne demande que de la théorie élémentaire des corps et pas de théorie de Galois, et n'a pas besoin de renvoyer sur un article spécialisé. Je pense aussi mieux pour les polygones réguliers de donner la partie "Wantzel" sur l'article théorème de Wantzel et renvoyer à Gauss-Wantzel pour le théorème complet (qui lui renverra donc ici). Proz (discuter) 23 avril 2014 à 21:32 (CEST)
thread_title:  Autres problèmes