summaryrefslogtreecommitdiffstats
path: root/chapitres
Commit message (Collapse)AuthorAgeFilesLines
* [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
|
* [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
|
* [formes] configurationFabrice (Darwin)2011-02-091-2/+3
|
* [Alg] changement étiquettesFabrice (Darwin)2011-02-091-4/+3
|
* [formes] action à gauche sur π₀.Fabrice (Darwin)2011-02-091-1/+23
| | | | | Je vais changer pour l'action à droite ; cela me semble plus joli (discutable).
* [formes] mini-toudouFabrice (Darwin)2011-02-071-1/+4
|
* [Alg] améliorations mineures suite à relecture en diagonaleFabrice (Darwin)2011-02-071-84/+104
|
* [Alg] réécriture de : sous-quotient diagonalisable=diagonalisableFabrice (Darwin)2011-02-021-91/+85
| | | | | Rien de nouveau mathématiquement ; juste la présentation. (Finalement j'aime bien le style : « blabla. En résumé : Théorème. ».)
* Merge branch 'master' of git.madore.org:galoisDavid A. Madore2011-02-022-288/+284
|\
| * [Spec] oubli : Spec(∏)=∐SpecFabrice (Darwin)2011-02-021-24/+35
| |
| * Merge git.madore.org:galoisFabrice (Darwin)2011-02-021-17/+44
| |\
| * | [Alg] fusion de deux théorèmes et exercices déplacés (fin du chapitre)Fabrice (Darwin)2011-02-021-264/+249
| | |
* | | [calculs] Résolvantes pour le degré 4 (pas fini).David A. Madore2011-02-021-2/+62
| |/ |/|
* | Merge branch 'master' of git.madore.org:galoisDavid A. Madore2011-02-022-71/+179
|\ \ | |/
| * [Spec, Alg] artinien=produit fini de connexes ; cas particulier k-algèbres ↵Fabrice (Darwin)2011-02-022-71/+179
| | | | | | | | finies
* | [calculs] Différentes résolvantes en degré 3 (et rapport avec le ↵David A. Madore2011-02-021-17/+44
|/ | | | discriminant et distinguant déjà introduits).
* [formes] toudou : utiliser π₀ plutôt que K-pointsFabrice (Darwin)2011-01-311-0/+11
| | | | | | C'est plus parlant, les notations sont plus légères et c'est plus proche de l'intuition topologique (revêtements).
* [Alg] critère diagonalisabilité via ♯π₀Fabrice (Darwin)2011-01-311-2/+7
|
* [Spec] π₀(artinien)=finiFabrice (Darwin)2011-01-311-0/+16
| | | | | | | J'aimerais plutôt le cas nœthérien, que j'avais mis en exercice. On n'utilisera pas ce résultat je crois, si ce n'est de façon anecdotique (en « complément ») dans le cas artinien (algèbre fini sur un corps).
* [Spec] calculs de Hom (réduction au cas connexe) ; points d'un produitFabrice (Darwin)2011-01-311-44/+63
|
* Merge branch 'master' of git.madore.org:galoisDavid A. Madore2011-01-261-65/+80
|\
| * Merge git.madore.org:galoisFabrice (Darwin)2011-01-262-1361/+1492
| |\
| * | [Spec] Hom(A,B)=coprod prod Hom(connexe,connexe) : énoncéFabrice (Darwin)2011-01-261-65/+80
| | |
* | | [calculs] Calculs en petits degrés (début).David A. Madore2011-01-261-7/+32
| |/ |/|
* | [calculs] Exposition de la stratégie générale d'utilisation des résolvantes.David A. Madore2011-01-261-2/+31
| |
* | Scindage en deux du chapitre calculs.David A. Madore2011-01-262-1429/+1462
| |