Aucun document n'est autorisé.

Si z = x + iy est élément de ℂ, alors :

${\displaystyle Im\,z=y={\frac {z-{\bar {z}}}{2i}}}$

Si Z^j ∈ ℂⁿ,

${\displaystyle Z^{j}=(z_{1}^{j},\cdots ,z_{n}^{j})\qquad {\text{pour}}\,j=1,2,\quad (Z^{1},Z^{2})=\sum _{k=1}^{n}z_{k}^{1}{\bar {z_{k}^{2}}}}$

ɪ . On étudie sur ℂⁿ✕ℝ, la loi suivante notée ● :

${\displaystyle (Z^{1},s^{1})\bullet (Z^{2},s^{2})=\left(Z^{1}+Z^{2},s^{1}+s^{2}+2Im(Z^{1},Z^{2})\right)}$

1 ) Montrer que cette loi est associative. Donnez-en un élément neutre.

2 ) Montrer que cette loi n’est pas commutative.

3 ) Soit α = (Z,s) ∈ ℂⁿ✕ℝ. On définit des applications de ℂⁿ✕ℝ dans lui-même par V(α) = (Z,0); U(α) = (Z,-s); ℑ(α) = (-Z,-s). Calculer α●V(α); α●U(α); α●ℑ(α).

Quels sont les éléments inversibles par la loi ● ? On notera (Z,s)^-1 un tel inverse. Quelle est la structure de (ℂⁿ✕ℝ,●) ?

4 ) question facultative : On note + la loi additive usuelle sur le produit cartésien usuel ℂⁿ✕ℝ. Calculer :

${\displaystyle (Z^{1},s^{1})\bullet (Z^{2},s^{2})-\left[(Z^{1},s^{1})+(Z^{2},s^{2})\right]}$

Est ce que la loi ● est distributive par rapport à la loi + ?

ɪɪ . si A désigne un groupe abélien, on notera A(i) l’ensemble des expressions formelles du type a + bi où a, b ∈ A; on munit cet ensemble de l'addition : (a + bi) + (c + di) = (a+c) + (b+d)i.

1 ) a) Montrer que (ℤ²(i)✕ℤ,●) est un sous groupe non abélien de (ℂ²✕ℝ,●).

b) Si ℤ_a désigne l’ensemble des classes modulo a dans ℤ, (a ∈ ℤ), montrer que :

${\displaystyle \mathbb {Z} _{a}(i)=\left[\mathbb {Z} \diagup a\mathbb {Z} \right](i)\simeq \left[\mathbb {Z} \diagup a\mathbb {Z} \right]^{2}\simeq \mathbb {Z} \times \mathbb {Z} \diagup a\mathbb {Z} \times a\mathbb {Z} \simeq \mathbb {Z} (i)\diagup a\mathbb {Z} (i)}$

où les isomorphismes précédents concernent des lois de groupes additifs.

2 ) Étant donnés deux entiers a, b, quelle condition doit vérifier c pour que ℤ_a(i) ✕ ℤ_b(i) ✕ ℤ_c soit un quotient de (ℤ²(i)✕ℤ,●) ?

3 ) On suppose dorénavant que : a = p²q, b = pq², c = pq où p et q sont deux nombres premiers distincts de 2.

a) Montrer que :

${\displaystyle \mathbb {Z} \diagup p^{2}q\mathbb {Z} \simeq \mathbb {Z} p^{2}\diagup q\mathbb {Z} }$

b) Montrer que ℤ_p²q se décompose en somme directe :

${\displaystyle \mathbb {Z} _{p^{2}q}\simeq \mathbb {Z} _{p^{2}}\oplus \mathbb {Z} _{q}}$

c) Soit r un premier, déterminez tous les r sous groupes de Sylow de G = ℤ_p²q(i) ✕ ℤ_pq²(i) ✕ ℤ_pq muni de ●. Donnez en le nombre pour chaque r. Que pouvez-vous dire du sous groupe S_p = ℤ_p²(i) ✕ ℤ_p(i) ✕ ℤ_p de (G,●) ?

4 ) On note de façon analogue : S_q = ℤ_q(i) ✕ ℤ_q²(i) ✕ ℤ_q.

a) Montrer que S_p ᑎ S_q est réduit à l'élément neutre de (G,●).

b) Montrer que l’ensemble S_p ● S_q des composés α.β où α ∈ S_p, β ∈ S_q coïncide avec G.

c) Montrer que G est isomorphe au produit direct de S_p par S_q.

5 ) Déduire de ce qui précède une décomposition primaire du groupe non abélien G. Est-elle aussi une décomposition cyclique ?

6 ) Montrer que G est résoluble.

7 ) Montrer que G est nilpotent.

8 ) soit H un groupe fini, on supose que pour tout r premier, tout r-sous groupe de sylow soit normal. Prouver que H est alors le produit direct de ces sous groupes. En déduire que H est nilpotent. Comparer au cas de G.

Nota bene : On pourra, lors de la résolution de questions telles que, par exemple, II.3)b), nommer des isomorphismes ou, si l’on préfère, utiliser des abus de langages évidents.