galois.git - Livre Galois

	Commit message (Collapse)	Author	Age	Files	Lines
*	LG: coquille	Fabrice (eramangarria)	2013-02-21	1	-1/+1
\|
*	C1: variante un peu plus générale de Chevalley-Warning	Fabrice (Darwin)	2013-02-21	1	-0/+11
\| \| \| \|	Devrait remplacer l'énoncé initial ?
*	modp: ajout remarque sur nombre polynômes réductibles	Fabrice (Darwin)	2013-02-19	1	-0/+6
\|
*	Gröbner: esquisse argument	Fabrice (Phare)	2013-02-15	1	-0/+7
\|
*	Gröbner: question sur l'ADU d'un polynôme.	Fabrice (Phare)	2013-02-15	1	-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-08	1	-0/+43
\|
*	[Alg] clarifications (?) sur calcul polynôme annulateur	Fabrice (Phare)	2013-02-08	1	-22/+19
\|
*	[Radicaux] Un théorème de Galois sur les équations résolubles de degré p.	David A. Madore	2013-01-25	1	-1/+58
\|
*	[LG] une question	Fabrice (Darwin)	2013-01-25	1	-16/+4
\|
*	[LG] démonstration de la moitié (difficile) de l'hypothèse de Riemann ↵	Fabrice (Darwin)	2013-01-25	1	-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. Madore	2013-01-25	1	-0/+81
\|
*	[Radicaux] Très légères améliorations rédactionnelles.	David A. Madore	2013-01-25	1	-5/+12
\|
*	[Gröbner] Proposition : si les monômes initiaux sont deux à deux ↵	David A. Madore	2013-01-18	1	-5/+48
\| \| \| \|	premiers entre eux, on a une base de Gröbner. + Utilisation.
*	[LG] ε² sur RH	Fabrice (Darwin)	2013-01-18	1	-17/+31
\|
*	[LG] exercice d'après cours Laurent Lafforgue.	Fabrice (Darwin)	2013-01-18	1	-1/+13
\| \| \| \|	[Je ne vois pas pourquoi c'est vrai.]
*	2013-1-18 (17h20)	Fabrice (Darwin)	2013-01-18	1	-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. Madore	2013-01-18	1	-2/+59
\| \|
* \|	[LG] 2 i π → 2 π i	Fabrice (Darwin)	2013-01-18	1	-4/+4
\|/
*	[LG] ε sur RH	Fabrice (Darwin)	2013-01-10	1	-8/+62
\|
*	[AVD-D] étiquette	Fabrice (Darwin)	2013-01-10	1	-0/+1
\|
*	[Gröbner] Suite du nettoyage des écuries d'Augias.	David A. Madore	2012-12-20	1	-67/+53
\|
*	[Gröbner] Un lemme sur les modules de Cauchy qui devrait permettre de ↵	David A. Madore	2012-12-20	1	-0/+44
\| \| \| \|	démerdifier tout ça.
*	2012-12-20 (18h23)	Fabrice (Darwin)	2012-12-20	1	-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. Madore	2012-12-20	1	-20/+25
\| \|
\| *	[Gröbner] Commit d'un lemme que je vais effacer immédiatement.	David A. Madore	2012-12-20	1	-0/+20
\| \|
* \|	[LG] début blabla avant démonstration hypothèse de Riemann	Fabrice (Darwin)	2012-12-20	1	-12/+73
\|/ \| \| \|	… pour les courbes sur un corps fini ;)
*	[LG] fin démonstration du lemme et de l'existence d'un diviseur de degré 1	Fabrice (Darwin)	2012-12-20	1	-42/+25
\| \| \| \|	2012-12-20 (16h34)
*	[LG] début démonstration formule d'extension des scalaires	Fabrice (Darwin)	2012-12-20	1	-20/+55
\| \| \| \|	2012-12-20 (16h8)
*	[LG] mini-changements de mise en page + un petit toudou	Fabrice (Darwin)	2012-12-13	1	-8/+11
\|
*	[LG] esquisse démonstration existence diviseur degré 1 sur courbe	Fabrice (Darwin)	2012-12-13	1	-15/+29
\| \| \| \|	modulo formule d'extension des scalaires (facile [?])
*	[Gröbner] Je merde complètement.	David A. Madore	2012-12-13	1	-1/+6
\|
*	[LG] correction nombreuses « coquilles » et fin équation fonctionnelle, ↵	Fabrice (Darwin)	2012-12-13	1	-110/+116
\| \| \| \|	pôles, rationalité ζ
*	[Gröbner] Typo.	David A. Madore	2012-12-13	1	-3/+3
\|
*	[CG] ajout d'une référence (pour un calcul classique)	Fabrice (Darwin)	2012-12-13	1	-1/+4
\|
*	[LG] petite réécriture énoncé th. principal	Fabrice (Darwin)	2012-12-13	1	-46/+45
\|
*	Merge branch 'master' of git.madore.org:galois	David A. Madore	2012-12-06	1	-71/+127
\|\
\| *	[LG] mini-modification	Fabrice (Darwin)	2012-12-06	1	-8/+7
\| \|
\| *	[locaux-globaux] presque fin de la démonstration de l'équation ↵	Fabrice (Darwin)	2012-12-06	1	-68/+125
\| \| \| \| \| \| \| \| \| \| \| \|	fonctionnelle etc. des fonctions ζ (assez générales) 2012-12-6 (17h32)
* \|	[Gröbner] Base de Gröbner des relations de l'algèbre de décomposition ↵	David A. Madore	2012-12-06	1	-18/+44
\|/ \| \| \| \| \|	universelle (suite). (Commit oublié plus tôt.)
*	[Gröbner, Radicaux] Petites remarques suite à ce qui vient d'être démontré.	David A. Madore	2012-12-06	2	-1/+8
\|
*	[Gröbner] Déplacement dans une nouvelle sous-section.	David A. Madore	2012-12-06	1	-64/+69
\|
*	[Gröbner] Algorithme de calcul de l'inverse (remaniement + fin de la ↵	David A. Madore	2012-12-06	1	-18/+40
\| \| \| \|	démonstration).
*	[Gröbner] Une proposition donnant une borne triviale sur le degré de la ↵	David A. Madore	2012-12-06	1	-0/+31
\| \| \| \| \| \| \|	base de Gröbner réduite en une variable dominante. Bizarrement, je ne trouve aucune trace de cette remarque — qui a pourtant l'air utile — dans la littérature. À vérifier soigneusement.
*	[Gröbner] Typo stupide.	David A. Madore	2012-12-06	1	-1/+1
\|
*	[Gröbner] Micro-remarque pour clarifier un énoncé.	David A. Madore	2012-12-06	1	-1/+2
\|
*	Merge branch 'master' of git.madore.org:galois	David A. Madore	2012-11-22	1	-77/+99
\|\
\| *	[LG] tout début démonstration théorème principal sur ζ (je me suis ↵	Fabrice Orgogozo	2012-11-22	1	-77/+99
\| \| \| \| \| \| \| \|	embrouillé dans les mesures...)
* \|	[Gröbner] Début de démonstration de correction de l'algorithme d'inversion.	David A. Madore	2012-11-22	1	-0/+9
\| \|
* \|	[Gröbner] Petit changement notationnel.	David A. Madore	2012-11-22	1	-8/+8
\|/
*	[Gröbner] L'énoncé précédent était incorrect. Rectification ↵	David A. Madore	2012-11-22	1	-7/+12
\| \| \| \|	(malheureusement lourdingue).