Édition de feuilles d'exercices

[concours/ex6944] ens paris 2004 Soient \(G\) un groupe, \(H\) un sous-groupe abélien de \(G\), \(x_1\), … , \(x_n\) des éléments de \(G\) tels que \(G\) soit réunion disjointe des \(x_iH=\{x_in,\ h\in\ H\}\) pour \(1\leqslant i\leqslant n\). Si \(g\in G\) et \(i\in\{1,\ldots,n\}\), \(gx_i\) s’écrit d’une unique façon \(x_jh\) avec \(1\leqslant j\leqslant n\) et \(h\in H\). On écrit \(j=g.i\) et \(h=h_{i,g.i}\).

On pose alors \(V(g)=\mathop{\prod}\limits_{i=1}^nh_{i,g.i}\). Montrer que \(V\) est un morphisme de \(G\) dans \(H\) indépendant du choix des \(x_i\).

[structures/ex0050] Écrire la table de multiplication du groupe des (\(10\)) symétries d’un pentagone régulier. Construire un isomorphisme de ce groupe dans un sous-groupe de \(\mathfrak{S}_5\).

[structures/ex0041] Si \(f\) est une bijection de \(E\) dans \(F\), alors la fonction \[\Phi:u\mapsto f\circ u\circ f{}^{-1}\] est un isomorphisme de \(\mathfrak{S}_E\) dans \(\mathfrak{S}_F\).

[structures/ex0051] Soit \(\mathbf{R}^*\) l’ensemble des réels non nuls, et \(E=\mathbf{R}^*\times\mathbf{R}\).

1. Soit \(\triangle\) la loi définie sur \(E\) par \[\forall((a,b),(c,d))\in E^2\quad(a,b)\triangle(c,d)=(ac,ad+b).\] Montrer que \((E,{\triangle})\) est un groupe.

2. Pour \((a,b)\in E\), soit \(f_{a,b}\) la fonction de \(\mathbf{R}\) dans \(\mathbf{R}\) définie par \[f_{a,b}(x)=ax+b,\] et soit \[\mathfrak{S}=\{f_{a,b},(a,b)\in E\}.\] Montrer que \(\mathfrak{S}\) est un groupe de permutations de \(\mathbf{R}\) isomorphe au groupe \((E,{\triangle})\) de la question précédente.

[complexes/ex0281] On munit l’ensemble \(\widehat{\mathbf{Q}_+^*}=\mathop{\mathscr{L}}\nolimits(\mathbf{Q}_+^*,\mathbf{U})\) des homomorphismes de groupe de \((\mathbf{Q}_+^*,{\times})\) dans \(\mathbf{U}\) de sa structure naturelle de groupe (si \(f\in\widehat{\mathbf{Q}}_+^*\) et \(g\in\widehat{\mathbf{Q}}_+^*\), alors \((fg)(x)=f(x)g(x)\) pour tout \(x\in\mathbf{Q}\)).

Montrer que les groupes abéliens \(\widehat{\mathbf{Q}_+^*}\) et \((\mathbf{R}/2\pi\mathbf{Z})^\mathbf{N}\) sont isomorphes.