summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2013-03-01 11:17:23 (GMT)
committerDavid A. Madore <david+git@madore.org>2013-03-01 11:17:23 (GMT)
commit3b779bfbdcfdf1fc4626df162f7c80790cc648af (patch)
tree3b33525d607e6c5288dc0d6340c22156d1da4552
parente0c77f6dc4c6ab7e8a13a635b1b7c1322386c515 (diff)
downloadgalois-3b779bfbdcfdf1fc4626df162f7c80790cc648af.zip
galois-3b779bfbdcfdf1fc4626df162f7c80790cc648af.tar.gz
galois-3b779bfbdcfdf1fc4626df162f7c80790cc648af.tar.bz2
Transformation en LuaTeX : encore des chapitres(?) oubliés.
Je ne sais pas bien ce que sont ces fichiers ! Je renonce à faire compiler cohomologie-groupes.tex (trop cassé).
-rw-r--r--chapitres/Boole.tex47
-rw-r--r--chapitres/cohomologie-groupes.tex86
-rw-r--r--chapitres/descente.tex28
3 files changed, 51 insertions, 110 deletions
diff --git a/chapitres/Boole.tex b/chapitres/Boole.tex
index 47a9506..af9e58f 100644
--- a/chapitres/Boole.tex
+++ b/chapitres/Boole.tex
@@ -1,30 +1,11 @@
%%% 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}
-%\usepackage{makeidx}
-\usepackage{tikz}
-\usetikzlibrary{matrix}
-\usepackage{srcltx} % pour passer du dvi au tex en cliquant
-%\usepackage{pxfonts}
-
-\synctex=1
-
+\documentclass[a4paper,9pt]{amsart}
+\input{../config/preambule}
+\input{../config/macros}
+\title{Algèbres de Boole et idempotents}
\begin{document}
-\begin{center}
-Algèbres de Boole et idempotents
-\end{center}
+\maketitle
\tableofcontents
\else
\chapter{Algèbres de Boole et idempotents}
@@ -39,7 +20,7 @@ pour des compléments.
\XXX Inclure lemme 2.17 de Liu (sous $k$-algèbre étale maximale
d'une $k$-algèbre de type fini et lien avec π₀).
-\begin{exercice3}
+\begin{exercice2}
\begin{enumerate}
\item Soit $A$ un anneau et $I$ un idéal.
Montrer que l'ensemble $\sqrt{I}=\{a∈A,\,∃n\,a^n∈I\}$ est un idéal
@@ -49,9 +30,9 @@ $\sqrt{Ae}=\sqrt{Af}$. Montrer que $e=f$. %c'est BBK, AC, 2, §4, lemme 1
(Indication : calculer $ef$ de deux façons différentes.)
\end{enumerate}
En particulier, deux idempotents engendrant le même idéal sont égaux.
-\end{exercice3}
+\end{exercice2}
-\begin{exercice3}\label{exercice-inverse-ponctuel}
+\begin{exercice2}\label{exercice-inverse-ponctuel}
Soient $A$ un anneau et $a∈A$. Montrer que s'il existe un élément
$x∈A$ tel que $axa=a$, il existe alors un \emph{unique} élément
$a^{(-1)}∈A$ tel que $aa^{(-1)}a=a$ et $a^{(-1)}aa^{(-1)}=a^{(-1)}$.
@@ -59,11 +40,11 @@ $a^{(-1)}∈A$ tel que $aa^{(-1)}a=a$ et $a^{(-1)}aa^{(-1)}=a^{(-1)}$.
constater que l'idéal $(a)$ est engendré par l'idempotent $ax$
et utiliser la remarque à la fin de l'exercice précédent.)
On dit que $a^{(-1)}$ est l'\emph{inverse ponctuel} de $a$.
-\end{exercice3}
+\end{exercice2}
L'exercice suivant est une réciproque au \ref{decomposition-idempotents-orthogonaux}, (ii).
-\begin{exercice3}\label{famille-orthogonale-d-idempotents}\label{Hom(prod,integre)}
+\begin{exercice2}\label{famille-orthogonale-d-idempotents}\label{Hom(prod,integre)}
Soit $B=∏_{i∈I} B_i$ un produit fini d'anneaux. Pour chaque $i∈I$, soit
$e_i$ l'élément dont la $i$-ème coordonnées est l'unité de $B_i$ et dont
les autres coordonnées sont nulles : les $e_i$
@@ -71,7 +52,7 @@ constituent une famille orthogonale d'idempotents de somme un.
Vérifier que la surjection canonique $B→B_i$ s'identifie canoniquement au
morphisme $B→Be_i$, via l'isomorphisme évident
$$Be_i=\{0\}×\cdots×\{0\}×B_i×\{0\}×\cdots×\{0\} ⥲ B_i.$$
-\end{exercice3}
+\end{exercice2}
%\begin{démo}
%L'égalité $(ae)\cdot (be)=(ab)e$ (pour $a$ et $b$ dans $A$) entraîne la première
@@ -79,17 +60,17 @@ $$Be_i=\{0\}×\cdots×\{0\}×B_i×\{0\}×\cdots×\{0\} ⥲ B_i.$$
%$A$.
%\end{démo}
-\begin{exercice3}\label{factorisation-vers-integre}
+\begin{exercice2}\label{factorisation-vers-integre}
\begin{enumerate}
\item Soient $B=∏_{i∈I} B_i$ un produit \emph{fini} d'anneaux et $f:B→C$ un morphisme vers
un anneau \emph{intègre}. Montrer que le morphisme $f$ se factorise de façon unique
-à travers l'un des $B_i$, \cad qu'il existe un unique entier $i'∈I$
+à travers l'un des $B_i$, c'est-à-dire qu'il existe un unique entier $i'∈I$
et un unique morphisme $f_{i'}:B_{i'}→C$ tel que $f$ soit
le composé $B↠B_{i'}\dessusdessous{f_{i'}}{→}C$.
\item Est-ce encore vrai si $I$ est infini ?
(Cf. \ref{ultraproduits}.)
\end{enumerate}
-\end{exercice3}
+\end{exercice2}
%\begin{démo}
%Soient $e_i$ comme dans le lemme précédent. Notons
diff --git a/chapitres/cohomologie-groupes.tex b/chapitres/cohomologie-groupes.tex
index cd2e384..2a6d47a 100644
--- a/chapitres/cohomologie-groupes.tex
+++ b/chapitres/cohomologie-groupes.tex
@@ -1,33 +1,13 @@
%%% 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}
-%\usepackage{makeidx}
-\usepackage{tikz}
-\usetikzlibrary{matrix}
-\usepackage{srcltx} % pour passer du dvi au tex en cliquant
-%\usepackage{pxfonts}
-
-\textwidth13cm % pour pouvoir lire le nom des étiquettes si \usepackage{showkeys}
+\documentclass[a4paper,9pt]{amsart}
+\input{../config/preambule}
+\input{../config/macros}
+\title{Ensembles simpliciaux et cohomologie des groupes}
\externaldocument{extensions-algebriques} % là où regarder
\externaldocument{categories}
\externaldocument{entiers}
\externaldocument{KAS}
-%\makeindex
-
-\title{Ensembles simpliciaux et cohomologie des groupes}
-
\begin{document}
\maketitle
\tableofcontents
@@ -42,15 +22,15 @@
Il faut au moins qu'il y ait les résultats suivants,
copiés-collés depuis le livre de Serre.
-ection{Extensions}
+\subsection{Extensions}
-\begin{defi}
+\begin{definition2}
Soient $A$ et $G$ deux groupes. On dit que $E$ est une
\emph{extension} de $G$ par $A$ si l'on a une suite exacte
$$\xymatrix{\{1\} \ar[r] & A \ar[r] & E \ar[r] & G \ar[r] &
\{1\}}$$
avec $A$ normal dans $E$.
-\end{defi}
+\end{definition2}
\rmq Dans ce \S, on suppose $A$ commutatif.
\bigskip Toute extension $E$ de $G$ par $A$ d\'{e}finit une
@@ -96,12 +76,12 @@ Soit $E$ une extension de $G$ par $A$; on a une surjection
$\pi$
de $E$ sur $G$.
-\begin{defi}
+\begin{definition2}
Une \emph{section} $h$ de $\pi$ est une application de $G$
dans
$E$ telle que $\pi\circ h=\Id_G$.
$$\xymatrix{E \ar[d]_\pi \\ G \ar@/_0.5cm/[u]_h}$$
-\end{defi}\label{section}
+\end{definition2}\label{section}
Au-dessus de $s\in G$, on choisit un point dans la fibre
$\pi^{-1}(s)$. Tout \'{e}l\'{e}ment $e\in E$ s'\'{e}crit
@@ -165,13 +145,13 @@ section $h$ telle que $f_h(s,t)=1$ pour tous $s,t\in G$,
i.e. que
$h$ est un homomorphisme.
-\begin{defi}
+\begin{definition2}
Une extension $E$ de $G$ par $A$ est dite \emph{triviale}
s'il
existe un homomorphisme $h:G\rightarrow E$ telle que
$\pi\circ
h=\Id_G$ (ou, de fa\c{c}on \'{e}quivalente, si $e=0$).
-\end{defi}
+\end{definition2}
Examinons une telle extension: tout \'{e}l\'{e}ment de $E$
s'\'{e}crit $ah(s)$ de mani\`{e}re unique et
@@ -192,11 +172,11 @@ triviale de
$G$ par $A$, qui est le produit semi-direct de $G$ par $A$
d\'{e}fini par l'action de $G$ sur $A$.
-\begin{thm}
+\begin{theoreme2}
L'application $f_h$ est un $2$-cocycle de $G$ \`{a} valeurs
dans
$A$.
-\end{thm}
+\end{theoreme2}
Il faut v\'{e}rifier que $f_h$ appartient au noyau de $d$,
l'homomorphisme de cobord. L'\'{e}criture est ici
@@ -219,11 +199,11 @@ $$df_h(u,v,w)=1.\eqno\square$$
Nous allons enfin voir:
-\begin{thm}\label{th4.3}
+\begin{theoreme2}\label{th4.3}
Toute classe de cohomologie de $H^2(G,A)$ correspond \`{a}
une
extension de $G$ par $A$.
-\end{thm}
+\end{theoreme2}
On va reconstruire la situation pr\'{e}c\'{e}dente: soit
$f\in
@@ -294,14 +274,14 @@ l'\'{e}l\'{e}ment de $C^0(G,A)$ correspondant \`{a} $a$).
Donc $l$
doit \^{e}tre un cobord. D'o\`{u}:
-\begin{thm}
+\begin{theoreme2}
Les classes de conjugaison (par les \'{e}l\'{e}ments de $A$,
ou de
$G$) des sections de $E$ qui sont des homomorphismes
correspondent
bijectivement aux \'{e}l\'{e}ments du groupe de cohomologie
$H^1(G,A)$.
-\end{thm}
+\end{theoreme2}
[Noter que cette correspondance \emph{d\'{e}pend} du choix
de $h$.
@@ -312,11 +292,11 @@ espace
principal homog\`{e}ne (\og torseur\fg) sous l'action de
$H^1(G,A)$.]
-\begin{coro}
+\begin{corollaire2}
Pour que les sections de $\pi$ qui sont des homomorphismes
soient
conjugu\'{e}es, il faut et il suffit que $H^1(G,A)=\{0\}$.
-\end{coro}
+\end{corollaire2}
\section{Groupes finis: un crit\`{e}re de
nullit\'{e}}\label{4.3}
@@ -324,9 +304,9 @@ nullit\'{e}}\label{4.3}
Soit $G$ un groupe \`{a} $m$ \'{e}l\'{e}ments et soit $A$ un
$G$-module.
-\begin{thm}
+\begin{theoreme2}
Soient $n\geqslant 1$ et $x\in H^n(G,A)$. On a $mx=0$.
-\end{thm}
+\end{theoreme2}
Soit $f\in Z^n(G,A)$ un $n$-cocycle repr\'{e}sentant $x$. Il
faut
@@ -364,12 +344,12 @@ On pose donc $F=(-1)^n F_1$ qui v\'{e}rifie $dF=mf$,
d'o\`{u} le
r\'{e}sultat.~\findem
-\begin{coro}
+\begin{corollaire2}
Si l'application $a\mapsto ma$ est un automorphisme de $A$
($m$
\'{e}tant l'ordre de $G$) alors $H^n(G,A)=\{0\}$ pour tout
$n\geqslant 1$.
-\end{coro}
+\end{corollaire2}
En effet, $x\mapsto mx$ est alors un automorphisme de
$C^n(G,A)$ qui
@@ -379,15 +359,15 @@ passage au quotient. Or c'est dans ce cas l'application
nulle
d'o\`{u} $H^n(G,A)=\{0\}$.~\findem
-\begin{coro}
+\begin{corollaire2}
Si $G$ et $A$ sont finis d'ordres premiers entre eux alors
$H^n(G,A)=\{0\}$ pour tout $n\geqslant 1$.
-\end{coro}
+\end{corollaire2}
En effet $a\mapsto ma$ est alors un automorphisme de
$A$.~\findem
-\begin{coro}
+\begin{corollaire2}
Si $G$ et $A$ sont finis d'ordres premiers entre eux alors:
\begin{enumerate}
\item[(1)] Toute extension $E$ de $G$ par $A$ est triviale.
@@ -396,7 +376,7 @@ Si $G$ et $A$ sont finis d'ordres premiers entre eux alors:
sont
conjugu\'{e}s par un \'{e}l\'{e}ment de $A$.
\end{enumerate}
-\end{coro}
+\end{corollaire2}
On a $H^n(G,A)=\{0\}$ si $n\geqslant 1$. Le cas $n=2$ donne
$(1)$ et
@@ -412,7 +392,7 @@ d'un groupe $G$ par un groupe $A$ commutatif au cas o\`{u}
$A$ est
r\'{e}soluble ou m\^{e}me quelconque.
-\begin{thm}[Zassenhaus]\label{Zassen}
+\begin{theoreme2}[Zassenhaus]\label{Zassen}
Soient $A$ et $G$ deux groupes finis d'ordres premiers entre
eux et
consid\'{e}rons une extension $\{1\}\rightarrow A\rightarrow
@@ -430,7 +410,7 @@ sont conjugu\'{e}s par un \'{e}l\'{e}ment de $A$ (ou de $E$,
cela
revient au m\^{e}me).
\end{enumerate}
-\end{thm}
+\end{theoreme2}
On raisonne par r\'{e}currence sur $|E|$; on peut supposer
$A$ et
@@ -439,7 +419,7 @@ $G$ distincts de $\{1\}$.
{\it Premier cas: $A$ est r\'{e}soluble.} On d\'{e}montre
d'abord le
-\begin{lemme}\label{4.4.2}
+\begin{lemme2}\label{4.4.2}
Soit $X$ un groupe r\'{e}soluble non r\'{e}duit \`{a}
$\{1\}$. Il
existe un nombre premier $p$ et un $p$-sous-groupe $Y$ de
@@ -447,7 +427,7 @@ $X$
distinct de $\{1\}$ tel que $Y$ soit ab\'{e}lien
\'{e}l\'{e}mentaire
et caract\'{e}ristique.
-\end{lemme}
+\end{lemme2}
On rappelle qu'un $p$-groupe ab\'{e}lien est dit
\emph{\'{e}l\'{e}mentaire} si ses \'{e}l\'{e}ments distincts
@@ -665,7 +645,7 @@ conjugu\'{e}s par $(1,a)\in E_\varphi$. Le \S\ \ref{4.4}
donne alors
le
-\begin{thm}
+\begin{theoreme2}
Soit $\{1\}\rightarrow A\rightarrow E \rightarrow
\Phi\rightarrow\{1\}$ une suite exacte et soit $\varphi$ un
homomorphisme d'un groupe $G$ dans le groupe $\Phi$.
@@ -680,7 +660,7 @@ rel\`{e}ve $\varphi$.
homomorphismes
sont conjugu\'{e}s par un \'{e}l\'{e}ment de $A$.
\end{enumerate}
-\end{thm}
+\end{theoreme2}
\App On se donne un homomorphisme $\varphi: G\rightarrow
\mathbf{GL}_n(\ZM/p\ZM)$ o\`{u} $p$ ne divise pas l'ordre de
diff --git a/chapitres/descente.tex b/chapitres/descente.tex
index c9da1e3..a2c7025 100644
--- a/chapitres/descente.tex
+++ b/chapitres/descente.tex
@@ -1,33 +1,13 @@
%%% 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}
-%\usepackage{makeidx}
-\usepackage{tikz}
-\usetikzlibrary{matrix}
-\usepackage{srcltx} % pour passer du dvi au tex en cliquant
-%\usepackage{pxfonts}
-
-\textwidth13cm % pour pouvoir lire le nom des étiquettes si \usepackage{showkeys}
+\documentclass[a4paper,9pt]{amsart}
+\input{../config/preambule}
+\input{../config/macros}
+\title{Platitude et descente}
\externaldocument{extensions-algebriques} % là où regarder
\externaldocument{categories}
\externaldocument{entiers}
\externaldocument{KAS}
-%\makeindex
-
-\title{Platitude et descente}
-
\begin{document}
\maketitle
\tableofcontents