grandes-ecoles 2019 Q5

grandes-ecoles · France · centrale-maths1__pc Matrices Determinant and Rank Computation
Let $F$ be a vector subspace of $E$ of dimension $p$ and $\mathcal{A}_{F}$ the set of endomorphisms of $E$ that stabilise $F$, that is $\mathcal{A}_{F} = \{ u \in \mathcal{L}(E) \mid u(F) \subset F \}$.
Show that $\operatorname{dim} \mathcal{A}_{F} = n^{2} - pn + p^{2}$.
One may consider a basis of $E$ in which the matrix of every element of $\mathcal{A}_{F}$ is block triangular.
Let $F$ be a vector subspace of $E$ of dimension $p$ and $\mathcal{A}_{F}$ the set of endomorphisms of $E$ that stabilise $F$, that is $\mathcal{A}_{F} = \{ u \in \mathcal{L}(E) \mid u(F) \subset F \}$.

Show that $\operatorname{dim} \mathcal{A}_{F} = n^{2} - pn + p^{2}$.

One may consider a basis of $E$ in which the matrix of every element of $\mathcal{A}_{F}$ is block triangular.