[calculs] Une proposition que je vais abandonner mais que j'enregistre si jamais je change d'avis.

1 files changed, 12 insertions, 0 deletions

diff --git a/calculs-galois.tex b/calculs-galois.tex
index db573a2..33d6725 100644
--- a/calculs-galois.tex
+++ b/calculs-galois.tex
@@ -1487,6 +1487,18 @@ 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.