summaryrefslogtreecommitdiffstats
path: root/chapitres/locaux-globaux.tex
Commit message (Expand)AuthorAgeFilesLines
...
* [LG] relecture caractères adéliques.Fabrice (Darwin)2012-10-121-127/+122
* [LG] deux références (à inclure dans .bib)Fabrice (Darwin)2012-09-201-1/+3
* [LG] clarification/réécriture dualité Pontrâgin pour les adèles (passage...Fabrice (Darwin)2012-09-201-49/+73
* [LG] modifications mineures de relecture (mise au propre)Fabrice (Darwin)2012-09-201-76/+70
* [LG] th. densité forte (déjà connu) déplacé (avec remarque sur existence...Fabrice (Darwin)2012-09-201-25/+12
* [LG] suppression blabla sur Pic déjà réécritesFabrice (Darwin)2012-09-201-41/+12
* [LG] Spec(𝒪_K(U))=U : fin ; changement d'étiquettesFabrice (Darwin)2012-09-201-52/+66
* [LG] coquille + questions de notationFabrice (eramangarria)2012-09-131-12/+21
* [LG, AVD-D] théorème d'approximation pour les Dedekind (énoncé) et applic...Fabrice (eramangarria)2012-09-121-9/+27
* [LG] reminimodificationsFabrice (Darwin)2012-09-121-3/+4
* [LG] légère réécriture finitude Pic(O_K)Fabrice (Darwin)2012-09-121-13/+6
* [LG] finitude Pic(𝒪_K) par méthode élémentaireFabrice (Darwin)2012-09-121-3/+41
* [LG] groupes de Picard, finitude (méthode adélique)Fabrice (Darwin)2012-09-061-70/+150
* [LG] sorites vers le groupe de PicardFabrice (eramangarria)2012-08-301-53/+59
* [LG] fin Dirichlet abstraitFabrice (eramangarria)2012-08-301-8/+32
* [LG] encore un lemme sorital d'intégration/topologieFabrice (eramangarria)2012-08-301-0/+14
* [LG] Dirichlet abstrait ⇒ Dirichlet usuelFabrice (eramangarria)2012-08-301-44/+79
* [LG] fin comparaison topologies adélique et idéliqueFabrice (eramangarria)2012-08-091-20/+57
* [LG] début comparaison topologies adélique et idéliqueFabrice (eramangarria)2012-08-081-42/+61
* [LG] correction bug extrêmement bizarreFabrice (eramangarria)2012-08-081-1/+1
* [LG] iffileexits (cf. .cv.tex et affichage date/haché)Fabrice (eramangarria)2012-08-081-2/+2
* [LG] caractères additifs de Q_AFabrice (eramangarria)2012-07-181-79/+130
* [LG] relecture §1.1—§1.3.2Fabrice (eramangarria)2012-07-181-44/+48
* [LG] début idèlesFabrice (eramangarria)2012-07-131-30/+97
* [LG] formule du produit (première démonstration) et un résultat de finitude.Fabrice (eramangarria)2012-07-131-17/+53
* [LG] théorème de cocompacitéFabrice (eramangarria)2012-07-131-20/+72
* [LG] homogénéisation des notationsFabrice (eramangarria)2012-07-121-1/+1
* [LG] trace et dualité (suite et fin)Fabrice (eramangarria)2012-07-121-32/+23
* [LG] trace et dualité (en cours) [sauvegarde avant de partir…]Fabrice (eramangarria)2012-07-121-32/+80
* [LG] fin démonstration K_𝐀 ⊗_K L ⥲ L_𝐀Fabrice (eramangarria)2012-07-121-64/+21
* [LG] clarification sur O(U) de DedekindFabrice (eramangarria)2012-07-121-12/+18
* [AVD-D, LG] 日本式ローマ字Fabrice (eramangarria)2012-07-121-1/+1
* [LG] référence et coquilleFabrice (eramangarria)2012-06-221-2/+4
* [LG] début réécriture K_A tens L = L_A via argument moins ad hocFabrice (eramangarria)2012-06-211-23/+56
* [LG] p-rang + sauvegarde K_A (x) L = L_A avant réécritureFabrice (eramangarria)2012-06-211-11/+48
* [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