Matrix Group and Subgroup Structure

Questions asking to prove that a set of matrices forms a group or subgroup, or to establish structural properties of matrix groups (e.g., symplectic, orthogonal, Lorentz, SL_n).

cmi-entrance 2013 QB2 10 marks View
(a) Show that there exists a $3 \times 3$ invertible matrix $M \neq I _ { 3 }$ with entries in the field $\mathbb { F } _ { 2 }$ such that $M ^ { 7 } = I _ { 3 }$.
(b) Let $A$ be an $m \times n$ matrix, and $\mathbf { b }$ an $m \times 1$ vector, both with integer entries.
  1. Suppose that there exists a prime number $p$ such that the equation $A \mathbf { x } = \mathbf { b }$ seen as an equation over the finite field $\mathbb { F } _ { p }$ has a solution. Then does there exist a solution to $A \mathbf { x } = \mathbf { b }$ over the real numbers?
  2. If $A \mathbf { x } = \mathbf { b }$ has a solution over $\mathbb { F } _ { p }$ for every prime $p$, is a real solution guaranteed?
grandes-ecoles 2013 QI.D.1 View
Show that $\mathrm{O}(n)$ is a compact subset of $\mathcal{M}_n(\mathbb{R})$.
grandes-ecoles 2013 QI.E View
Let $\varphi$ be the map from $\mathrm{O}(n) \times \mathcal{S}_n^{++}(\mathbb{R})$ to $\mathrm{GL}_n(\mathbb{R})$ defined by $\varphi(O, S) = OS$ for every pair $(O, S)$ of $\mathrm{O}(n) \times \mathcal{S}_n^{++}(\mathbb{R})$.
Show that $\varphi$ is bijective, continuous, and that its inverse is continuous.
grandes-ecoles 2013 QII.A.1 View
Let $n \in \mathbb{N}^*$. Let $A \in M_2(\mathbb{R})$ be an antisymmetric matrix. We set $A = \begin{pmatrix} 0 & -\alpha \\ \alpha & 0 \end{pmatrix}$ where $\alpha \in \mathbb{R}$.
Determine a number $\beta_n \in \mathbb{R}_+^*$ such that $$\frac{1}{\beta_n}\left(I_2 + \frac{1}{n}A\right) \in SO_2(\mathbb{R})$$
grandes-ecoles 2013 Q18 View
Let $\mathcal{U}_q$ be the set of endomorphisms $\phi \in \mathcal{L}(V)$ that are compatible with $P_a$. Show that $\mathcal{U}_q$ is a subalgebra of $\mathcal{L}(V)$.
grandes-ecoles 2013 Q2 View
Calculate the product ${}^t\left(R_{p,q}(\theta)\right) R_{p,q}(\theta)$. What property of $R_{p,q}(\theta)$ is recognized?
grandes-ecoles 2014 Q5 View
We consider the set of square matrices of size 3 that are strictly upper triangular: $$\mathbf{L} = \left\{ M_{p,q,r} \mid (p,q,r) \in \mathbf{R}^3 \right\} \quad \text{where} \quad M_{p,q,r} = \begin{pmatrix} 0 & p & r \\ 0 & 0 & q \\ 0 & 0 & 0 \end{pmatrix},$$ and $\mathbf{H} = \{I_3 + M \mid M \in \mathbf{L}\}$, with the group law $M * N = M + N + \frac{1}{2}[M,N]$ on $\mathbf{L}$.
Show that $\mathbf{H}$ equipped with the usual product of matrices is a subgroup of $\mathrm{SL}_3(\mathbf{R})$ and that $$\exp : (\mathbf{L}, *) \rightarrow (\mathbf{H}, \times)$$ is a group isomorphism.
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.
grandes-ecoles 2014 QI.A.1 View
Does the matrix $\Delta _ { p + 1 }$ belong to the set $O ( 1 , p )$ ? to the set $O ^ { + } ( 1 , p )$ ?
grandes-ecoles 2014 QI.A.4 View
Show that, for every matrix $L$ element of $O ( 1 , p )$, its transpose ${ } ^ { t } L$ is also an element of $O ( 1 , p )$.
grandes-ecoles 2014 QI.A.5 View
Show that the sets $O ( 1 , p ) , O ^ { + } ( 1 , p )$ and $O ^ { - } ( 1 , p )$ of $\mathcal { M } _ { p + 1 } ( \mathbb { R } )$ are closed.
grandes-ecoles 2015 Q1 View
(a) Show that $O _ { n } ( \mathbb { R } )$ is a subgroup of the group $\mathrm { GL } _ { n } ( \mathbb { R } )$ of invertible matrices.
(b) Show that $O _ { n } ( \mathbb { R } )$ is a compact subset of $\mathcal { M } _ { n } ( \mathbb { R } )$.
grandes-ecoles 2016 QIII.A.1 View
Give two definitions of a vector isometry of $\mathbb{R}^n$ and prove their equivalence.
grandes-ecoles 2016 QIII.A.3 View
Prove that $\mathcal{P}_n = \mathcal{X}_n \cap \mathrm{O}_n(\mathbb{R})$ and determine its cardinality.
grandes-ecoles 2016 QIII.C View
We are given a matrix $M$ of $\mathrm{GL}_n(\mathbb{R})$ whose coefficients are all natural integers and such that the set formed by all coefficients of all successive powers of $M$ is finite.
Prove that $M^{-1}$ has coefficients in $\mathbb{N}$ and deduce that $M$ is a permutation matrix. What can be said of the converse?
grandes-ecoles 2016 Q13 View
Two simplexes $\mathcal{S}$ and $\mathcal{S}'$ in $\mathbb{R}^n$ are called equivalent if there exist an enumeration of the vertices $s_0, s_1, \ldots, s_n$ of $\mathcal{S}$, and $s_0', s_1', \ldots, s_n'$ of $\mathcal{S}'$, and a matrix $A$ in $\mathrm{GL}_n(\mathbb{Z})$ such that $A(s_i - s_0) = s_i' - s_0'$ for all $i = 1, \ldots, n$.
Show that an integer simplex $\mathcal{S}$ is equivalent to an integer simplex contained in the cube $[0, n!\operatorname{Vol}(\mathcal{S})]^n$.
One may use question 6 for a suitably chosen matrix $M$.
grandes-ecoles 2016 Q9 View
Show that if $M \in M _ { n } ( \mathbb { R } )$ is antisymmetric, the matrix $$O = \left( I _ { n } + M \right) ^ { - 1 } \left( I _ { n } - M \right)$$ is orthogonal.
grandes-ecoles 2016 Q14 View
We prove Broyden's theorem by induction on the dimension. We assume $| \alpha | < 1$ and we introduce the matrices $$Q _ { - } = P - \frac { r { } ^ { t } q } { \alpha - 1 } , \quad Q _ { + } = P - \frac { r { } ^ { t } q } { \alpha + 1 }$$ where $O = \left( \begin{array} { l l } P & r \\ { } ^ { t } q & \alpha \end{array} \right)$ with $P \in M _ { n - 1 } ( \mathbb { R } )$, $r , q \in \mathbb { R } ^ { n - 1 }$, $\alpha \in \mathbb { R }$.
Show that the matrices $Q _ { + }$ and $Q _ { - }$ are orthogonal.
grandes-ecoles 2019 Q5 View
We fix a polynomial $f \in \mathbb{C}[X]$ of degree $n \geq 1$. We consider a complex number $z \in \overline{\mathbb{D}}$ and we define the matrices $M \in \mathcal{M}_{n+1}(\mathbb{C})$ and $P \in \mathcal{M}_{n+1,1}(\mathbb{C})$ by $$M = \left(\begin{array}{cccccc} z & 0 & 0 & \ldots & 0 & \sqrt{1-|z|^2} \\ \sqrt{1-|z|^2} & 0 & 0 & \ldots & 0 & -\bar{z} \\ 0 & & & & & 0 \\ 0 & & & & & 0 \\ \vdots & & I_{n-1} & & & \vdots \\ 0 & & & & & 0 \end{array}\right)$$ and $$P = \left(\begin{array}{c} 1 \\ 0 \\ \vdots \\ 0 \end{array}\right)$$ Show that $M$ is a unitary matrix.
grandes-ecoles 2020 Q17 View
Show that the inverse of a symplectic matrix is a symplectic matrix.
grandes-ecoles 2020 Q18 View
Show that the product of two symplectic matrices is a symplectic matrix. Is the set $\mathrm{Sp}_{2n}(\mathbb{R})$ a vector subspace of $\mathcal{M}_{2n}(\mathbb{R})$?
grandes-ecoles 2022 Q9 View
In this part, $\mathbf{K} = \mathbf{R}$. For every natural integer $n$, $n \geq 2$, we introduce the set, called the special linear group: $$\mathrm{SL}_n(\mathbf{R}) = \left\{ M \in \mathcal{M}_n(\mathbf{R}) \mid \operatorname{det}(M) = 1 \right\}.$$ If $G$ is a closed subgroup of $\mathrm{GL}_n(\mathbf{R})$, we introduce its Lie algebra: $$\mathcal{A}_G = \left\{ M \in \mathcal{M}_n(\mathbf{R}) \mid \forall t \in \mathbf{R} \quad e^{tM} \in G \right\}.$$
$\mathbf{9}$ ▷ Determine $\mathcal{A}_G$ when $G = \mathrm{SL}_n(\mathbf{R})$.
grandes-ecoles 2022 Q10 View
In this part, $\mathbf{K} = \mathbf{R}$. If $G$ is a closed subgroup of $\mathrm{GL}_n(\mathbf{R})$, we introduce its Lie algebra: $$\mathcal{A}_G = \left\{ M \in \mathcal{M}_n(\mathbf{R}) \mid \forall t \in \mathbf{R} \quad e^{tM} \in G \right\}.$$
$\mathbf{10}$ ▷ If $G = \mathrm{O}_n(\mathbf{R})$, show that $\mathcal{A}_G = \mathcal{A}_n(\mathbf{R})$, the set of antisymmetric matrices.
grandes-ecoles 2022 Q11 View
In this part, $\mathbf{K} = \mathbf{R}$. If $G$ is a closed subgroup of $\mathrm{GL}_n(\mathbf{R})$, we introduce its Lie algebra: $$\mathcal{A}_G = \left\{ M \in \mathcal{M}_n(\mathbf{R}) \mid \forall t \in \mathbf{R} \quad e^{tM} \in G \right\}.$$ In questions 11) to 14), $G$ is an arbitrary closed subgroup of $\mathrm{GL}_n(\mathbf{R})$.
$\mathbf{11}$ ▷ Using part 2, show that $\mathcal{A}_G$ is a vector subspace of $\mathcal{M}_n(\mathbf{R})$.
grandes-ecoles 2022 Q12 View
In this part, $\mathbf{K} = \mathbf{R}$. If $G$ is a closed subgroup of $\mathrm{GL}_n(\mathbf{R})$, we introduce its Lie algebra: $$\mathcal{A}_G = \left\{ M \in \mathcal{M}_n(\mathbf{R}) \mid \forall t \in \mathbf{R} \quad e^{tM} \in G \right\}.$$ In questions 11) to 14), $G$ is an arbitrary closed subgroup of $\mathrm{GL}_n(\mathbf{R})$.
$\mathbf{12}$ ▷ Let $A \in \mathcal{A}_G$ and $B \in \mathcal{A}_G$. Show that the application $$\begin{aligned} u : \mathbf{R} & \longrightarrow \mathcal{M}_n(\mathbf{R}) \\ t & \longmapsto u(t) = e^{tA} \cdot B \cdot e^{-tA} \end{aligned}$$ takes values in $\mathcal{A}_G$.