summaryrefslogtreecommitdiffstats
path: root/chapitres/calculs-galois.tex
Commit message (Collapse)AuthorAgeFilesLines
...
* [calculs] Comment relier Q à δ.David A. Madore2011-12-091-1/+32
|
* [calculs] Tentative d'éclaircissements pour le degré 5 analogues au degré 4.David A. Madore2011-12-091-26/+30
|
* [calculs] Tentative de désembrouillage entre groupes de Galois contenus ↵David A. Madore2011-12-091-35/+46
| | | | | | dans D_4 exactement ou à conjugaison près. Ça reste malheureusement encore assez confus, j'en ai peur.
* [calculs] Changement de notation pour le groupe métacyclique d'ordre 20.David A. Madore2011-12-091-18/+17
|
* Un changement d'avis sur le choix de certains polynômes pour les résolvantes.David A. Madore2011-12-081-4/+4
|
* [calculs] Minuscule remarque sur la résolvante relativev (D_5 dans M_20).David A. Madore2011-11-251-0/+12
|
* [calculs] Changements triviaux pour pouvoir faire la suite plus clairement.David A. Madore2011-11-151-6/+21
|
* [calculs, ExG] Remaniement de tout ce où je parle de bases de Gröbner.David A. Madore2011-10-271-40/+124
| | | | | Ce n'est sans doute pas encore au point : il faudrait vraiment éclaircir ces choses.
* [calculs] La résolvante pour le groupe M_20 ne peut être réductible qu'en ↵David A. Madore2011-10-121-2/+15
| | | | ayant une racine.
* [calculs] Reformulation stylistique du théorème principal sur les ↵David A. Madore2011-10-121-15/+17
| | | | résolvantes.
* [calculs] Relecture pour me rafraîchir la mémoire : petites corrections.David A. Madore2011-10-121-5/+6
|
* [calculs] Résolvante sextique d'un polynôme de degré 5 (pour tester si le ↵David A. Madore2011-06-221-0/+112
| | | | | | | groupe de Galois est inclus dans M_20). Bon, il va falloir arrêter le concours de gros polynômes explicites, à la fin, quand même.
* [calculs] Sous-groupes de 𝔖_5.David A. Madore2011-06-221-0/+36
|
* [calculs] Diagramme des inclusions de sous-groupes transitifs de 𝔖_4.David A. Madore2011-06-221-0/+15
|
* [calculs] Utilisation des résolvantes : énoncé un chouïa plus général ↵David A. Madore2011-06-221-41/+58
| | | | | | + démonstration adaptée. Cf. Cohen, proposition 6.3.8 page 327.
* [calculs] mini-coquilleFabrice (iLiburu)2011-06-101-1/+1
|
* [calculs] Quelques remarques intuitives sur ce qu'on fait.David A. Madore2011-06-081-5/+23
| | | | Pas forcément hyper claires, malheureusement.
* [calculs] Éclaircissements + un exemple.David A. Madore2011-06-081-37/+52
|
* [calculs] Résolvante relative pour un groupe de Galois cyclique d'ordre 4.David A. Madore2011-06-081-21/+57
|
* [calculs] Reprise de la partie sur les calculs en petits degrés.David A. Madore2011-06-011-48/+106
|
* [calculs] Un peu de blabla + garantir la séparabilité d'une résolvante ↵David A. Madore2011-06-011-12/+44
| | | | généralisée.
* [calculs] Existence d'une transformation de Tschirnhaus rendant la ↵David A. Madore2011-06-011-14/+71
| | | | résolvante séparable.
* [calculs] Début de démonstration d'existence d'une transformation de ↵David A. Madore2011-05-251-3/+43
| | | | Tschirnhaus rendant la résolvante séparable.
* [calculs] Un exemple pas bien passionnant.David A. Madore2011-05-251-0/+31
|
* [calculs] Un critère pour détecter si corps de rupture = corps de ↵David A. Madore2011-05-251-5/+95
| | | | décomposition.
* [calculs] Éclaircissement / reformulation d'un contre-exemple.David A. Madore2011-05-251-8/+11
|
* [calculs] Quelques remarques sur la dernière proposition.David A. Madore2011-05-181-9/+48
|
* [calculs] Démonstration d'une proposition garantissant la séparabilité de ↵David A. Madore2011-05-181-12/+60
| | | | certaines résolvantes.
* [calculs] Re-nouvelle démonstration de ce lemme, cette fois plus ↵David A. Madore2011-05-181-48/+24
| | | | transparente (j'espère).
* [calculs] Réécriture de la démonstration du lemme.David A. Madore2011-05-181-29/+40
| | | | (Je pense que je vais le réécrire de nouveau, en fait.)
* [calculs] Un lemme d'algèbre linéaire dont je ne comprends pas le sens ↵David A. Madore2011-05-121-0/+72
| | | | profond.
* [calculs] Calculs de résolvantes linéaires au moyen de résultants.David A. Madore2011-05-121-2/+71
|
* [calculs] Remarques, et plusieurs TODO, sur le calcul des résolvantes.David A. Madore2011-05-041-3/+58
|
* [calculs] Autre exemple important de résolvante.David A. Madore2011-05-041-1/+13
|
* [calculs] Réécriture de la stratégie générale d'utilisation des ↵David A. Madore2011-05-041-26/+48
| | | | résolvantes.
* [calculs] Petit remaniement de la section sur les résolvantes suite à la ↵David A. Madore2011-05-041-14/+26
| | | | capitulation précédente.
* [calculs] Je capitule sur cette question en général.David A. Madore2011-05-041-8/+14
| | | | Je rédige de façon à ne pas me mouiller.
* [calcul] En fait, l'irréductibilité ne semble pas nécessaire ici.David A. Madore2011-04-291-4/+4
|
* [calculs] Encore une condition sans intérêt.David A. Madore2011-04-291-4/+10
| | | | Je m'embourbe complètement.
* [calculs] Réorganisation pour plus de clarté (pas de changement ↵David A. Madore2011-04-291-58/+90
| | | | mathématique).
* [calculs] Changements triviaux.David A. Madore2011-04-291-11/+10
|
* [calculs] Clarifications et corrections sur la construction de polynômes ↵David A. Madore2011-04-201-83/+172
| | | | invariants.
* [calculs] Un lemme dépendant d'un sous-lemme qui pourrait être vrai (ou pas).David A. Madore2011-04-071-1/+46
|
* [calculs] Correction d'une erreur + remarques sur cette erreur.David A. Madore2011-04-071-23/+48
| | | | Ceci étant, je ne comprends toujours pas bien ce qui se passe...
* [calculs] Une équivalence complètement débile.David A. Madore2011-03-301-2/+27
|
* [calculs] Démonstration complète du lemme (au moyen du sous-lemme de ↵David A. Madore2011-03-301-13/+35
| | | | transitivité des Sylow).
* [Calculs] Une bribe de démonstration.David A. Madore2011-03-231-0/+47
|
* [calculs] Petits demaniements pour la clarté de la section sur les ↵David A. Madore2011-03-231-43/+59
| | | | résolvantes.
* [calculs] Promotion de sous-section à section de la partie sur Tschirnhaus.David A. Madore2011-03-231-250/+255
| | | | Du coup, je la déplace avant les résolvantes.
* [calculs] coquillesFabrice (Darwin)2011-03-111-2/+2
|