grandes-ecoles

Papers (191)
2025
centrale-maths1__official 40 centrale-maths2__official 42 mines-ponts-maths1__mp 20 mines-ponts-maths1__pc 21 mines-ponts-maths1__psi 21 mines-ponts-maths2__mp 28 mines-ponts-maths2__pc 24 mines-ponts-maths2__psi 26 polytechnique-maths-a__mp 27 polytechnique-maths__fui 16 polytechnique-maths__pc 27 x-ens-maths-a__mp 18 x-ens-maths-c__mp 9 x-ens-maths-d__mp 38 x-ens-maths__pc 27 x-ens-maths__psi 38
2024
centrale-maths1__official 28 centrale-maths2__official 29 geipi-polytech__maths 9 mines-ponts-maths1__mp 25 mines-ponts-maths1__pc 20 mines-ponts-maths1__psi 19 mines-ponts-maths2__mp 23 mines-ponts-maths2__pc 21 mines-ponts-maths2__psi 21 polytechnique-maths-a__mp 44 polytechnique-maths-b__mp 37 x-ens-maths-a__mp 43 x-ens-maths-b__mp 35 x-ens-maths-c__mp 22 x-ens-maths-d__mp 45 x-ens-maths__pc 24 x-ens-maths__psi 26
2023
centrale-maths1__official 44 centrale-maths2__official 33 e3a-polytech-maths__mp 4 mines-ponts-maths1__mp 15 mines-ponts-maths1__pc 23 mines-ponts-maths1__psi 23 mines-ponts-maths2__mp 22 mines-ponts-maths2__pc 18 mines-ponts-maths2__psi 22 polytechnique-maths__fui 23 x-ens-maths-a__mp 25 x-ens-maths-b__mp 24 x-ens-maths-c__mp 20 x-ens-maths-d__mp 20 x-ens-maths__pc 18 x-ens-maths__psi 15
2022
centrale-maths1__mp 48 centrale-maths1__official 48 centrale-maths1__pc 37 centrale-maths1__psi 43 centrale-maths2__mp 32 centrale-maths2__official 32 centrale-maths2__pc 39 centrale-maths2__psi 45 mines-ponts-maths1__mp 25 mines-ponts-maths1__pc 24 mines-ponts-maths1__psi 24 mines-ponts-maths2__mp 24 mines-ponts-maths2__pc 19 mines-ponts-maths2__psi 20 x-ens-maths-a__mp 13 x-ens-maths-b__mp 40 x-ens-maths-c__mp 27 x-ens-maths-d__mp 46 x-ens-maths1__mp 13 x-ens-maths2__mp 40 x-ens-maths__pc 15 x-ens-maths__pc_cpge 15 x-ens-maths__psi 22 x-ens-maths__psi_cpge 23
2021
centrale-maths1__mp 40 centrale-maths1__official 40 centrale-maths1__pc 36 centrale-maths1__psi 29 centrale-maths2__mp 30 centrale-maths2__official 29 centrale-maths2__pc 38 centrale-maths2__psi 37 x-ens-maths2__mp 39 x-ens-maths__pc 44
2020
centrale-maths1__mp 42 centrale-maths1__official 42 centrale-maths1__pc 36 centrale-maths1__psi 40 centrale-maths2__mp 38 centrale-maths2__official 38 centrale-maths2__pc 40 centrale-maths2__psi 39 mines-ponts-maths1__mp_cpge 24 mines-ponts-maths2__mp_cpge 21 x-ens-maths-a__mp_cpge 18 x-ens-maths-b__mp_cpge 20 x-ens-maths-d__mp 14 x-ens-maths1__mp 18 x-ens-maths2__mp 20 x-ens-maths__pc 18
2019
centrale-maths1__mp 37 centrale-maths1__official 37 centrale-maths1__pc 40 centrale-maths1__psi 39 centrale-maths2__mp 37 centrale-maths2__official 37 centrale-maths2__pc 39 centrale-maths2__psi 49 x-ens-maths1__mp 24 x-ens-maths__pc 18 x-ens-maths__psi 26
2018
centrale-maths1__mp 47 centrale-maths1__official 47 centrale-maths1__pc 41 centrale-maths1__psi 44 centrale-maths2__mp 44 centrale-maths2__official 44 centrale-maths2__pc 35 centrale-maths2__psi 38 x-ens-maths1__mp 19 x-ens-maths2__mp 17 x-ens-maths__pc 22 x-ens-maths__psi 24
2017
centrale-maths1__mp 45 centrale-maths1__official 45 centrale-maths1__pc 22 centrale-maths1__psi 17 centrale-maths2__mp 30 centrale-maths2__official 30 centrale-maths2__pc 28 centrale-maths2__psi 44 x-ens-maths1__mp 26 x-ens-maths2__mp 16 x-ens-maths__pc 18 x-ens-maths__psi 26
2016
centrale-maths1__mp 42 centrale-maths1__pc 31 centrale-maths1__psi 33 centrale-maths2__mp 25 centrale-maths2__pc 47 centrale-maths2__psi 27 x-ens-maths1__mp 18 x-ens-maths2__mp 46 x-ens-maths__pc 15 x-ens-maths__psi 20
2015
centrale-maths1__mp 42 centrale-maths1__pc 18 centrale-maths1__psi 42 centrale-maths2__mp 44 centrale-maths2__pc 18 centrale-maths2__psi 33 x-ens-maths1__mp 16 x-ens-maths2__mp 31 x-ens-maths__pc 30 x-ens-maths__psi 22
2014
centrale-maths1__mp 28 centrale-maths1__pc 26 centrale-maths1__psi 27 centrale-maths2__mp 24 centrale-maths2__pc 26 centrale-maths2__psi 27 x-ens-maths1__mp 9 x-ens-maths2__mp 16 x-ens-maths__pc 4 x-ens-maths__psi 24
2013
centrale-maths1__mp 22 centrale-maths1__pc 45 centrale-maths1__psi 29 centrale-maths2__mp 31 centrale-maths2__pc 52 centrale-maths2__psi 32 x-ens-maths1__mp 24 x-ens-maths2__mp 35 x-ens-maths__pc 22 x-ens-maths__psi 9
2012
centrale-maths1__mp 36 centrale-maths1__pc 28 centrale-maths1__psi 33 centrale-maths2__mp 27 centrale-maths2__psi 18
2011
centrale-maths1__mp 27 centrale-maths1__pc 17 centrale-maths1__psi 24 centrale-maths2__mp 29 centrale-maths2__pc 17 centrale-maths2__psi 10
2010
centrale-maths1__mp 19 centrale-maths1__pc 30 centrale-maths1__psi 13 centrale-maths2__mp 32 centrale-maths2__pc 37 centrale-maths2__psi 27
2023 x-ens-maths-d__mp

