Stabilisateur et sous-groupe maximal
Bonjour
Je souhaiterais démontrer que pour tout $n \geqslant 5$ le stabilisateur de $\left\{1,2 \right\}$ pour l'action naturelle de $\mathfrak{S}_n$ noté $S$ est un sous-groupe maximal de $\mathfrak{S}_n$
J'envisage un sous-groupe $S \subset H$ et je cherche à établir, en supposant l'inclusion stricte, que $H$ contient toutes les transpositions : c'est le cas pour $(12)$ et $(ab)$ lorsque $a,b \geqslant 5$ .
Je bloque en revanche pour établir que $H$ contient également les transpositions $(1a)$ pour tout $ a \geqslant 3$ même en faisant intervenir une permutation $\sigma \in H \setminus S$ telle que $\sigma (1) \geqslant 3$
Au plaisir de lire vos idées sur la question.
Je souhaiterais démontrer que pour tout $n \geqslant 5$ le stabilisateur de $\left\{1,2 \right\}$ pour l'action naturelle de $\mathfrak{S}_n$ noté $S$ est un sous-groupe maximal de $\mathfrak{S}_n$
J'envisage un sous-groupe $S \subset H$ et je cherche à établir, en supposant l'inclusion stricte, que $H$ contient toutes les transpositions : c'est le cas pour $(12)$ et $(ab)$ lorsque $a,b \geqslant 5$ .
Je bloque en revanche pour établir que $H$ contient également les transpositions $(1a)$ pour tout $ a \geqslant 3$ même en faisant intervenir une permutation $\sigma \in H \setminus S$ telle que $\sigma (1) \geqslant 3$
Au plaisir de lire vos idées sur la question.
Réponses
-
$\newcommand{\Stab}{\mathrm{Stab}}$Bonsoir ludo'
Il y a un problème car $\Stab(\{1,2\}) \subsetneq \Stab(\{1\})\subsetneq \mathfrak S_n$.
Alain -
AD, ta première inclusion est fausse.
Soit $\sigma$ n'appartenant pas à $S$ et $H$ le sous-groupe engendré par $\sigma$ et $S$. On veut montrer que $H=\mathfrak S_n$. Soit $\tau = (1 \; 2)$.
Si $\sigma(1)=1$ et $\sigma(2)>2$ alors $H$ contient $\sigma \tau \sigma^{-1}=(1\; \sigma(2))$. En conjuguant encore on trouve que $H$ contient $(1\; i)$ pour tout $i$.
Si $\sigma(1)>2$ et $\sigma(2)>2$, par exemple $\sigma(1)=3$ et $\sigma(2)=4$, alors $H$ contient $\sigma S \sigma^{-1}$ qui est le stabilisateur de $\{3,4\}$, donc contient $(1\; 2\; 5)$. Par conjugaison il contient $(1\;2\; i)$ pour tout $i\geqslant 3$, etc. -
Bonsoir JLT
Je dois avoir les yeux bouchés, mais
si $\sigma$ stabilise $\{1,2\}$, alors il stabilise $\{1\}$. Donc $\Stab(\{1,2\})\subset \Stab(\{1\})$.
Soit alors $\sigma\in\mathfrak S_n,\ n\geq 3$ défini par $\sigma(1)=1$, $\sigma(2)=3$, $\sigma(3)=2$ et $\sigma(i)=i,\ i>3$.
On a bien $\sigma\in\Stab(\{1\})$ et $\sigma\notin \Stab(\{1,2\})$ donc $\Stab(\{1,2\})\subsetneq \Stab(\{1\})$.
Où me tompé-je ?
D'autre part $\Stab(\{1\})\subsetneq \mathfrak S_n$ de manière évidente !
Alain -
Stabiliser $\{1,2\}$, cela peut être permuter $1$ et $2$, non ?
-
En fait tu ne dois pas avoir la même définition de $\mathrm{Stab}(A)$.
On considère que $\mathfrak S_n$ agit sur l'ensemble des parties de $\{1,\ldots,n\}$ par $\sigma\cdot A = \sigma(A)$. Alors $\mathrm{Stab}(A)$ est le stabilisateur de $A$ pour cette action.
En particulier $\mathrm{Stab}(\{1,2\})$ est l'ensemble des $\sigma$ telles que ($\sigma(1)=1$ et $\sigma(2)=2$) ou ($\sigma(1)=2$ et $\sigma(2)=1$). -
Ah oui ! J'étais donc hors de la plaque :-(.
Merci MathCoss et JLT de m'avoir ouvert les yeux !
Alain
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres