Discuter:Extension quadratique

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

	Extension quadratique fait partie du projet Mathématiques, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés aux mathématiques. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet, où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail Mathématiques pourrait aussi vous intéresser.
À évaluer	Cet article a été classé comme d'Avancement ? selon le Tableau d'évaluation du projet. (Voir les statistiques)
À évaluer	Cet article a été classé comme d'Importance ? selon le Tableau d'évaluation du projet.

Je vois que Jean-Luc est en plein boulot, donc je passe par la Pdd :

• il existe un article/ébauche corps quadratique. Ce n'est pas un doublon, puisqu'il ne concerne que les extensions de Q. Je vois ainsi le découpage entre les deux : l'algèbre dans extension quadratique, l'arithmétique dans corps quadratique, pour faire court.

Je préconise une différence qui me semble plus naturelle, quitte à modifier le titre plus tard : extension quadratique traite de la notion de corps, corps quadratique des anneaux d'entiers quadratiques. La division me semble plus naturelle. Mon idée fait-elle des adeptes ?

extension quadratique traite de la notion de corps, corps quadratique des anneaux d'entiers quadratiques : bah, c'est ainsi que je vois la séparation entre l'algèbre et l'arithmétique. Tu avais compris quoi ?

• penser à la théorie d'Artin-Schreier, au moins dans la section motivation, pour que le lecteur qui veut la caractéristique 2 sache où regarder.

Merci de m'y faire penser, je partage totalement cette opinion. Mon idée est de botter en touche pour avoir un article simple, mais un lien pour ne pas laisser le lecteur démuni.

• je ne sais pas s'il est très judicieux de décrire la construction du corps dans la section cas général. Je proposerais de se placer dans une clôture algébrique. Mes arguments, à discuter, bien sûr : c'est plus court, on fait mieux ressortir ce qui est propre au degré 2 (à savoir la factorisation canonique et toute extension quadratique est extraction de racine), et je ne sais pas trop quel lecteur sera vraiment éclairé par la construction du quotient, qui bloquera sur clôture algébrique (quitte à dire avec les mains, c'est un surcorps qui contient toutes les racines qu'on veut). Salle (d) 20 février 2008 à 19:55 (CET)

Je suis toujours gêné d'utiliser la clôture algébrique pour les petites extensions. Dans le cas général, pour pouvoir construire la clôture algébrique, il faut un savoir bien plus étendu que pour étudier les petites extensions. Maintenant j'imagine que beaucoup de lecteur penseront aux corps quadratiques. Je crains, malheureusement que tu n'ai raison. Jean-Luc W (d) 21 février 2008 à 15:32 (CET)

