summaryrefslogtreecommitdiffstats
path: root/chapitres
Commit message (Collapse)AuthorAgeFilesLines
* [mod p] Ajout remarque optimiste : version forte sera également démontréeFabrice (Polytechnique)2011-03-241-1/+2
|
* [ucs,KASW,Azu,Alg,versel] unicodification de la racine ;)Fabrice (Polytechnique)2011-03-244-95/+95
|
* [AVD, corps locaux/globaux] petite réorganisation + précision sur plan ↵Fabrice (Darwin)2011-03-242-253/+349
| | | | adèles/idèles et Riemann-Roch
* [AVD] énoncé équation fonctionnelle pour ζ locale.Fabrice (Darwin)2011-03-231-13/+63
|
* [AVD] dualité des corps locaux (début)Fabrice (Sorcerer)2011-03-231-0/+140
| | | | Sauvegarde avant de redémarrer sous Fedora...
* [Calculs] Une bribe de démonstration.David A. Madore2011-03-231-0/+47
|
* [Alg] Extension séparable maximale dans une extension algébrique donnée.David A. Madore2011-03-231-5/+18
|
* [calculs] Petits demaniements pour la clarté de la section sur les ↵David A. Madore2011-03-231-43/+59
| | | | résolvantes.
* [calculs] Promotion de sous-section à section de la partie sur Tschirnhaus.David A. Madore2011-03-231-250/+255
| | | | Du coup, je la déplace avant les résolvantes.
* [biblio, Dedekind] ajout référence Iwasawa-TateFabrice (Polytechnique)2011-03-221-0/+3
| | | | | Fait peu connu : la « méthode de Tate » a été également découverte (grosso modo en même temps) par 岩沢.
* [calculs] coquillesFabrice (Darwin)2011-03-111-2/+2
|
* [AVD, Dedekind] quelques énoncés à inclure.Fabrice (Darwin)2011-03-112-2/+42
| | | | | Les résultats de ces deux chapitres vont être probablement considérablement réorganisés dans un avenir proche.
* [calculs] Analyse galoisienne de l'exemple de deux polynômes irréductibles ↵David A. Madore2011-03-111-4/+62
| | | | de même degré ayant même corps de décomposition mais pas Tschirnhaus-équivalents.
* [calculs] Réorganisation importante de la section sur les transformations ↵David A. Madore2011-03-111-120/+225
| | | | de Tschirnhaus.
* [Om] création fichierFabrice (Darwin)2011-03-021-0/+64
|
* [AC, AVD, Dedekind] suite ébauche de plan détaillé.Fabrice (Darwin)2011-03-023-52/+483
| | | | Il reste encore beaucoup à faire.
* [calculs] Transformations de Tschirnhaus sur des puissances d'un polynôme, ↵David A. Madore2011-03-021-6/+140
| | | | et autres joyeusetés.
* Merge branch 'master' of git.madore.org:galoisDavid A. Madore2011-03-021-1/+1
|\
| * [Fin] coquilleFabrice (Darwin)2011-03-021-1/+1
| |
* | [Fin,ACF] Déplacement de l'étude du caractère quadratique vers le ↵David A. Madore2011-03-022-608/+633
|/ | | | | | | | | | | | chapitre « corps finis ». La définition du caractère quadratique, ses propriétés de base, et la démonstration de la loi de réciprocité quadratique et de la formule complémentaire sont déplacés là (depuis le chapitre sur l'algorithmique des corps finis) parce qu'elles sont plus centrales que les questions d'algorithmique, que ça prépare à ce qui suit (étude des sommes de Gauß et de Jacobi), et que c'est globalement plus cohérent.
* [AC] une notationFabrice (Darwin)2011-02-231-0/+8
|
* [Dedekind] quelques ajouts (fonctions ζ)Fabrice (Darwin)2011-02-231-9/+65
| | | | | | | À faire : trouver un bon cadre pour définir le genre, démontrer Riemann-Roch/+Hurwitz etc. Probablement méthode adélique (mais trop parachutée dans [Rosen] il me semble).
* [AC,AVD,modp,Dedekind] coquillesFabrice (Darwin)2011-02-234-67/+67
|
* [Dedekind] une esquisse de plan auquel il manque notamment…Fabrice (Darwin)2011-02-231-3/+399
| | | | | — les adèles/idèles — le théorème de Riemann-Roch [à mettre à part ?]
* [AVD] une formulation de Hensel+Puiseux et un toudou cyclotomiqueFabrice (Darwin)2011-02-231-3/+17
|
* [AC,AVD,Dedekind,plan] création deux fichiers et début de plan détaillé ↵Fabrice (Darwin)2011-02-233-1/+622
| | | | | | | | | (+copié-collé) Tout ce qui est copié-collé sera à réécrire totalement ; ces énoncés/démonstrations commencent par un \XXX J'aurais pu les commenter mais cela peut faire un bon point de départ.
* [AC, plan, livre] mise au propre mineureFabrice (Darwin)2011-02-211-9/+3
|
* [modp] création du fichier Cebotarev.tex par copié-collé (cours à Princeton)Fabrice (Darwin)2011-02-211-0/+538
| | | | | | Bien entendu, tout est à réécrire, mais cela va permettre d'y voir plus clair sur ce qu'il faut inclure avant. Pour les exemples, cf. les feuilles de TD de David notamment.
* [AC, RT, Azu, CG, Alg] mise au propre partielle suite au gros copié-colléFabrice (Darwin)2011-02-215-71/+72
|
* [AC, Ent] copié-collé massif de Ent dans ACFabrice (Darwin)2011-02-212-970/+979
| | | | | | Je ne vois plus de raison de séparer le chapitre sur les entiers du chapitre d'algèbre commutative (et moins encore de le placer en première position).
* [AC] esquisse th. de comparaison de Riemann (courbe + dévissage)Fabrice (Polytechnique)2011-02-211-12/+162
|
* [Ent] un lemme sur fermeture intégraleFabrice (Polytechnique)2011-02-211-0/+12
|
* [AC] création du fichier chapitre Algèbre commutative + début planFabrice (Polytechnique)2011-02-211-0/+194
| | | | | | | | | J'inaugure une nouvelle méthode : plutôt que d'écrire trois fois le même chapitre (du début du livre) et d'être un peu découragé en avançant à 2 à l'heure, je vais écrire des énoncés (=plan super-détaillé). Cela évitera de me rendre compte a posteriori que l'on a a absolument besoin du concept X pour démontrer Y... À voir.
* [Fin] coquilleFabrice (Polytechnique)2011-02-211-1/+1
|
* [Fin,Cons] gros copié-collé Cons ⤳ Fin (sommes de Gauß, hypersurfaces ↵Fabrice (Polytechnique)2011-02-212-651/+666
| | | | | | | | | | | | diagonales) À faire : — relire/réécrire cette partie du texte — mieux faire le lien avec [ACF] (réciprocité quadratique) et [Cons] constructibilité ζ_p — rédiger démo Hasse-Davenport, formule pour nombre de points hypersurface diagonale La fonction ζ a proprement parlé sera introduite en [AC] seulement sans doute.
* [Alg] coquillesFabrice (Polytechnique)2011-02-211-2/+2
|
* [KASW] coquilleFabrice (Polytechnique)2011-02-211-3/+3
|
* [ACF] ajout étiquetteFabrice (Polytechnique)2011-02-211-0/+1
|
* [Fin] polynômes cyclotomiques sur 𝐅_p et Dirichlet faible.Fabrice (Polytechnique)2011-02-181-0/+38
|
* [ACF] mini-variante démonstration formule complémentaireFabrice (Polytechnique)2011-02-171-0/+7
|
* [versel] paramétrisation rationnelle de la cubique diagonale de ClebschFabrice (Polytechnique)2011-02-171-1/+11
| | | | | Cf. A remark on parameterizing nonsingular cubic surfaces doi:10.1016/j.cagd.2009.06.001
* [versel] suggestion d'ajout (théorème d'Hermite X⁵+aX³+bX+c ↔ surface ↵Fabrice (Polytechnique)2011-02-171-0/+28
| | | | | | | | cubique lisse) Il n'est pas clair que cela soit faisable géométriquement. Comme David connaît les 27 droites sur les surfaces cubiques, il y a peut-être un espoir (?).
* [calculs] Transformations de Tschirnhaus pour des polynômes (unitaires) ↵David A. Madore2011-02-161-105/+189
| | | | quelconques.
* [CG, Alg, formes] améliorations sorites en vue de réécriture ↵Fabrice (Darwin)2011-02-163-158/+89
| | | | | | | | | | Galois-Grothendieck Toudou : — Hom_k(V,W) ⥲ Fix_G(Hom_K(V_K,W_K) — application à Galois-Grothendieck — améliorer [formes] : torseurs etc.
* Merge git.madore.org:galoisFabrice (Darwin)2011-02-161-5/+75
|\
| * [calculs] Transformations de Tschirnhaus et corps de décomposition ↵David A. Madore2011-02-161-6/+29
| | | | | | | | (éclaircissements + 1 exemple important).
| * [calculs] Exemple : transformations de Tschirnhaus sur un polynôme ↵David A. Madore2011-02-161-2/+49
| | | | | | | | quadratique.
* | [Spec, Alg] End_k(k^X) ⥲ End_Ens(X) déplacé vers [Alg] avec nouvelle ↵Fabrice (Darwin)2011-02-162-157/+173
|/ | | | démo et autres menus changements
* [Alg] petites clarifications sur Spec/Specmax/π₀/田Fabrice (Darwin)2011-02-161-32/+45
|
* [Spec] clarification sur ∨ et idéauxFabrice (Polytechnique)2011-02-101-1/+2
|