grandes-ecoles 2014 Q7
View
We consider two matrices $A$ and $B$ of $\mathcal{M}_d(\mathbf{R})$ that commute with $[A,B]$. We denote $\mathcal{L} = \operatorname{Vect}(A, B, [A,B])$.
(a) If $M, N \in \mathcal{L}$, show that $[M,N]$ commutes with $M$ and $N$.
(b) Let $G = \{\exp(M) \mid M \in \mathcal{L}\}$. Show that $(G, \times)$ is a group and that the map $$\Phi : \mathbf{H} \rightarrow G, \quad \exp(M_{p,q,r}) \mapsto \exp(pA + qB + r[A,B])$$ is a group homomorphism.