summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* [macros] RésFabrice (Darwin)2011-03-021-0/+1
|
* [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
|
* [livre,leitfaden] mise à jour (nouveaux chapitres)Fabrice (Darwin)2011-02-232-4/+15
|
* [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-234-2/+623
| | | | | | | | | (+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.
* [plan] chapitres : une séparation et une fusion ; ajout de détailsFabrice (Darwin)2011-02-231-45/+36
|
* [AC, plan, livre] mise au propre mineureFabrice (Darwin)2011-02-213-10/+11
|
* [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-214-983/+987
| | | | | | 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).
* Merge git.madore.org:galoisFabrice (Darwin)2011-02-214-24/+188
|\
| * [plan] mise à jourFabrice (Polytechnique)2011-02-211-12/+12
| |
| * [CONFIG] deux macrosFabrice (Polytechnique)2011-02-211-0/+2
| |
| * [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
| |
* | [plan] mise à jour (tardive)Fabrice (Darwin)2011-02-211-3/+3
|/
* [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
|
* [biblio] TagebuchFabrice (Polytechnique)2011-02-211-3/+5
| | | | | Problème : je n'aime guère le [Gauß, 2005]... mais le [Gauß, 1814] n'est pas parfait non plus.
* [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
|
* [ucs] ajout flèche « birationnelle »Fabrice (Polytechnique)2011-02-171-0/+1
|
* [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
* [biblio] Coray (th. Hermite)Fabrice (Polytechnique)2011-02-171-0/+15
|
* [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
|
* [plan] suppression chapitre 20 (Boole) partiellement intégré dans [Spec]Fabrice (Darwin)2011-02-161-13/+9
| | | | Le reste ira dans [AC].
* [Spec] clarification sur ∨ et idéauxFabrice (Polytechnique)2011-02-101-1/+2
|
* [Boole] mini-toudouFabrice (Darwin)2011-02-091-0/+2
|
* [Alg,Spec,formes] π₀ (suite)Fabrice (Darwin)2011-02-093-88/+178
|
* [calculs] Remarques sur la composition des transformations de Tschirnhaus.David A. Madore2011-02-091-0/+25
|
* [calculs] Transformations de Tschirnhaus et isomorphismes de corps de ↵David A. Madore2011-02-091-0/+70
| | | | rupture et de décomposition.
* [calculs] Définition et calcul de transformations de Tschirnhaus.David A. Madore2011-02-091-0/+77
|