summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* [LG] grosse merdouille sur les courbes, les points, etc.Fabrice (eramangarria)2013-02-281-49/+68
| | | | 2013-2-28 (18h49)
* [CG,Azu,LG] coquille vimFabrice (eramangarria)2013-02-283-3/+3
|
* [Fin] ajout petite question en hĂąte...Fabrice (Phare)2013-02-221-3/+12
|
* [Fin] ajout exo sur 𝐅₂ Ă  la Conway en attendant le chapitre ↔Fabrice (Phare)2013-02-221-0/+10
| | | | correspondant...
* [Fin] coquilleFabrice (Phare)2013-02-221-1/+1
|
* Merge branch 'master' of git.madore.org:galoisFabrice (eramangarria)2013-02-2128-9/+79
|\
| * Merge branch 'master' of git.madore.org:galoisDavid A. Madore2013-02-212-22/+34
| |\
| * | Ajout Ă  tous les fichiers d'une ligne magique pour Emacs.David A. Madore2013-02-2128-3/+28
| | | | | | | | | | | | | | | | | | | | | | | | (À cause du \ifx commençant les fichiers, il ne les reconnaüt pas comme du LaTeX mais seulement du TeX. Ceci force à passer en mode LaTeX. Si on veut mettre aussi des variables pour vim, il faut le faire comme dans locaux-globaux.tex (par exemple) en terminant par le caractùre ':'.)
| * | [Gröbner] Construction par rĂ©currence de l'algĂšbre de dĂ©composition ↔David A. Madore2013-02-211-6/+51
| | | | | | | | | | | | universelle.
* | | [LG] formule de la moyenne/masse [à réécrire/vérifier]Fabrice (eramangarria)2013-02-211-6/+49
| |/ |/|
* | [LG] places ″ points, pour Ă©viter confusion avec places K → k âˆȘ {+∞}Fabrice (eramangarria)2013-02-211-21/+21
| |
* | 2013-2-21 (16h58)Fabrice (eramangarria)2013-02-211-27/+52
|\ \ | |/ | | | | Merge branch 'master' of git.madore.org:galois
| * [Gröbner] GĂ©nĂ©ralisation de certains Ă©noncĂ©s sur l'algĂšbre de ↔David A. Madore2013-02-211-27/+52
| | | | | | | | | | | | dĂ©composition universelle Ă  un anneau au lieu d'un corps. Écrit comme ça, c'est malheureusement assez moche.
* | [bib] ajout Fried et JardenFabrice (eramangarria)2013-02-211-1/+13
|/
* [LG] relecture majoration BombieriFabrice (eramangarria)2013-02-211-26/+30
| | | | | ☥ j'ai toujours des doutes sur σ ↔ σ^{-1} dans les formules. (Bien distinguer la droite de la gauche lors d'une future relecture.))
* [Gröbner] Cohérence des notations.David A. Madore2013-02-211-1/+1
|
* Merge branch 'master' of git.madore.org:galoisDavid A. Madore2013-02-211-1/+1
|\
| * LG: coquilleFabrice (eramangarria)2013-02-211-1/+1
| |
* | [Gröbner] Ajout d'une remarque plus explicite sur la dimension de ↔David A. Madore2013-02-211-7/+22
|/ | | | l'algÚbre de décomposition universelle (et sa base).
* 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
|
* [Plan] Petite mise Ă  jour.David A. Madore2013-01-251-5/+5
|
* [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
|