20 maths questions

QI.1 Proof Deduction or Consequence from Prior Results View
Let $A$ be a commutative ring. Show that if $A$ has property (F), then it has property (TF).
QI.2 Groups Subgroup and Normal Subgroup Properties View
Let $A$ be a commutative ring. Let $S _ { 1 }$ and $S _ { 2 }$ be two subsets of $A$ such that $S _ { 1 } \subset \mathcal { A } \left( S _ { 2 } \right)$. Show that $\mathcal { A } \left( S _ { 1 } \right) \subset \mathcal { A } \left( S _ { 2 } \right)$.
QI.3 Groups Group Order and Structure Theorems View
Show that every finite abelian group and the additive group $\mathbf { Z } ^ { r }$ for $r \in \mathbf { N } ^ { * }$ have property (F).
QI.4 Groups Ring and Field Structure View
Show that if $n$ is a strictly positive integer, the ring $\mathbf { Z } \left[ X _ { 1 } , \ldots , X _ { n } \right]$ has property (TF), but not property (F).
QI.5 Groups Ring and Field Structure View
Show that the ring $\mathbf { Q }$ of rational numbers does not have property (TF).
QII.1 Groups Group Homomorphisms and Isomorphisms View
Let $f : A \rightarrow B$ be a morphism of commutative rings. Let $F$ be an element of $\mathbf { Z } \left[ X _ { 1 } , \ldots , X _ { n } \right]$. Show that we have $f \left( F \left( a _ { 1 } , \ldots , a _ { n } \right) \right) = F \left( f \left( a _ { 1 } \right) , \ldots , f \left( a _ { n } \right) \right)$ for all $a _ { 1 } , \ldots , a _ { n } \in A$.
QII.2 Groups Group Homomorphisms and Isomorphisms View
Let $B$ be a commutative ring. Let $n$ be a strictly positive integer and $b _ { 1 } , \ldots , b _ { n }$ be elements of $B$. a) Show that there exists a unique ring morphism $f$ from $\mathbf { Z } \left[ X _ { 1 } , \ldots , X _ { n } \right]$ to $B$ such that $f \left( X _ { i } \right) = b _ { i }$ for all $i \in \{ 1 , \ldots , n \}$. b) Deduce that $B$ has property (TF) if and only if there exist an integer $n \geq 1$ and a surjective ring morphism $\mathbf { Z } \left[ X _ { 1 } , \ldots , X _ { n } \right] \rightarrow B$. c) Show that an abelian group $M$ has property (F) if and only if there exist an integer $r \geq 1$ and a surjective group morphism $\mathbf { Z } ^ { r } \rightarrow M$. d) Let $A$ and $B$ be commutative rings such that there exists a surjective ring morphism from $A$ to $B$. Show that if $A$ has property (TF), then so does $B$. State and prove an analogous statement for property (F).
QII.3 Groups Group Homomorphisms and Isomorphisms View
Let $M$ be an additive subgroup of $\mathbf { Z } ^ { n }$ with $n \in \mathbf { N }$ (we agree that $\mathbf { Z } ^ { 0 }$ is the trivial group). We propose to prove by induction on $n$ the following result: (*) There exists $r \in \mathbf { N }$ such that the abelian group $M$ is isomorphic to $\mathbf { Z } ^ { r }$. a) Verify the cases $n = 0$ and $n = 1$. We now assume the result is true for $n - 1$. Let $p : \mathbf { Z } ^ { n } \rightarrow \mathbf { Z }$ be the projection onto the first coordinate, we denote by $N$ the kernel of $p$ and $N _ { 1 } = M \cap N$, then we set $p ( M ) = a \mathbf { Z }$ with $a \in \mathbf { Z }$. We choose $e _ { 1 } \in M$ such that $p \left( e _ { 1 } \right) = a$. Show that if $a \neq 0$, then the application $$N _ { 1 } \times \mathbf { Z } \rightarrow M , ( x , m ) \mapsto x + m e _ { 1 }$$ is a group isomorphism. b) Deduce (*). c) Show that the integer $r$ such that $M$ is isomorphic to $\mathbf { Z } ^ { r }$ is unique (one may consider the rank of a family of vectors of $\mathbf { Z } ^ { r }$ in the $\mathbf { Q }$-vector space $\mathbf { Q } ^ { r }$).
QII.4 Groups Subgroup and Normal Subgroup Properties View
Show that if an abelian group $M$ has property (F), then every subgroup of $M$ also has it.
QII.5 Groups Ring and Field Structure View
We consider the ring $A = \mathbf { Z } [ X , Y ]$. Let $U$ be the set of elements of $A$ of the form $X Y ^ { k }$ with $k \in \mathbf { N }$, we set $B = \mathcal { A } ( U )$. Let $S$ be a finite subset of $B$. a) Show that there exists $m \in \mathbf { N } ^ { * }$ such that $\mathcal { A } ( S ) \subset \mathcal { A } \left( \left\{ X , X Y , \ldots , X Y ^ { m } \right\} \right)$. b) Show that there exists an integer $N > 0$ such that every element of $\mathcal { A } ( S )$ is a sum of monomials of the form $\alpha X ^ { i } Y ^ { j }$ with $\alpha \in \mathbf { Z }$ and $j \leq i N$. c) Deduce that the ring $B$ does not have property (TF).
QIII.1 Groups Ring and Field Structure View
Let $E$ be a finite subset of $M _ { n } ( A )$. Show that there exists a subring $B$ of $A$ such that: $B$ has property (TF) and for every matrix $M \in E$, all coefficients of $M$ belong to $B$.
QIII.2 Groups Ring and Field Structure View
Let $M$ be a matrix of $M _ { n } ( A )$. The purpose of this question is to generalize to an arbitrary commutative ring $A$ the two formulas recalled in the introduction when $A$ is a field. a) Show that if the ring $A$ is integral, then $M \widetilde { M } = \widetilde { M } M = ( \operatorname { det } M ) I _ { n }$. b) We no longer assume $A$ is integral. Show that the result of a) still holds if there exists a surjective ring morphism $B \rightarrow A$ with $B$ integral. c) Deduce that the result of a) still holds for every commutative ring $A$. d) Prove that if $M$ and $N$ are in $M _ { n } ( A )$, then we have $$\operatorname { det } ( M N ) = \operatorname { det } M \times \operatorname { det } N .$$
QIII.3 Groups Group Actions and Surjectivity/Injectivity of Maps View
Let $r$ and $s$ be strictly positive integers. Let $M \in M _ { s , r } ( A )$. We consider the application $u : A ^ { r } \rightarrow A ^ { s }$ defined by $u ( X ) = M X$, where we identify elements of $A ^ { r }$ and $A ^ { s }$ with column vectors. We assume that $u$ is surjective and that the ring $A$ is not reduced to $\{ 0 \}$. The purpose of this question is to prove that we then have $r \geq s$. For this, we reason by contradiction by assuming $r < s$. a) Show that there exists a matrix $N \in M _ { r , s } ( A )$ such that $M N = I _ { s }$. b) We define matrices of $M _ { s } ( A )$ by blocks: $$\begin{aligned} M _ { 1 } & = \left( \begin{array} { l l } M & 0 \end{array} \right) \\ N _ { 1 } & = \binom { N } { 0 } \end{aligned}$$ In other words, $M _ { 1 }$ is the matrix obtained by adding $s - r$ zero columns to $M$ and $N _ { 1 }$ is the matrix obtained by adding $s - r$ zero rows to $N$. Calculate $M _ { 1 } N _ { 1 }$. c) Reach a contradiction and conclude. d) We assume that $r = s$. Show the equivalence of the following properties: i) The application $u$ is surjective; ii) The determinant $\operatorname { det } M$ belongs to $A ^ { * }$; iii) There exists $N \in M _ { r } ( A )$ such that $M N = N M = I _ { r }$. iv) The application $u$ is bijective.
QIV.1 Groups Binary Operation Properties View
Throughout this part, we denote by $r$ and $s$ strictly positive integers. Let $A$ be a commutative ring not reduced to $\{ 0 \}$. We denote by $G L _ { r } ( A )$ the set of matrices of $M _ { r } ( A )$ that satisfy the equivalent properties of question III.3.d). a) Show that matrix multiplication induces a group structure on $G L _ { r } ( A )$. b) We define a relation on $M _ { s , r } ( A )$ by $M \sim N$ if and only if there exist $U \in G L _ { s } ( A )$ and $V \in G L _ { r } ( A )$ such that $N = U M V$. Show that this is an equivalence relation.
QIV.2 Groups Group Homomorphisms and Isomorphisms View
Throughout this part, we denote by $r$ and $s$ strictly positive integers. Let $A$ be a commutative ring not reduced to $\{ 0 \}$. We say that two matrices $M$ and $N$ of $M _ { s , r } ( A )$ are $A$-equivalent if $M \sim N$ (where $M \sim N$ if and only if there exist $U \in G L _ { s } ( A )$ and $V \in G L _ { r } ( A )$ such that $N = U M V$). If $M \in M _ { s , r } ( \mathbf { Z } )$ and $k$ is an integer at most equal to $\min ( r , s )$, we denote by $m _ { k } ( M )$ the gcd of the minors of size $k$ of $M$. Let $M$ and $N$ be two $\mathbf { Z }$-equivalent matrices of $M _ { s , r } ( \mathbf { Z } )$. Show that for all $k \leq \min ( r , s )$, we have $m _ { k } ( M ) = m _ { k } ( N )$ (one may begin by showing that $m _ { k } ( M )$ divides $m _ { k } ( N )$).
QIV.3 Groups True/False with Justification View
We consider two matrices of $M _ { 2 } ( \mathbf { Z } )$ that are $\mathbf { C }$-equivalent. Are they always $\mathbf { Z }$-equivalent?
QV.1 Groups Decomposition and Basis Construction View
Let $r$ and $m$ be strictly positive integers with $r \leq m$. We consider a subspace $V$ of the $\mathbf { C }$-vector space $M _ { m } ( \mathbf { C } )$. Throughout the following, we make the following hypothesis: every element of $V$ is a matrix of rank at most $r$. Show that we can assume that $V$ contains the block matrix: $$A = \left( \begin{array} { c c } I _ { r } & 0 \\ 0 & 0 \end{array} \right)$$
QV.2 Groups Decomposition and Basis Construction View
Let $r$ and $m$ be strictly positive integers with $r \leq m$. We consider a subspace $V$ of the $\mathbf { C }$-vector space $M _ { m } ( \mathbf { C } )$ such that every element of $V$ is a matrix of rank at most $r$, and we assume $V$ contains the block matrix $A = \left( \begin{array} { c c } I _ { r } & 0 \\ 0 & 0 \end{array} \right)$. a) Let $B$ be an element of $V$, which we write in the form of a block matrix: $$B = \left( \begin{array} { l l } B _ { 11 } & B _ { 12 } \\ B _ { 21 } & B _ { 22 } \end{array} \right)$$ where the four matrices $B _ { 11 } , B _ { 12 } , B _ { 21 } , B _ { 22 }$ are respectively in $M _ { r } ( \mathbf { C } )$, $M _ { r , m - r } ( \mathbf { C } ) , M _ { m - r , r } ( \mathbf { C } )$ and $M _ { m - r } ( \mathbf { C } )$. Show that $B _ { 22 } = 0$ and $B _ { 21 } B _ { 12 } = 0$ (one may consider the minors of size $r + 1$ of the matrix $t A + B$ for $t \in \mathbf { C }$). b) Let $B$ and $C$ be two matrices of $V$, which we write in block matrix form as above: $$B = \left( \begin{array} { c c } B _ { 11 } & B _ { 12 } \\ B _ { 21 } & 0 \end{array} \right) ; \quad C = \left( \begin{array} { c c } C _ { 11 } & C _ { 12 } \\ C _ { 21 } & 0 \end{array} \right)$$ Show that $B _ { 21 } C _ { 12 } + C _ { 21 } B _ { 12 } = 0$.
QV.3 Groups Decomposition and Basis Construction View
Let $r$ and $m$ be strictly positive integers with $r \leq m$. We consider a subspace $V$ of the $\mathbf { C }$-vector space $M _ { m } ( \mathbf { C } )$ such that every element of $V$ is a matrix of rank at most $r$, and we assume $V$ contains the block matrix $A = \left( \begin{array} { c c } I _ { r } & 0 \\ 0 & 0 \end{array} \right)$. By question V.2a), every element $B$ of $V$ has the block form $B = \left( \begin{array} { c c } B_{11} & B_{12} \\ B_{21} & 0 \end{array} \right)$. We denote by $W$ the intersection of $V$ with the subspace of $M _ { m } ( \mathbf { C } )$ consisting of block matrices of the form $$\left( \begin{array} { c c } 0 & 0 \\ B _ { 21 } & 0 \end{array} \right)$$ We define a linear application $\varphi$ from $M _ { m } ( \mathbf { C } )$ to $M _ { r , m } ( \mathbf { C } )$ by $$\varphi : \left( \begin{array} { l l } B _ { 11 } & B _ { 12 } \\ B _ { 21 } & B _ { 22 } \end{array} \right) \mapsto \left( \begin{array} { l l } B _ { 11 } & B _ { 12 } \end{array} \right)$$ (with the notations of V.2a)). a) We write any matrix $C$ of $M _ { r , m } ( \mathbf { C } )$ in the form of a block matrix $C = \left( \begin{array} { l l } C _ { 11 } & C _ { 12 } \end{array} \right)$ with $C _ { 11 } \in M _ { r } ( \mathbf { C } )$ and $C _ { 12 } \in M _ { r , m - r } ( \mathbf { C } )$. Let $\psi$ be the linear map from $W$ to $M _ { r , m } ( \mathbf { C } ) ^ { \vee }$ which sends $B = \left( \begin{array} { c c } 0 & 0 \\ B _ { 21 } & 0 \end{array} \right)$ to the linear form $C \mapsto \operatorname { Tr } \left( B _ { 21 } C _ { 12 } \right)$. Let $s = \operatorname { dim } W$. Using the map $\psi$, show that $\operatorname { dim } ( \varphi ( V ) ) \leq m r - s$. b) Deduce that $\operatorname { dim } V \leq m r$.
QV.4 Groups Decomposition and Basis Construction View
a) Let $r , m , n$ be strictly positive integers such that $r \leq n \leq m$. Show that if $E$ is a subspace of $M _ { m , n } ( \mathbf { C } )$ such that every element of $E$ is a matrix of rank at most $r$, then $\operatorname { dim } E \leq m r$. b) Give an example of a subspace $E$ of $M _ { m , n } ( \mathbf { C } )$ satisfying $\operatorname { dim } E = m r$ and such that every element of $E$ is a matrix of rank at most $r$.