index
:
galois.git
conversion-luatex
master
Livre Galois
git repository hosting
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
chapitres
/
locaux-globaux.tex
Commit message (
Expand
)
Author
Age
Files
Lines
*
[LG] coquille
Fabrice (Darwin)
2012-10-26
1
-2
/
+2
*
[LG] 1+2+3+4+… = -1/12 ; remarque sur approche un chouïa différente.
Fabrice (Darwin)
2012-10-26
1
-1
/
+31
*
[LG] début réécriture/relecture bref ❡ (§?) sur lien corps de fonctions...
Fabrice (eramangarria)
2012-10-19
1
-23
/
+32
*
[LG] deux conséquences (triviales) de RR
Fabrice (eramangarria)
2012-10-19
1
-55
/
+68
*
[LG] formule générale de Poisson-Riemann-Roch : fin de la démonstration
Fabrice (eramangarria)
2012-10-19
1
-42
/
+49
*
[LG] fin détails sur convergence uniforme (pour Poisson)
Fabrice (eramangarria)
2012-10-19
1
-23
/
+23
*
[LG] quelques \cite{} et modifications mineures
Fabrice (Darwin)
2012-10-19
1
-11
/
+15
*
[LG] formule de Poisson adélique : début réécriture.
Fabrice (eramangarria)
2012-10-12
1
-91
/
+98
*
[LG] clarification sur les signes (Poisson adélique)
Fabrice (eramangarria)
2012-10-12
1
-14
/
+18
*
[LG] début correction perplexité sur niveau...
Fabrice (Darwin)
2012-10-12
1
-5
/
+3
*
[LG] relecture caractères adéliques.
Fabrice (Darwin)
2012-10-12
1
-127
/
+122
*
[LG] deux références (à inclure dans .bib)
Fabrice (Darwin)
2012-09-20
1
-1
/
+3
*
[LG] clarification/réécriture dualité Pontrâgin pour les adèles (passage...
Fabrice (Darwin)
2012-09-20
1
-49
/
+73
*
[LG] modifications mineures de relecture (mise au propre)
Fabrice (Darwin)
2012-09-20
1
-76
/
+70
*
[LG] th. densité forte (déjà connu) déplacé (avec remarque sur existence...
Fabrice (Darwin)
2012-09-20
1
-25
/
+12
*
[LG] suppression blabla sur Pic déjà réécrites
Fabrice (Darwin)
2012-09-20
1
-41
/
+12
*
[LG] Spec(𝒪_K(U))=U : fin ; changement d'étiquettes
Fabrice (Darwin)
2012-09-20
1
-52
/
+66
*
[LG] coquille + questions de notation
Fabrice (eramangarria)
2012-09-13
1
-12
/
+21
*
[LG, AVD-D] théorème d'approximation pour les Dedekind (énoncé) et applic...
Fabrice (eramangarria)
2012-09-12
1
-9
/
+27
*
[LG] reminimodifications
Fabrice (Darwin)
2012-09-12
1
-3
/
+4
*
[LG] légère réécriture finitude Pic(O_K)
Fabrice (Darwin)
2012-09-12
1
-13
/
+6
*
[LG] finitude Pic(𝒪_K) par méthode élémentaire
Fabrice (Darwin)
2012-09-12
1
-3
/
+41
*
[LG] groupes de Picard, finitude (méthode adélique)
Fabrice (Darwin)
2012-09-06
1
-70
/
+150
*
[LG] sorites vers le groupe de Picard
Fabrice (eramangarria)
2012-08-30
1
-53
/
+59
*
[LG] fin Dirichlet abstrait
Fabrice (eramangarria)
2012-08-30
1
-8
/
+32
*
[LG] encore un lemme sorital d'intégration/topologie
Fabrice (eramangarria)
2012-08-30
1
-0
/
+14
*
[LG] Dirichlet abstrait ⇒ Dirichlet usuel
Fabrice (eramangarria)
2012-08-30
1
-44
/
+79
*
[LG] fin comparaison topologies adélique et idélique
Fabrice (eramangarria)
2012-08-09
1
-20
/
+57
*
[LG] début comparaison topologies adélique et idélique
Fabrice (eramangarria)
2012-08-08
1
-42
/
+61
*
[LG] correction bug extrêmement bizarre
Fabrice (eramangarria)
2012-08-08
1
-1
/
+1
*
[LG] iffileexits (cf. .cv.tex et affichage date/haché)
Fabrice (eramangarria)
2012-08-08
1
-2
/
+2
*
[LG] caractères additifs de Q_A
Fabrice (eramangarria)
2012-07-18
1
-79
/
+130
*
[LG] relecture §1.1—§1.3.2
Fabrice (eramangarria)
2012-07-18
1
-44
/
+48
*
[LG] début idèles
Fabrice (eramangarria)
2012-07-13
1
-30
/
+97
*
[LG] formule du produit (première démonstration) et un résultat de finitude.
Fabrice (eramangarria)
2012-07-13
1
-17
/
+53
*
[LG] théorème de cocompacité
Fabrice (eramangarria)
2012-07-13
1
-20
/
+72
*
[LG] homogénéisation des notations
Fabrice (eramangarria)
2012-07-12
1
-1
/
+1
*
[LG] trace et dualité (suite et fin)
Fabrice (eramangarria)
2012-07-12
1
-32
/
+23
*
[LG] trace et dualité (en cours) [sauvegarde avant de partir…]
Fabrice (eramangarria)
2012-07-12
1
-32
/
+80
*
[LG] fin démonstration K_𝐀 ⊗_K L ⥲ L_𝐀
Fabrice (eramangarria)
2012-07-12
1
-64
/
+21
*
[LG] clarification sur O(U) de Dedekind
Fabrice (eramangarria)
2012-07-12
1
-12
/
+18
*
[AVD-D, LG] 日本式ローマ字
Fabrice (eramangarria)
2012-07-12
1
-1
/
+1
*
[LG] référence et coquille
Fabrice (eramangarria)
2012-06-22
1
-2
/
+4
*
[LG] début réécriture K_A tens L = L_A via argument moins ad hoc
Fabrice (eramangarria)
2012-06-21
1
-23
/
+56
*
[LG] p-rang + sauvegarde K_A (x) L = L_A avant réécriture
Fabrice (eramangarria)
2012-06-21
1
-11
/
+48
*
[LG] cb pour adèles
Fabrice (eramangarria)
2012-06-21
1
-8
/
+21
*
[LG] début cocompacité
Fabrice (Darwin)
2012-06-14
1
-3
/
+15
*
[LG] esquisse K_𝐀 ⊗_K L = L_𝐀 dans cas étale.
Fabrice (Darwin)
2012-06-14
1
-26
/
+51
*
[LG] fin (?) sorites mesure produit restreint + définition adèles
Fabrice (Darwin)
2012-06-14
1
-26
/
+48
*
[LG] début définition mesure adélique par produit restreint
Fabrice (eramangarria)
2012-05-31
1
-13
/
+21
[next]