summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david@procyon.(none)>2010-12-22 16:32:10 +0100
committerDavid A. Madore <david@procyon.(none)>2010-12-22 16:32:10 +0100
commit230c24adbde74344db6af4d23a3801efe8863be4 (patch)
treee787244bc5294bb7f84cbfdbc3a5e652571c0913
parent09ebf71f86134895318c429fbc4b0d926b92d322 (diff)
downloadgalois-230c24adbde74344db6af4d23a3801efe8863be4.tar.gz
galois-230c24adbde74344db6af4d23a3801efe8863be4.tar.bz2
galois-230c24adbde74344db6af4d23a3801efe8863be4.zip
[calculs] Abandon d'une proposition que je ne sais pas démontrer et qui n'a pas l'air tellement utile.
This reverts commit 09ebf71f86134895318c429fbc4b0d926b92d322.
-rw-r--r--calculs-galois.tex12
1 files changed, 0 insertions, 12 deletions
diff --git a/calculs-galois.tex b/calculs-galois.tex
index 33d6725..db573a2 100644
--- a/calculs-galois.tex
+++ b/calculs-galois.tex
@@ -1487,18 +1487,6 @@ fonctions engendrent manifestement $K^\Gamma$, et comme $H$ contient
aussi $S$, on a prouvé $H = K \wr_\Gamma S$.
\end{proof}
-\begin{proposition2}
-Soit $K$ un groupe fini, et $S$ un groupe de permutations dont on
-notera $\Gamma$ l'ensemble sur lequel il opère ; alors tout
-sous-groupe distingué minimal $N$ du produit en couronne $K \wr_\Gamma
-S$ est de la forme $M^\Gamma$ avec $M$ un sous-groupe distingué
-minimal de $K$. En particulier, le socle de $K \wr_\Gamma S$ est
-$H^\Gamma$ où $H$ est le socle de $K$.
-\end{proposition2}
-\begin{proof}
-\XXX
-\end{proof}
-
\subsection{Le théorème de O'Nan-Scott}
Cette section fait suite à la précédente.