grandes-ecoles 2014 QIII.F.4

grandes-ecoles · France · centrale-maths2__psi Groups Subgroup and Normal Subgroup Properties
We set $$G = \left\{ \left( \begin{array} { c c } 1 & 0 _ { 1,3 } \\ 0 _ { 3,1 } & R \end{array} \right) , R \in S O ( 3 ) \right\}$$ Let $L = \left( \ell _ { i , j } \right) _ { 1 \leqslant i , j \leqslant 4 } \in O ^ { + } ( 1,3 ) \cap \tilde { O } ( 1,3 )$ and $a = \left( \begin{array} { c } \ell _ { 2,1 } \\ \ell _ { 3,1 } \\ \ell _ { 4,1 } \end{array} \right)$. We assume that the vector $a$ is non-zero. We fix $L_1 \in G$ and $R_2 \in SO(3)$ such that $$L _ { 1 } L L _ { 2 } = \left( \begin{array} { c c c c } \ell _ { 1,1 } & \beta _ { 1 } & \beta _ { 2 } & \beta _ { 3 } \\ \alpha & \delta _ { 1 } & \delta _ { 2 } & \delta _ { 3 } \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{array} \right)$$ where $L_2 = \left( \begin{array} { c c } 1 & 0 _ { 1,3 } \\ 0 _ { 3,1 } & R _ { 2 } \end{array} \right)$.
Show that the real numbers $\beta _ { 2 } , \beta _ { 3 } , \delta _ { 2 }$ and $\delta _ { 3 }$ are zero.
We set
$$G = \left\{ \left( \begin{array} { c c } 1 & 0 _ { 1,3 } \\ 0 _ { 3,1 } & R \end{array} \right) , R \in S O ( 3 ) \right\}$$
Let $L = \left( \ell _ { i , j } \right) _ { 1 \leqslant i , j \leqslant 4 } \in O ^ { + } ( 1,3 ) \cap \tilde { O } ( 1,3 )$ and $a = \left( \begin{array} { c } \ell _ { 2,1 } \\ \ell _ { 3,1 } \\ \ell _ { 4,1 } \end{array} \right)$. We assume that the vector $a$ is non-zero. We fix $L_1 \in G$ and $R_2 \in SO(3)$ such that
$$L _ { 1 } L L _ { 2 } = \left( \begin{array} { c c c c } \ell _ { 1,1 } & \beta _ { 1 } & \beta _ { 2 } & \beta _ { 3 } \\ \alpha & \delta _ { 1 } & \delta _ { 2 } & \delta _ { 3 } \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{array} \right)$$
where $L_2 = \left( \begin{array} { c c } 1 & 0 _ { 1,3 } \\ 0 _ { 3,1 } & R _ { 2 } \end{array} \right)$.

Show that the real numbers $\beta _ { 2 } , \beta _ { 3 } , \delta _ { 2 }$ and $\delta _ { 3 }$ are zero.