Exercices corrigés des ENS sur le thème « groupe symétrique, déterminants », regroupés par filière.
MP–MPI
Calculer {\sum\limits_{\sigma\in\mathfrak S_n}\varepsilon(\sigma)/(\nu(\sigma)+1)}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Calculer {\mathbb E(\det(A-A^T))}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Question b) {(1\ 3)} et {(1\ 2\ 3\ 4)} engendrent-ils {\mathfrak S_4} ?
Question c) Si {(a\ b)} et {(1\ 2\ \cdots\ n)} engendrent {\mathfrak S_n}, montrer que {\gcd(b-a,n)=1}.
Question d) Montrer la réciproque.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {\det F_{A,B}=\mu_{A,B}}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Question b) Même question si les coefficients voisins ont un module au plus {1}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Poser {B(x)=\det(f_i(x_j))}, {C(x)=\det(g_i(x_j))}.
Montrer que {\int_{[0,1]^n}BC=n!\det A}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {q_{n,p}} est pair si {p\ge2n}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Question 2) pour tous {a,b,c,d\in E}, si {(a,b,c)\in S} et {(a,c,d)\in S}, alors {(a,b,d)\in S} et {(b,c,d)\in S}.
Montrer qu'il existe une injection {g:E\to\mathbb{R}} telle que {g(a)\lt g(b)\lt g(c)\Longrightarrow(a,b,c)\in S}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {g} croît et {n\le g(n)\le n!} ; trouver le plus petit {n} tel que {g(n)>n}.
Si {(p_i)} est la suite des nombres premiers, montrer {n\ge\sum\limits_{i=1}^rp_i^{\alpha_i}\Longrightarrow g(n)\ge\prod\limits_{i=1}^rp_i^{\alpha_i}}.
Réciproquement, si {g(n)=\prod\limits_{i=1}^rp_i^{\alpha_i}}, montrer {n\ge\sum\limits_{i=1}^rp_i^{\alpha_i}}.
Enfin montrer : pour tout {\varepsilon>0}, il existe {C>0} tel que {g(n)\le Ce^{\varepsilon n}} pour tout {n\ge1}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Exprimer {\det(A+uv^T)} et, lorsque ce déterminant est non nul, {(A+uv^T)^{-1}}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Calculer {\det(\alpha_{i,k})_{1\le i,k\le n}}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {n} est divisible par {3}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que, pour tout {B\in M_4(\mathbb{R})}, {\operatorname{Pf}(BAB^t)=\det(B)\operatorname{Pf}(A)}. Pour {\det B\lt 0}, on pourra considérer {J=\operatorname{diag}(-1,1,1,1)}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer l'équivalence entre : {R} n'a pas de valeur propre réelle ; {\operatorname{Pf}(A)\ne0} ; {A} est inversible.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer qu'il existe {P\in SO_4(\mathbb{R})} tel que {R_1=PR_2P^t}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Déterminer le nombre de cycles dans la décomposition de {c^i}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {a\succeq b} si et seulement si, pour tout {x\in(\mathbb{R}_+^\star)^n}, {\sum_{\sigma\in\mathfrak S_n}\prod_{i=1}^nx_i^{a_{\sigma(i)}} \ge\sum_{\sigma\in\mathfrak S_n}\prod_{i=1}^nx_i^{b_{\sigma(i)}}.}
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Déterminer le signe de {\det(A^k+B^k)}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
ii) Montrer que pour chaque {x,j} il existe {p_j} de degré {j}, de coefficient dominant {f'(x)^j}, tel que {\frac{d^j}{dx^j}f(x)^z=f(x)^{z-j}p_j(z)} pour tout réel {z}.
iii) Démontrer la formule et discuter des cas particuliers.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
PC
Calculer le déterminant de {\Phi:M\mapsto M^T}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {|\det A_j|=1} pour tout {j}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres