summaryrefslogtreecommitdiffstats
path: root/decorum
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2013-03-01 01:31:15 (GMT)
committerDavid A. Madore <david+git@madore.org>2013-03-01 01:31:15 (GMT)
commit6be2006f9c4d5e046d79e6de5842ba02c221111f (patch)
treea1d0fca1c2241a3c342000f6af785adabeef13a5 /decorum
parente99d66ac2440eadfdeca236778414ed30661e685 (diff)
downloadgalois-6be2006f9c4d5e046d79e6de5842ba02c221111f.zip
galois-6be2006f9c4d5e046d79e6de5842ba02c221111f.tar.gz
galois-6be2006f9c4d5e046d79e6de5842ba02c221111f.tar.bz2
Transformation en LuaTeX : chapitres oubliés, decorum, livre complet.
Diffstat (limited to 'decorum')
-rw-r--r--decorum/leitfaden.tex31
-rw-r--r--decorum/plan-bouquin.tex119
-rw-r--r--decorum/translitterations.tex26
3 files changed, 63 insertions, 113 deletions
diff --git a/decorum/leitfaden.tex b/decorum/leitfaden.tex
index 568590a..9c8dd43 100644
--- a/decorum/leitfaden.tex
+++ b/decorum/leitfaden.tex
@@ -1,31 +1,8 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
-\documentclass[9pt]{../configuration/smfart}
-\input{../configuration/commun}
-\input{../configuration/smf}
-\input{../configuration/adresse}
-\input{../configuration/gadgets}
-\input{../configuration/francais}
-\input{../configuration/numerotation}
-\input{../configuration/formules}
-\input{../configuration/encoredesmacros}
-
-\synctex=1
-
-\usepackage{stmaryrd}
-\usepackage{graphics}
-\usepackage[usenames,dvipsnames]{xcolor}
-\usepackage{tikz}
-\usetikzlibrary{arrows,matrix}
-\usepackage{srcltx} % pour passer du dvi au tex en cliquant
-%\usepackage{pxfonts}
-
-\textwidth13cm % pour pouvoir lire le nom des étiquettes si \usepackage{showkeys}
-
-\textwidth18cm
-\voffset-2cm
-\hoffset-3cm
-\textheight25cm
-
+\documentclass[a4paper,9pt]{amsart}
+\input{../config/preambule}
+\input{../config/macros}
\begin{document}
\fi
\begin{center}
diff --git a/decorum/plan-bouquin.tex b/decorum/plan-bouquin.tex
index 1405a82..cb31c21 100644
--- a/decorum/plan-bouquin.tex
+++ b/decorum/plan-bouquin.tex
@@ -1,28 +1,11 @@
-%% This is a LaTeX document. Hey, Emacs, -*- latex -*- , get it?
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
-\documentclass[9pt]{article}
-\usepackage[francais,english]{babel}
-\usepackage[utf8x]{inputenc}
-\usepackage[T1]{fontenc}
-\usepackage{graphics}
-\usepackage[usenames,dvipsnames]{xcolor}
-% A tribute to the worthy AMS:
-\usepackage{amsmath}
-\usepackage{amsfonts}
-\usepackage{amssymb}
-\usepackage{amsthm}
-\usepackage{mathrsfs}
-\usepackage{bm}
-%
-\input{../configuration/formules}
-\input{../configuration/ucs_manquants}
-\input{../configuration/encoredesmacros}
-%
-
-
+\documentclass[a4paper,9pt]{amsart}
+\input{../config/preambule}
+\input{../config/macros}
\begin{document}
-%\DeclareUnicodeCharacter{00A0}{~}
\fi
+
\begin{center}
Plan et avancement
\end{center}
@@ -35,7 +18,7 @@ Plan et avancement
\end{center}
\begin{enumerate}
-\item ✓ Spectre et idéaux premiers (appendice). \texttt{spectre.tex} [Spec] (F)
+\item ✔ Spectre et idéaux premiers (appendice). \texttt{spectre.tex} [Spec] (F)
\begin{enumerate}
\item Spectre, spectre maximal.
\item Lemme chinois.
@@ -43,7 +26,7 @@ Plan et avancement
\item Idempotents.
\end{enumerate}
-\item ✓ Algèbres finies sur un corps, extensions algébriques. \texttt{extensions-algebriques.tex} [Alg] (F).
+\item ✔ Algèbres finies sur un corps, extensions algébriques. \texttt{extensions-algebriques.tex} [Alg] (F).
\begin{enumerate}
\item Conséquences du lemme chinois.
\item Structures des algèbres de dimension finie sur un corps.
@@ -56,34 +39,34 @@ Plan et avancement
\item Corps finis. \texttt{corps-finis.tex} [Fin] (D).
\begin{enumerate}
-\item ✓ Existence et unicité.
-\item ✓ Cyclicité du groupe multiplicatif.
+\item ✔ Existence et unicité.
+\item ✔ Cyclicité du groupe multiplicatif.
\item Sommes de Jacobi/Gauß ; hypersurfaces diagonales.
\end{enumerate}
\item Correspondance de Galois. \texttt{correspondance-galois.tex} [CG] (F).
\begin{enumerate}
-\item ✓ Conjugués d'un élément, extensions normales, galoisiennes.
+\item ✔ Conjugués d'un élément, extensions normales, galoisiennes.
\item (en cours) ¶ Extension galoisiennes d'anneaux
-\item ✓ Groupe de Galois d'un polynôme. Réduction modulo $p$ (facile).
-\item ✓ Correspondance de Galois : le cas fini classique.
-\item ✓ Fonctorialité.
-\item ✓ $\mathbb{C}$ est algébriquement clos. Groupe de Galois de $\mathbb{C}/\mathbb{R}$. (F).
+\item ✔ Groupe de Galois d'un polynôme. Réduction modulo $p$ (facile).
+\item ✔ Correspondance de Galois : le cas fini classique.
+\item ✔ Fonctorialité.
+\item ✔ $\CC$ est algébriquement clos. Groupe de Galois de $\CC/\RR$. (F).
\item $\Gal(𝐐(\zeta_n)\bo 𝐐)=(𝐙/n)^×$ via théorème de spécialisation.
\end{enumerate}
\item Catégories (appendice). \texttt{categories.tex} [Cat] (D).
\begin{enumerate}
-\item ✓ Catégories, foncteurs, transformations naturelles. (Exemples, dont
+\item ✔ Catégories, foncteurs, transformations naturelles. (Exemples, dont
ensembles simpliciaux et nerf d'une catégorie)
-\item ✓ Limites, colimites.
-\item ✓ Foncteurs représentables, lemme de Yoneda. (Objets compacts ?)
-\item ✓? Adjonctions de foncteurs.
+\item ✔ Limites, colimites.
+\item ✔ Foncteurs représentables, lemme de Yoneda. (Objets compacts ?)
+\item ✔? Adjonctions de foncteurs.
\end{enumerate}
\item Produit tensoriel (appendice). \texttt{produit-tensoriel.tex} [Tens] (D).
\begin{enumerate}
-\item ✓ Produit tensoriel de modules.
+\item ✔ Produit tensoriel de modules.
\item Produit tensoriel d'algèbres. [dont produit tensoriel infini]
\end{enumerate}
@@ -96,13 +79,13 @@ ensembles simpliciaux et nerf d'une catégorie)
\begin{enumerate}
\setcounter{enumi}{\value{valeur}}
-\item ✓ Algorithmiques des corps finis. \texttt{algo-corps-finis.tex} [ACF] (D).
+\item ✔ Algorithmiques des corps finis. \texttt{algo-corps-finis.tex} [ACF] (D).
\begin{enumerate}
\item Dénombrement des polynômes irréductibles, critères d'irréductibilité.
\item Algorithme(s) de factorisation.
\end{enumerate}
-\item ✓ Bases de Gröbner et applications. \texttt{bases-groebner.tex} [Groebner] (D).
+\item ✔ Bases de Gröbner et applications. \texttt{bases-groebner.tex} [Groebner] (D).
\begin{enumerate}
\item Monômes, idéaux monomiaux et ordres admissibles.
\item Bases de Gröbner.
@@ -112,21 +95,21 @@ ensembles simpliciaux et nerf d'une catégorie)
\end{enumerate}
-\item ✓ Calculs de groupes de Galois : exemples. \texttt{exemples-galois.tex} [ExG] (D).
+\item ✔ Calculs de groupes de Galois : exemples. \texttt{exemples-galois.tex} [ExG] (D).
\begin{enumerate}
\item premiers exemples : équations explicites de petits degré. (D)
\item Polynômes en $t^2$. (D)
\item Groupe simple à 168 éléments etc. (D)
\end{enumerate}
-\item ✓ Algorithmes de calculs. \texttt{calculs-galois.tex} [calculs] (D).
+\item ✔ Algorithmes de calculs. \texttt{calculs-galois.tex} [calculs] (D).
\begin{enumerate}
\item Résolvantes.
\end{enumerate}
\item Radicaux, résolubilité, calculs explicites et cyclotomie. (D) \texttt{radicaux.tex} [radicaux]
\begin{enumerate}
-\item ✓ Résolubilité par radicaux.
+\item ✔ Résolubilité par radicaux.
\item th. Loewy/Hölder sur la résolubilité par radicaux réels  ; cas des racines de l'unité
\item Calculs explicites en degré $3$. (Y compris \textit{casus irreductibilis} [cf. partiel 2006 Rosso])
\item Calculs explicites en degré $4$.
@@ -154,19 +137,19 @@ ensembles simpliciaux et nerf d'une catégorie)
\item Formes tordues. \texttt{formes-tordues.tex} [formes] (F).
\begin{enumerate}
\item (réécriture en cours) Galois-Grothendieck.
-\item ✓ Formes et cohomologie galoisienne.
-\item ✓ Hilbert 90.
+\item ✔ Formes et cohomologie galoisienne.
+\item ✔ Hilbert 90.
\item Torseurs.
\end{enumerate}
-\item ✓ Corps $C₁$. \texttt{corps-c1.tex} [C1] (D).
+\item ✔ Corps $C₁$. \texttt{corps-c1.tex} [C1] (D).
\begin{enumerate}
\item Définitions.
\item Chevalley-Warning et application aux coniques.
\item Tsen.
\end{enumerate}
-\item ✓ Algèbres d'Azumaya et groupe de Brauer. \texttt{brauer.tex} [Azu] (F).
+\item ✔ Algèbres d'Azumaya et groupe de Brauer. \texttt{brauer.tex} [Azu] (F).
\begin{enumerate}
\item Skolem-Nœther.
\item $\Azu_n=H¹(K\bo k,\PGL_n)$.
@@ -179,21 +162,21 @@ ensembles simpliciaux et nerf d'une catégorie)
\item Équations verselles et petits degrés. \texttt{verselles.tex} [versel] (F).
\begin{enumerate}
-\item ✓ Extensions de groupe $\mathbf{Z}/2$.
-\item ✓ Extensions de groupe $\mathbf{Z}/3$. Extensions de degré $3$.
-\item ✓ Extensions de groupe $V_4$.
-\item ✓ Extensions de groupe $\mathbf{Z}/4$.
-\item ✓ Extensions quaternioniques.
-\item ✓ Théorème de la base normale et $G$-algèbre galoisienne verselle
+\item ✔ Extensions de groupe $\mathbf{Z}/2$.
+\item ✔ Extensions de groupe $\mathbf{Z}/3$. Extensions de degré $3$.
+\item ✔ Extensions de groupe $V_4$.
+\item ✔ Extensions de groupe $\mathbf{Z}/4$.
+\item ✔ Extensions quaternioniques.
+\item ✔ Théorème de la base normale et $G$-algèbre galoisienne verselle
\item Extension de degré $5$ (théorème d'Hermite)
\end{enumerate}
\item Théorie de Kummer et Artin-Schreier-Witt. (F) \texttt{KASW.tex} [KAS]
\begin{enumerate}
-\item ✓ Irréductibilité des $X^n-a$. Kummer.
-\item ✓ Artin-Schreier.
-\item ✓ Vecteurs de Witt.
-\item ✓ Artin-Schreier-Witt.
+\item ✔ Irréductibilité des $X^n-a$. Kummer.
+\item ✔ Artin-Schreier.
+\item ✔ Vecteurs de Witt.
+\item ✔ Artin-Schreier-Witt.
\item Algèbres simples centrales de degré $p^r$.
\item Facultatif : construction d'anneaux de Fontaine.
\end{enumerate}
@@ -211,7 +194,7 @@ ensembles simpliciaux et nerf d'une catégorie)
\item Théorie de Galois infinie. \texttt{krull.tex} [Krull] (F).
\begin{enumerate}
-\item ✓ Généralités.
+\item ✔ Généralités.
\item Équivalence de catégories entre $\mathrm{Rep}_{\mathbb{F}_p}(G_k)$ et $\varphi$-modules étales
si $k$ est un corps de caractéristique $p>0$.
\end{enumerate}
@@ -239,9 +222,9 @@ si $k$ est un corps de caractéristique $p>0$.
\begin{enumerate}
\item topologie sur $\Spec(A)$
\item foncteur $A↦T(A)$ ; th. de constructibilité de Chevalley. ([Olivier 1978], « Anneau absolument plat universel etc. ».)
-\item ✓ Éléments entiers sur un anneau.
-\item ✓ Relèvement des idéaux premiers (Cohen-Seidenberg).
-\item ✓ Anneaux d'invariants sous un groupe fini.
+\item ✔ Éléments entiers sur un anneau.
+\item ✔ Relèvement des idéaux premiers (Cohen-Seidenberg).
+\item ✔ Anneaux d'invariants sous un groupe fini.
\item (en cours) Spécialisation du groupe de Galois.
\item Normalisation dans une extension séparable. (Donner un contre-exemple non japonais)
\item théorie de la dimension
@@ -268,7 +251,7 @@ et densité des poins algébriques séparables dans un schéma lisse sur un corp
\item Krasner ; complétude $𝐂_p$.
\item Sous-groupes de ramification ; interprétation « géométrique »
\item Groupe de Galois de l'exponentielle tronquée (dont postulat de Bertrand).
-\item Automorphismes de $\mathbb{Q}_p$ sur $\mathbb{Q}$.
+\item Automorphismes de $\QQ_p$ sur $\QQ$.
\item Corps $p$-adiquement clos.
\item Anneaux de Dedekind : généralités
\item Différente, discriminant et ramification
@@ -279,15 +262,15 @@ et densité des poins algébriques séparables dans un schéma lisse sur un corp
\item Corps locaux, corps globaux. \texttt{locaux-globaux.tex} [LG]
\begin{enumerate}
-\item (esquisse ✓) définition, caractérisation
-\item (esquisse ✓) Analyse harmonique locale
-\item (esquisse ✓) Adèles et idèles ; lien avec le groupe de Picard etc.
+\item (esquisse ✔) définition, caractérisation
+\item (esquisse ✔) Analyse harmonique locale
+\item (esquisse ✔) Adèles et idèles ; lien avec le groupe de Picard etc.
\item théorie géométrique des nombres : théorème des unités, théorème de Minkowski, calculs de volumes
\item finitude du groupe de Picard ; formule dans le cas quadratique
-\item (esquisse ✓) Analyse harmonique globale : formule de Poisson-Riemann-Roch
-\item (esquisse ✓) Théorème de Riemann-Roch pour les courbes
+\item (esquisse ✔) Analyse harmonique globale : formule de Poisson-Riemann-Roch
+\item (esquisse ✔) Théorème de Riemann-Roch pour les courbes
\item (esquisse partielle) Équations fonctionnelles pour fonctions $L$ de Hecke : la méthode de Iwasawa-Tate.
-\item (esquisse ✓) Fonction $\zeta$ de Dedekind ; pôle en $1$.
+\item (esquisse ✔) Fonction $\zeta$ de Dedekind ; pôle en $1$.
\item Simple connexité de $\mathrm{Spec}(\mathbb{Z})$. Application : groupe de Galois de $X^n - X - 1$.
\item ¶ Hypothèse de Riemann pour les courbes : méthode de Bombieri.
\item fonction $\zeta$ sur $\mathbb{Z}$ de $x^3+y^3+z^3$.
@@ -297,7 +280,7 @@ et densité des poins algébriques séparables dans un schéma lisse sur un corp
\item Frobenius, \v{C}ebotarëv. \texttt{Cebotarev.tex} [modp]
\begin{enumerate}
-\item ✓ Rappels sur la réduction modulo $p$ ; th. de van der Waerden
+\item ✔ Rappels sur la réduction modulo $p$ ; th. de van der Waerden
\item Théorème de Frobenius : énoncé et démonstration
\item Applications
\item Exemples
@@ -331,7 +314,7 @@ Grothendieck et cas radiciel (cf. LNM 389).
[si elle existe] des polynômes de degré donné ayant exactement $r$-racines
réelles ?)
\item Groupes de Galois absolus finis (Artin-Schreier).
-\item Automorphismes de $\mathbb{R}$ sur $\mathbb{Q}$.
+\item Automorphismes de $\RR$ sur $\QQ$.
\end{enumerate}
\item Constructions « exotiques » de corps.
diff --git a/decorum/translitterations.tex b/decorum/translitterations.tex
index c6a5187..0bcca69 100644
--- a/decorum/translitterations.tex
+++ b/decorum/translitterations.tex
@@ -1,31 +1,21 @@
+%%% Emacs: -*- mode:latex; coding:utf-8; -*-
\ifx\danslelivre\undefined
-\documentclass[9pt]{../configuration/smfart}
-\input{../configuration/commun}
-\input{../configuration/smf}
-\input{../configuration/adresse}
-\input{../configuration/gadgets}
-\input{../configuration/francais}
-\input{../configuration/numerotation}
-\input{../configuration/formules}
-\input{../configuration/encoredesmacros}
-
-\usepackage{stmaryrd}
-\usepackage{graphics}
-\usepackage[usenames,dvipsnames]{xcolor}
-
+\documentclass[a4paper,9pt]{amsart}
+\input{../config/preambule}
+\input{../config/macros}
\begin{document}
\begin{center}Orthographe originale des noms translittérés ; transcription\end{center}
\else
\chapter{Orthographe originale des noms translittérés ; transcription}
\fi
-AKIDUKI (AKIZUKI) \jap{秋月康夫} [API] ...
+AKIDUKI (AKIZUKI) {\IPAMincho 秋月康夫} [API] ...
-SAÏTÔ Takeshi \jap{斎藤毅} [API]
+SAÏTÔ Takeshi {\IPAMincho 斎藤毅} [API]
-IWASAWA Kenkiti \jap{岩沢健吉} [API] :) % être systématique mais ça vaut le coup : tout le monde dit IwaZawa
+IWASAWA Kenkiti {\IPAMincho 岩沢健吉} [API] :) % être systématique mais ça vaut le coup : tout le monde dit IwaZawa
-Lev PONTRÂGIN \russe{Понтрягин} [API] %Pontriaguine
+Lev PONTRÂGIN Понтрягин [API] %Pontriaguine
Vijayaraghavan %திருகண்ணபுரம் விஜயராகவன்