grandes-ecoles 2020 Q3

grandes-ecoles · France · x-ens-maths1__mp Matrices Matrix Algebra and Product Properties
3a. We are given $q \in \mathbb { Q } , n \in \mathbb { N } ^ { \star }$ and a matrix $A \in S _ { n } ( \mathbb { Q } )$ such that $A ^ { 2 } = q I _ { n }$. Construct a matrix $B \in S _ { 2 n } ( \mathbb { Q } )$ commuting with the matrix $\left( \begin{array} { c c } A & 0 \\ 0 & A \end{array} \right)$ and such that $B ^ { 2 } = ( q + 1 ) I _ { 2 n }$.
3b. Show that for all $d \geqslant 1$, there exist $n \in \mathbb { N } ^ { \star }$ and matrices $M _ { 1 } , \ldots , M _ { d } \in S _ { n } ( \mathbb { Q } )$ that commute pairwise and such that $M _ { k } ^ { 2 } = k I _ { n }$ for all integers $1 \leqslant k \leqslant d$.
3c. Let $d \geqslant 1$ be an integer. Deduce that if $q _ { 1 } , \ldots , q _ { d } \in \mathbb { Q } , q _ { i } > 0$, then there exist $n \in \mathbb { N } ^ { \star }$ and matrices $M _ { 1 } , \ldots , M _ { d } \in S _ { n } ( \mathbb { Q } )$ that commute pairwise and such that $M _ { i } ^ { 2 } = q _ { i } I _ { n }$ for all $1 \leqslant i \leqslant d$.
3a. We are given $q \in \mathbb { Q } , n \in \mathbb { N } ^ { \star }$ and a matrix $A \in S _ { n } ( \mathbb { Q } )$ such that $A ^ { 2 } = q I _ { n }$. Construct a matrix $B \in S _ { 2 n } ( \mathbb { Q } )$ commuting with the matrix $\left( \begin{array} { c c } A & 0 \\ 0 & A \end{array} \right)$ and such that $B ^ { 2 } = ( q + 1 ) I _ { 2 n }$.

3b. Show that for all $d \geqslant 1$, there exist $n \in \mathbb { N } ^ { \star }$ and matrices $M _ { 1 } , \ldots , M _ { d } \in S _ { n } ( \mathbb { Q } )$ that commute pairwise and such that $M _ { k } ^ { 2 } = k I _ { n }$ for all integers $1 \leqslant k \leqslant d$.

3c. Let $d \geqslant 1$ be an integer. Deduce that if $q _ { 1 } , \ldots , q _ { d } \in \mathbb { Q } , q _ { i } > 0$, then there exist $n \in \mathbb { N } ^ { \star }$ and matrices $M _ { 1 } , \ldots , M _ { d } \in S _ { n } ( \mathbb { Q } )$ that commute pairwise and such that $M _ { i } ^ { 2 } = q _ { i } I _ { n }$ for all $1 \leqslant i \leqslant d$.