Je pense que ce problème est plus général que les extensions quadratiques. Je trouve personnellement que ce n'est pas bien d'invoquer l'existence de la clôture algébrique pour justifier l'existence d'un extension intermédiaire. D'autant plus que pour construire la clôture algébrique, soit on invoque le fait que Q est sous-cors de R contenu dans C etc... (en gros on invoque le thm de d'Alembert-Gauss), soit on invoque l'axiome du choix, soit on utilise une limite inductive (je pense qu'ici on sait de quoi je parle) construite à l'aide des quotients pas à pas. Le premier cas est correct mais lourd, le scond invoque un axiome souvent inutile, le troisième cas ça tourne en rond. Donc j'ai personnellement tjs préféré la construction à partir du quotient surtout que quand l'on y réfléchit c'est ce qui s'est passé inconsciemment quand un type a dit je vais rajouter i pour régler le problème de la racine de -1. Mais après si l'on se met à la place d'un type sortant de Terminale ou de prépa parler de quotient ou autre va lui paraitre compliqué alors que R il connait. Tout ça pour dire que je pense que les deux approches devraient être présentes clôture algébrique (C dans les cas particuliers) pour les gens qui découvrent, et quotient d'anneau pour les autres. Noky (d) 21 février 2008 à 16:10 (CET)

Personnellement, je trouve notre Salle national Nietschéin c'est à dire par delà le bien et le mal. Mais c'est une opinion qui n'engage que moi. En revanche, je suis plutôt tendance Noky. Attendons la réponse de Salle. Noky, ton opinion m'intéresse aussi sur le partage corps quadratique couvre les fermetures intégrales et extension quadratique couvre les propriétés que pompeusement on peut qualifier de Galoisienne. Le premier est un article qui se veut simple, le second est plus corsé. Je milite en faveur d'un découpage de cette nature, est-ce justifié ? Jean-Luc W (d) 21 février 2008 à 16:25 (CET)

Je vois pas bien où est le problème. Tels que je les vois, les deux articles m'ont l'air bien. Bon je regrette que le premier ne parle pas de Galois, de groupe d'inertie, de ramifications, de la célèbre formule : degré = inertie * ramification * cardinal (ou n=e*f*g) etc. Mais peut-être faut-il laisser ce sujet à entiers algébriques. Noky (d) 21 février 2008 à 16:40 (CET)

Je modifie l'esprit d'un article, ce qui peut être une bonne chose ou une vue de l'esprit. Voilà pourquoi j'aime bien avoir des avis extérieurs. Avec ce nouveau découpage, le cas particulier du théorème de Kronecker-Weber qui dit qu'un corps quadratique est un sous-corps d'une extension cyclotomique passe dans extension quadratique. Je compte faire un article introductif. Dedekind (facile en dim 2), puis discriminant, forme trace, idéal fractionnaire, les idées de Kummer (tout se passe bien sur les idéaux) puis conclure sur le groupe des unités et un peu d'inertie. Ensuite, il faudra vitaminer sérieusement les articles Anneau de Dedekind, Anneau noethérien, Entier algébrique, Discriminant, Idéal fractionnaire, Ramification, groupe des classes etc... Jean-Luc W (d) 21 février 2008 à 16:56 (CET)

@Noky : oui, clairement, si on s'oriente vers le partage sur lequel Jean-Luc et moi sommes d'accord, et toi aussi apparemment, on ne peut pas mettre la ramification dans l'article extension, puisque c'est une propriété qui porte sur les idéaux, donc sur les entiers. J'en profite pour faire de la pub pour deux trucs qui existent, certainement à faire évoluer aussi, mais auxquels on peut se référer : décomposition des idéaux premiers et décomposition des idéaux premiers dans les extensions galoisiennes (bon, les titres sont ce qu'ils sont).

Sur le paragraphe Cas général/Construction, je crois qu'on s'est compris, et devant ce désaccord irréductible, je quitte wikipedia en claquant la porte. En plus, si c'est pour recourir aux insultes (nietzschéen toi-même !)... Non, j'rigole. Bof, je reste d'accord avec mes arguments ci-dessus. Puisque vous semblez être deux à préférer garder, je préconise au moins de dire d'emblée : cette construction n'est pas propre aux extensions quadratiques, elle se généralise telle quelle à une extension de degré fini quelconque (pourvu qu'un polynôme irréductible de degré adéquat existe), voir anneau quotient. De plus, toutes les extensions finies peuvent aussi être obtenues comme sous-extension d'une extension remarquable, donnée par toutes les racines de tous les polynômes, la clôture algébrique. Voilà, voilà, Salle (d) 21 février 2008 à 18:17 (CET)

Mais peux-tu brièvement exposer ce qui dans ton point de vue est propre au degré deux. (je suppose que tu prouves l'existence grâce à la clôture algébrique), mais c'est quand tu dis « c'est plus court, on fait mieux ressortir ce qui est propre au degré 2 (à savoir la factorisation canonique et toute extension quadratique est extraction de racine) », j'avoue ne pas voir de quoi tu parles (surtout la factorisation canonique). Et je maintiens que je suis pour que l'on fasse cohabiter les deux points de vue, le tien(s?) en premier (du moins l'existence par la clôture) plus pour des questions d'accessibilité que de majorité. Noky (d) 21 février 2008 à 18:36 (CET)

(conflit d'edit avec JL ci-dessous, vu, et ok) Ce qui est propre au degré 2 (toujours parmi ce qui figure dans la section Cas général/Construction), c'est que sur tout corps de caractéristique raisonnable, toute extension quadratique est donnée par extraction d'une racine carrée. Ce n'est pas vrai pour les extensions de degré supérieur. Typiquement, la théorie de Kummer dit que ça marche pour les extensions de degré p sur un corps (commutatif, de caractéristique différente de p) contenant les racines p-èmes de l'unité. Comme tout corps (commut, etc.) contient les racines 2-èmes de 1, on a ce qu'on veut ; mais on peut aussi (surtout le faire avec le petit calcul de factorisation d'un trinôme du second degré qui figure dans l'article. J'espère avoir expliqué ce que j'entendais par la phrase que tu as citée. Salle (d) 21 février 2008 à 18:52 (CET)

J'achète le compromis, on commence par le simple la clôture quadratique pour ceux qui connaissent C, on explique qu'il faudrait sortir l'artillerie lourde pour une solution générale, on quotiente alors et youp la boum. J'ai vu les articles sur les factorisations que je compte bien sur utiliser. Ramification c'est pour corps quadratique, mais dans un article qui se voudrait élémentaire, je ne sais pas si j'irais jusque là. Jean-Luc W (d) 21 février 2008 à 18:46 (CET)