summaryrefslogtreecommitdiffstats
path: root/chapitres/locaux-globaux.tex
Commit message (Expand)AuthorAgeFilesLines
...
* [LG] cb pour adèlesFabrice (eramangarria)2012-06-211-8/+21
* [LG] début cocompacitéFabrice (Darwin)2012-06-141-3/+15
* [LG] esquisse K_𝐀 ⊗_K L = L_𝐀 dans cas étale.Fabrice (Darwin)2012-06-141-26/+51
* [LG] fin (?) sorites mesure produit restreint + définition adèlesFabrice (Darwin)2012-06-141-26/+48
* [LG] début définition mesure adélique par produit restreintFabrice (eramangarria)2012-05-311-13/+21
* [LG] commentaires et mise en pageFabrice (eramangarria)2012-05-311-4/+4
* [LG] paquet pour faire joli produit restreintFabrice (eramangarria)2012-05-311-0/+1
* [LG] définition produit restreintFabrice (eramangarria)2012-05-311-1/+59
* [LG] rapides sorites sur produits de mesuresFabrice (eramangarria)2012-05-311-1/+38
* [LG] ajout définition morphisme propreFabrice (eramangarria)2012-05-311-3/+14
* [LG] sorites sur les コンパクト群を無視すれば同型Fabrice (Darwin)2012-05-101-31/+119
* [LG] relecture + suite sorites sur isomorphismes modulo les compactsFabrice (Darwin)2012-05-101-10/+31
* [LG] début sorites sur isom. modulo compacts (énoncés)Fabrice Orgogozo2012-04-261-7/+38
* [LG] sorite sur les quotients de groupes topologiques (séparation, etc.)Fabrice Orgogozo2012-04-261-14/+19
* [LG] début sorites sur groupes topologiques (bientôt : idèles)Fabrice Orgogozo2012-04-191-5/+46
* [LG] RR implique Dedekind et de type fini : suite et finFabrice Orgogozo2012-04-191-58/+57
* [LG] application RR, suite (pas sûr de moi)Fabrice (Darwin)2012-04-191-15/+37
* [LG] esquisse preuve (enfin correcte ?) finitude O_K(U) sur kFabrice (Darwin)2012-04-191-22/+9
* [LG] mini mise en gardeFabrice Orgogozo2012-04-121-0/+3
* [LG] début finitude sections globalesFabrice Orgogozo2012-04-051-1/+23
* [LG] résultat de séparabilitéFabrice Orgogozo2012-04-051-2/+22
* [LG] finitude sur k : plus compliqué qu'annoncé...Fabrice (Polytechnique)2012-03-231-28/+32
* [LG] re-clarificationsFabrice Orgogozo2012-03-221-21/+29
* [LG] DedekindFabrice Orgogozo2012-03-221-103/+96
* [LG] début correction DedekineriesFabrice (Darwin)2012-03-221-10/+12
* [LG] tout debut corps globaux et anneaux de Dedekind.Fabrice Orgogozo2012-03-151-22/+86
* [LG] modification ε-esque, avant de travailler sur eramangarria avec le nouv...Fabrice (Phare)2012-03-151-4/+3
* [LG] petit copié-colléFabrice (Phare)2012-03-081-12/+17
* [LG] K = Frac 𝒪_K(U)Fabrice (Phare)2012-03-081-17/+67
* [LG] les éléments d'un corps global sont entiers en presque tout point.Fabrice (Phare)2012-03-081-8/+39
* [LG] ajout observation trivialeFabrice (Polytechnique)2012-03-071-1/+4
* [LG] début version 1.0 sorites sur corps globaux + exemple fonction ζ de ...Fabrice (Darwin)2012-03-011-37/+85
* [LG] ε=𝔤Fabrice (Darwin)2012-03-011-7/+43
* [LG] \BourbakiXYFabrice (Darwin)2012-03-011-7/+7
* [LG] début calcul facteurs epsilon locauxFabrice (Darwin)2012-02-241-14/+98
* [LG] changement de signe dans niveau (cas ultramétrique)Fabrice (Darwin)2012-02-241-31/+21
* [LG] conducteur : changement de signe dans cas archimédienFabrice (Darwin)2012-02-241-3/+4
* Merge git.madore.org:galoisFabrice (Darwin)2012-02-241-27/+42
|\
| * [LG] continuité implique locale constance (vieille modification)Fabrice (Polytechnique)2012-02-241-27/+43
| * [LG] modification vide (sauf erreur)Fabrice (Polytechnique)2012-02-151-42/+27
| * [LG] suite mise au propre (suppression progressive des XXX)Fabrice Orgogozo2012-02-151-27/+42
* | [LG] sauvegarde avant fusion...Fabrice (Darwin)2012-02-241-8/+10
|/
* [LG] début réécriture en détail (après la phase « esquisse »). Clari...Fabrice (Darwin)2012-02-151-37/+59
* [LG] fin esquisse ζ(s)=ζ(1-s) [ou presque]Fabrice (Darwin)2012-02-151-33/+49
* [LG] correction de signesFabrice (Darwin)2012-02-151-17/+13
* [LG] ε sur équation fonctionnelle de ζFabrice (Darwin)2012-02-081-14/+43
* [LG] début argument zêta(corps de fonctions)=fraction rationnelleFabrice (Darwin)2012-02-011-15/+41
* [LG] modifications mineures pour clarifier dépendance en ψ, choix des mesur...Fabrice (Darwin)2012-02-011-60/+88
* [LG] équation fonctionnelle globale ; énoncé en formeFabrice (Darwin)2012-01-251-18/+44
* [LG] correction : Re(s)>0 ⤳ Re(s)>1 …Fabrice (Darwin)2012-01-251-48/+54