summaryrefslogtreecommitdiffstats
path: root/chapitres
Commit message (Collapse)AuthorAgeFilesLines
...
* [Gröbner] Suite exemple (explications peut-être un peu vaseuses).David A. Madore2012-10-121-6/+18
|
* [Gröbner] Un exemple explicite de décomposition.David A. Madore2012-10-121-3/+31
|
* [Gröbner] Énoncé d'un algorithme déjà décrit : décomposition des ↵David A. Madore2012-10-121-2/+9
| | | | idéaux radicaux de dimension 0.
* [LG] début correction perplexité sur niveau...Fabrice (Darwin)2012-10-121-5/+3
| | | | | | | | mais la formule de Poisson semble être p = # F_p = ∑ 𝟭(𝒪_k)(λ) = ∑ p (...) avec (...) nécessairement multiple de p :( ↳ à corriger
* [LG] relecture caractères adéliques.Fabrice (Darwin)2012-10-121-127/+122
| | | | | ⚠ il semblerait qu'il y ait un problème dans la définition du niveau ↔ formulaire dans transformée de Fourier locale...
* [AVD-D] ajout étiquetteFabrice (Darwin)2012-10-121-0/+1
|
* [AC, Calculs] ajout exercice (anneaux absolument plats) et remarque sur le ↵Fabrice (Polytechnique)2012-09-282-0/+8
| | | | lemme de Gauß (voir aussi Lombardi-Quitté)
* [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 ↵Fabrice (Darwin)2012-09-201-49/+73
| | | | (passage de K à L étale sur K)
* [LG] modifications mineures de relecture (mise au propre)Fabrice (Darwin)2012-09-201-76/+70
|
* [Gröbner] Discussion qu'il va falloir reformuler comme une démonstration.David A. Madore2012-09-201-0/+16
|
* [Gröbner] Test de primalité en dimension 0.David A. Madore2012-09-201-1/+70
|
* [Gröbner] Comment ajouter une variable en position nette.David A. Madore2012-09-201-1/+26
|
* Merge git.madore.org:galoisFabrice (Darwin)2012-09-201-2/+51
|\
| * [Gröbner] Démonstration de la proposition de "netteté générique".David A. Madore2012-09-201-2/+51
| |
* | [LG] th. densité forte (déjà connu) déplacé (avec remarque sur ↵Fabrice (Darwin)2012-09-201-25/+12
|/ | | | existence démo. adélique).
* [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
|
* [AVD-D] étiquetteFabrice (Darwin)2012-09-201-2/+2
|
* [Gröbner] Énoncé de la proposition que je crois devoir démontrer maintenant.David A. Madore2012-09-201-1/+10
|
* [verselles] mini-changement (exemple à développer déplacé)Fabrice (Darwin)2012-09-201-7/+7
|
* [LG] coquille + questions de notationFabrice (eramangarria)2012-09-131-12/+21
|
* Merge branch 'master' of git.madore.org:galoisFabrice (eramangarria)2012-09-121-2/+91
|\
| * [Gröbner] Idéal en « position nette » par rapport à une variable.David A. Madore2012-09-121-2/+91
| |
* | [LG, AVD-D] théorème d'approximation pour les Dedekind (énoncé) et ↵Fabrice (eramangarria)2012-09-122-9/+47
|/ | | | application (début)
* [Gröbner] Référence pour idéal premier de dimension 0 ⇒ maximal.David A. Madore2012-09-121-7/+10
|
* [Gröbner] Blabla général sur les idéaux premiers de dimension 0.David A. Madore2012-09-121-12/+65
|
* [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
|
* [AVD-D] mini toudouFabrice (Darwin)2012-09-121-0/+7
|
* [LG] finitude Pic(𝒪_K) par méthode élémentaireFabrice (Darwin)2012-09-121-3/+41
| | | | Cf. Ribenboim.
* [LG] groupes de Picard, finitude (méthode adélique)Fabrice (Darwin)2012-09-061-70/+150
|
* [Gröbner] Calcul algorithmique du radical d'un idéal de dimension 0.David A. Madore2012-09-061-13/+81
|
* [Gröbner] Radicalité de l'algèbre de décomposition universelle d'un ↵David A. Madore2012-09-061-2/+28
| | | | polynôme séparable.
* [Gröbner] « Lemme 92 » de Seidenberg (critère pour qu'un idéal de ↵David A. Madore2012-09-061-0/+41
| | | | dimension 0 soit radical).
* [Gröbner] Algèbre de décomposition universelle d'un polynôme.David A. Madore2012-09-061-3/+58
|
* [Spec] Ajout d'une conséquence immédiate de résultats antérieurs.David A. Madore2012-09-061-0/+12
| | | | Je pense que c'est bien d'écrire ça noir sur blanc.
* [Gröbner] Vague programme pour la suite.David A. Madore2012-08-301-0/+6
|
* [Gröbner] Petite remarque.David A. Madore2012-08-301-1/+12
|
* Merge branch 'master' of git.madore.org:galoisFabrice (eramangarria)2012-08-301-15/+65
|\
| * [Gröbner] Factorisation d'un bout de démonstration.David A. Madore2012-08-301-14/+8
| |
| * [Gröbner] Idéaux de dimension 0, preuve de certaines équivalences.David A. Madore2012-08-301-5/+38
| |
| * [Gröbner] Idéaux de dimension 0 (début).David A. Madore2012-08-301-1/+24
| |
* | [LG] sorites vers le groupe de PicardFabrice (eramangarria)2012-08-301-53/+59
|/
* [LG] fin Dirichlet abstraitFabrice (eramangarria)2012-08-301-8/+32
|
* [Gröbner] Fonction et polynôme de Hilbert-Samuel d'un idéal affine.David A. Madore2012-08-301-0/+57
|
* Merge branch 'master' of git.madore.org:galoisFabrice (eramangarria)2012-08-301-16/+75
|\
| * [Gröbner] Blabla général sur l'élimination algébrique.David A. Madore2012-08-301-0/+22
| |
| * [Gröbner] Démonstration (+reformulation) de la proposition d'élimination.David A. Madore2012-08-301-16/+53
| |
* | [LG] encore un lemme sorital d'intégration/topologieFabrice (eramangarria)2012-08-301-0/+14
|/