summaryrefslogtreecommitdiffstats
path: root/chapitres
Commit message (Collapse)AuthorAgeFilesLines
* LG: coquilleFabrice (eramangarria)2013-02-211-1/+1
|
* C1: variante un peu plus générale de Chevalley-WarningFabrice (Darwin)2013-02-211-0/+11
| | | | Devrait remplacer l'énoncé initial ?
* modp: ajout remarque sur nombre polynômes réductiblesFabrice (Darwin)2013-02-191-0/+6
|
* Gröbner: esquisse argumentFabrice (Phare)2013-02-151-0/+7
|
* Gröbner: question sur l'ADU d'un polynôme.Fabrice (Phare)2013-02-151-0/+1
| | | | | | | | | Il me semble aussi que les monômes x₁^r₁...x_{d-1}^r_d-1 avec r_i ≤ d-i forment une base. Si oui, on devrait le dire. Et puis la majoration par d! est liée au fait classique que le corps de décomposition est toujours de degré ≤ d! sur le corps de base. [Avec égalité si...]
* CG: Lemme de McCoy-永田 et application au lemme de GaußFabrice (Phare)2013-02-081-0/+43
|
* [Alg] clarifications (?) sur calcul polynôme annulateurFabrice (Phare)2013-02-081-22/+19
|
* [Radicaux] Un théorème de Galois sur les équations résolubles de degré p.David A. Madore2013-01-251-1/+58
|
* [LG] une questionFabrice (Darwin)2013-01-251-16/+4
|
* [LG] démonstration de la moitié (difficile) de l'hypothèse de Riemann ↵Fabrice (Darwin)2013-01-251-27/+102
| | | | | | pour les courbes méthode de Bombieri, via l'« échange tordu du demi-Frobenius » [?].
* [Radicaux] Un lemme sur les sous-groupes résolubles transitifs de 𝔖_p.David A. Madore2013-01-251-0/+81
|
* [Radicaux] Très légères améliorations rédactionnelles.David A. Madore2013-01-251-5/+12
|
* [Gröbner] Proposition : si les monômes initiaux sont deux à deux ↵David A. Madore2013-01-181-5/+48
| | | | premiers entre eux, on a une base de Gröbner. + Utilisation.
* [LG] ε² sur RHFabrice (Darwin)2013-01-181-17/+31
|
* [LG] exercice d'après cours Laurent Lafforgue.Fabrice (Darwin)2013-01-181-1/+13
| | | | [Je ne vois pas pourquoi c'est vrai.]
* 2013-1-18 (17h20)Fabrice (Darwin)2013-01-181-2/+59
|\ | | | | | | Merge branch 'master' of git.madore.org:galois
| * [Gröbner] Démonstration du lemme-à-tout-faire sur les modules de Cauchy.David A. Madore2013-01-181-2/+59
| |
* | [LG] 2 i π → 2 π iFabrice (Darwin)2013-01-181-4/+4
|/
* [LG] ε sur RHFabrice (Darwin)2013-01-101-8/+62
|
* [AVD-D] étiquetteFabrice (Darwin)2013-01-101-0/+1
|
* [Gröbner] Suite du nettoyage des écuries d'Augias.David A. Madore2012-12-201-67/+53
|
* [Gröbner] Un lemme sur les modules de Cauchy qui devrait permettre de ↵David A. Madore2012-12-201-0/+44
| | | | démerdifier tout ça.
* 2012-12-20 (18h23)Fabrice (Darwin)2012-12-201-0/+25
|\ | | | | | | Merge branch 'master' of git.madore.org:galois
| * [Gröbner] Démonstration toujours inachevée. Je m'embrouille de plus en plus.David A. Madore2012-12-201-20/+25
| |
| * [Gröbner] Commit d'un lemme que je vais effacer immédiatement.David A. Madore2012-12-201-0/+20
| |
* | [LG] début blabla avant démonstration hypothèse de RiemannFabrice (Darwin)2012-12-201-12/+73
|/ | | | … pour les courbes sur un corps fini ;)
* [LG] fin démonstration du lemme et de l'existence d'un diviseur de degré 1Fabrice (Darwin)2012-12-201-42/+25
| | | | 2012-12-20 (16h34)
* [LG] début démonstration formule d'extension des scalairesFabrice (Darwin)2012-12-201-20/+55
| | | | 2012-12-20 (16h8)
* [LG] mini-changements de mise en page + un petit toudouFabrice (Darwin)2012-12-131-8/+11
|
* [LG] esquisse démonstration existence diviseur degré 1 sur courbeFabrice (Darwin)2012-12-131-15/+29
| | | | modulo formule d'extension des scalaires (facile [?])
* [Gröbner] Je merde complètement.David A. Madore2012-12-131-1/+6
|
* [LG] correction nombreuses « coquilles » et fin équation fonctionnelle, ↵Fabrice (Darwin)2012-12-131-110/+116
| | | | pôles, rationalité ζ
* [Gröbner] Typo.David A. Madore2012-12-131-3/+3
|
* [CG] ajout d'une référence (pour un calcul classique)Fabrice (Darwin)2012-12-131-1/+4
|
* [LG] petite réécriture énoncé th. principalFabrice (Darwin)2012-12-131-46/+45
|
* Merge branch 'master' of git.madore.org:galoisDavid A. Madore2012-12-061-71/+127
|\
| * [LG] mini-modificationFabrice (Darwin)2012-12-061-8/+7
| |
| * [locaux-globaux] presque fin de la démonstration de l'équation ↵Fabrice (Darwin)2012-12-061-68/+125
| | | | | | | | | | | | fonctionnelle etc. des fonctions ζ (assez générales) 2012-12-6 (17h32)
* | [Gröbner] Base de Gröbner des relations de l'algèbre de décomposition ↵David A. Madore2012-12-061-18/+44
|/ | | | | | universelle (suite). (Commit oublié plus tôt.)
* [Gröbner, Radicaux] Petites remarques suite à ce qui vient d'être démontré.David A. Madore2012-12-062-1/+8
|
* [Gröbner] Déplacement dans une nouvelle sous-section.David A. Madore2012-12-061-64/+69
|
* [Gröbner] Algorithme de calcul de l'inverse (remaniement + fin de la ↵David A. Madore2012-12-061-18/+40
| | | | démonstration).
* [Gröbner] Une proposition donnant une borne triviale sur le degré de la ↵David A. Madore2012-12-061-0/+31
| | | | | | | base de Gröbner réduite en une variable dominante. Bizarrement, je ne trouve aucune trace de cette remarque — qui a pourtant l'air utile — dans la littérature. À vérifier soigneusement.
* [Gröbner] Typo stupide.David A. Madore2012-12-061-1/+1
|
* [Gröbner] Micro-remarque pour clarifier un énoncé.David A. Madore2012-12-061-1/+2
|
* Merge branch 'master' of git.madore.org:galoisDavid A. Madore2012-11-221-77/+99
|\
| * [LG] tout début démonstration théorème principal sur ζ (je me suis ↵Fabrice Orgogozo2012-11-221-77/+99
| | | | | | | | embrouillé dans les mesures...)
* | [Gröbner] Début de démonstration de correction de l'algorithme d'inversion.David A. Madore2012-11-221-0/+9
| |
* | [Gröbner] Petit changement notationnel.David A. Madore2012-11-221-8/+8
|/
* [Gröbner] L'énoncé précédent était incorrect. Rectification ↵David A. Madore2012-11-221-7/+12
| | | | (malheureusement lourdingue).