Édition de feuilles d'exercices

[oraux/ex6649] ens lyon MP 2013 On fixe \(p\) un nombre premier impair. On admet que le groupe multiplicatif \((\mathbf{Z}/p\mathbf{Z})^*\) est cyclique. On note \(E\) le \(\mathbf{C}\)-espace vectoriel des fonctions de \(\mathbf{Z}/p\mathbf{Z}\) dans \(\mathbf{C}\). On munit \(E\) du produit hermitien défini par \((f,g)\mapsto\displaystyle\sum\limits_{x\in\mathbf{Z}/p\mathbf{Z}}\overline{f(x)}g(x)\). On choisit un générateur \(y\) de \((\mathbf{Z}/p\mathbf{Z})^*\). Pour \(j\) dans \(\{0,\ldots,p-2\}\), on définit \(\chi_j\in E\) par \(\chi_j(0)=0\) et \(\chi_j(y^s)=e^{i\textstyle{2\pi js\over p-1}}\) pour tout \(s\in\{0,\ldots,p-2\}\).

1. Montrer que \(\chi_j\) induit un morphisme de groupes de \((\mathbf{Z}/p\mathbf{Z})^*\) dans \(\mathbf{C}^*\).

2. Pour \(j\in\{0,\ldots,p-2\}\), calculer \(\displaystyle\sum\limits_{x\in\mathbf{Z}/p\mathbf{Z}}\chi_j(x)\).

3. Que vaut \(\chi_j(-1)\) ?

4. On note \(e_0\) l’élément de \(E\) défini par \(x\mapsto\delta_{x,0}\). Trouver un complexe \(\lambda\) tel que : \((e_0,\lambda\chi_0,\lambda\chi_2,\ldots,\lambda\chi_{p-2})\) soit une base orthonormée de \(E\).

5. On fixe un générateur \(\zeta\) du groupe des racines \(p\)-ièmes de l’unité. On note \(\Phi\) l’endomorphisme de \(\mathbf{C}^n\) représenté dans la base canonique par la matrice \((\zeta^{(i-1)(j-1)})_{1\leqslant i,j\leqslant p}\). Calculer \(\Phi^2\), déterminer ses éléments propres. Calculer \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits\Phi\).

[examen/ex3257] mines MP 2025 Soient \(n\), \(m\in\mathbf{N}^*\), \(S\in\mathscr{S}_m(\mathbf{R})\). On pose \(A=\left(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(S^{i+j-2})\right)_{1\leqslant i,j\leqslant n}\). Montrer que \(\mathop{\mathchoice{\hbox{rg}}{\hbox{rg}}{\mathrm{rg}}{\mathrm{rg}}}\nolimits(A)=\mathop{\mathchoice{\hbox{min}}{\hbox{min}}{\mathrm{min}}{\mathrm{min}}}\limits(n,\mathop{\mathchoice{\hbox{deg}}{\hbox{deg}}{\mathrm{deg}}{\mathrm{deg}}}\nolimits(\pi_S))\), où l’on a noté \(\pi_S\) le polynôme minimal de \(S\).

[examen/ex1323] polytechnique MP 2024 Pour \(n\in\mathbf{N}^*\), soit \(H_n=\{M\in \mathscr{M}_n(\{-1,1\})\;;\; M^TM=nI_n\}\).

1. Déterminer \(H_1\), \(H_2\) et \(H_3\).

2. Soit \(n\geqslant 4\) tel que \(H_n\neq \varnothing\). Montrer que \(4\) divise \(n\).

3. À l’aide de \(A\in{H}_n\), construire une matrice \(B\in{H}_{2n}\).

4. Soit \(p\) un nombre premier tel que \(p\equiv 3\, [4]\). Montrer que \(H_{p+1}\) n’est pas vide.

[examen/ex2720] ens paris MP 2025 Soit \(H=(H_{i,j})_{1\leqslant i,j\leqslant n}\in\mathscr{S}_n^{++}(\mathbf{R})\). On suppose que, pour tous \(i\neq j\), \(H_{i,j}\leqslant 0\). Si \((i,j)\in[\![1,n]\!]^2\), on dit que \(i\) et \(j\) sont connectés s’il existe \(m\in\mathbf{N}^*\), \(k_1,\ldots,k_m\in[\![1,n]\!]\) tels que \(k_1=i\), \(k_m=j\) et, pour tout \(\ell\in[\![1,m-1]\!]\), \(H_{k_\ell,k_{\ell+1}}\neq0\).

Montrer que \(i\) et \(j\) sont connectés si et seulement si \(H^{-1}_{i,j}>0\), où \(H^{-1}_{i,j}\) est le coefficient d’indice \((i,j)\) de \(H^{-1}\).

[planches/ex8754] centrale PC 2022 Pour \(S\in\mathscr{S}_n^{++}(\mathbf{R})\), on note \(O_S=\{M\in\mathscr{M}_n(\mathbf{R})\ :\ M^TSM=S\}\). On pose \(E=\displaystyle\mathop{\bigcap}\limits_{S\in\mathscr{S}_n^{++}(\mathbf{R})}O_S\).

1. Montrer que \(O_S\) est borné dans \(\mathscr{M}_n(\mathbf{R})\) pour tout \(S\in\mathscr{S}_n^{++}(\mathbf{R})\). Qu’en déduire sur \(E\) ?

2. Montrer que \(PMP^{-1}\in E\) pour tout \(M\in E\) et tout \(P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\).

3. Déterminer les matrices \(M\in\mathscr{M}_n(\mathbf{R})\) telles que \(\{PMP^{-1},\ P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\}\) soit bornée.

4. En déduire que \(E=\{I_n,-I_n\}\).