Programme de mathématiques MPSI, MP2I · semestre 1
Structures algébriques usuelles
Rechercher dans cette partie du programmeTexte officiel du programme
Cette section a pour but l’introduction des notions les plus élémentaires relatives aux groupes, anneaux, corps, afin de traiter de manière unifiée un certain nombre de situations.
exo7 3145
Soit \(A\) un sous-anneau de \(\Q\). On écrit les él ...
exo7 3146
Soit \(A\) un sous-anneau de \(\Q\). Montrer que ...
exo7 3154
Soient \(n,p \in \N^*\) tels que \(n \wedge p = 1\). Pour ...
exo7 3156
Montrer que pour tout entier \(a\) impair et tout \(n\ge 3\) : ...
exo7 3160
Soit \(p\) un nombre premier. Montrer que ...
exo7 3177
Pour \(A \in { K[X]}\) on note ...
exo7 3270
Soit \(F \in { K(X)}\) non constante et \(P \in { K[X]}\), ...
exo7 3275
Soit \(H = \{ F \in { K(X)}\) tel que \(F(\scriptstyle X) = F(\frac 1X) \}\).
exo7 3278
Soit \(A = \{ F \in { K(X)}\) tels que \(\deg F \le 0 \}\). Démontre ...
exo7 3324
Soient \(K, \mathbb{L}\) deux corps avec \(K \subset \mathbb{L}\).
Un élém ...
exo7 3326
Soit \(\mathbb{A}\) une \(\R\)-algèbre commutative, intègre et de dimension finie ...
exo7 3336
Soit \(E\) un \(K\)-ev de dimension finie et ...
exo7 3345
Soit \(E\) un \(K\)-espace vectoriel de dimension finie et ...
exo7 3357
Soit \(G\) un sous-groupe fini de \(GL(\R^n)\) et ...
exo7 3369
On note \((E_{ij})\) la base canonique de \(\mathcal{M}_n(K)\).
exo7 3382
Soit \({\cal G} \subset \mathcal{M}_n(K)\) tel que pour la multiplication, ...
exo7 3392
Que dire des morphismes de groupe \(\varphi : {GL_n(\R)} \to {\Z/p\Z}\) ?
exo7 3447
Soit \(A\) un anneau commutatif, \(x_1,\dots,x_n\in A\). Dé ...
exo7 3495
Soit \(E\) un \(\R\)-ev de dimension finie et ...
exo7 3705
Déterminer les sous-groupes de \({\cal O}^+(3)\) de cardinal 2,3, ou 4.
exo7 4618
Soit \(A\) l’ensemble des suites \((a_n)\) de complexes telles que la série entiè ...
exo7 4720
Soit \(A =\{ n+p\sqrt2 \text{ tq } n,p \in \N,\ n+p\sqrt2 > 0,\ n^2-2p^2 = 1\}\). Montrer que ...
exo7 4956
Soit \(G\) un sous-groupe fini de déplacements du plan.
exo7 5176
Montrer que la commutativité de la loi \(+\) est une conséquence des autres axiomes de la structure d’espace vecto ...
exo7 5218
Montrer que les sous groupes du groupe \((\Rr,+)\) sont soit de la forme \(a\Zz\) ...
exo7 5263
Montrer que ...
exo7 5265
Soient \(I=\left( \begin{array}{cc} 1&0\\ 0&1 \end{array} \right)\) et ...
exo7 5354
Démontrer que \(S_n\) est engendré par ...
exo7 5356
Démontrer que \(S_n\) est engendré par \(\tau_{1,2}\) et le cycle ...
exo7 5357
Soit \((G,\times)\) un groupe. Montrer que \((G,\times)\) est isomorphe à un sous ...
exo7 5359
\(\sigma\) étant une permutation de \(\{1,...,n\}\) donnée, on définit la matrice ...
exo7 5360
\(A_1\), \(A_2\),..., ...
exo7 5361
Dans \(E=\Rr^n\), on considère l’hyperplan \(H\) d’équation ...
exo7 5593
Soit \(E\) un espace vectoriel. Soit \(G\) un sous-groupe fini de ...
exo7 5594
Soit \(G\) un sous-groupe fini de \(GL_n(\Rr)\) te ...
exo7 5595
Soit \(G\) un sous-groupe de \(GL(E)\) avec ...
exo7 5608
Soient \(I=\left( \begin{array}{cc} 1&0\\ 0&1 \end{array} \right)\) et ...
exo7 5609
On appelle idéal bilatère de l’anneau \((\mathcal{M}_n(\Kk),+,\times)\) tout sous-ensemble I de ...
exo7 5669
Pour \(\sigma\in S_n\), \(n\geqslant 2\), on définit la matrice ...
exo7 6178
Montrer que les sous-groupes compacts du groupe multiplicatif \(\Cc^*\) sont contenus dans ...
exo7 6369
Soit \(G\) un groupe et \(S\) une partie de ...
exo7 6370
Soit \(G\) un groupe et \(A\), \(B\) deux sous-g ...
exo7 6371
Dans \(GL(2,\Rr)\) : le groupe des matrices \((2,2)\) inversibles à coefficients ...
exo7 6372
Montrer que tout sous-groupe d’un groupe cyclique (monogène) est cyclique.
exo7 6373
Soit \(G\) un groupe.
exo7 6375
Soit \(G\) un groupe et \(A\) un sous-groupe de ...
exo7 6378
Montrer que le groupe \(G\) donné par sa présentation:
...
exo7 6387
Soit \(E\) est un espace euclidien de dimension \(n\). Montrer que ...
exo7 6392
Notons \(l \subset \Rr^2\) une droite affine de \(\Rr^2\).
exo7 6397
Soient \(f\), \(g\) deux isométries du plan affine euclidien ...