ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 3 — Groupes · Groupes

Exercice 10

Démonstration

On pose G=ℝ∖{−1}G=\mathbb{R} \setminus \{-1\} et l'on définit sur GG la loi ∗\ast par : ∀(x ;y)∈G2,x∗y=x+y+xy\forall (x\,;y) \in G^{2}, \qquad x \ast y = x+y+xy

1. Vérifier que 1+x∗y=(1+x)(1+y)1+x \ast y=(1+x)(1+y), puis en déduire que ∗\ast est bien une loi interne sur GG.

2. Démontrer que (G ;∗)(G \,;\ast) est un groupe abélien, en précisant le neutre et le symétrique d'un élément.

3. L'égalité de la question 1 suggère un lien entre (G ;∗)(G \,;\ast) et (ℝ∗ ;×)(\mathbb{R}^{*} \,;\times). Le formuler.

Corrigé

1. On développe : 1+x∗y=1+x+y+xy=(1+x)(1+y)1+x \ast y = 1+x+y+xy = (1+x)(1+y) Si x≠−1x \neq -1 et y≠−1y \neq -1, alors 1+x≠01+x \neq 0 et 1+y≠01+y \neq 0, donc 1+x∗y≠01+x \ast y \neq 0, c'est-à-dire x∗y≠−1x \ast y \neq -1. ∗ est une loi interne sur G=ℝ∖{−1}.\boxed{\ast \text{ est une loi interne sur } G=\mathbb{R} \setminus \{-1\}.}

2. Commutativité. L'expression x+y+xyx+y+xy est symétrique en xx et yy.

Associativité. En appliquant deux fois l'identité de la question 1 : 1+(x∗y)∗z=(1+x∗y)(1+z)=(1+x)(1+y)(1+z)1+(x \ast y) \ast z = \big(1+x \ast y\big)(1+z) = (1+x)(1+y)(1+z) expression symétrique en xx, yy et zz. Donc (x∗y)∗z=x∗(y∗z)(x \ast y) \ast z = x \ast (y \ast z).

Neutre. On a x∗0=x+0+0=xx \ast 0 = x+0+0 = x, et 0∈G0 \in G : le neutre est 00.

Symétrique. On cherche y∈Gy \in G tel que x∗y=0x \ast y = 0, c'est-à-dire (1+x)(1+y)=1(1+x)(1+y)=1, soit : 1+y=11+xdoncy=11+x−1=−x1+x1+y = \frac{1}{1+x} \qquad\text{donc}\qquad y = \frac{1}{1+x}-1 = \frac{-x}{1+x} Ce réel appartient bien à GG : si l'on avait −x1+x=−1\dfrac{-x}{1+x}=-1, il viendrait −x=−1−x-x=-1-x, ce qui est absurde. (G ;∗) est un groupe abeˊlien de neutre 0, le symeˊtrique de x eˊtant −x1+x.\boxed{(G \,;\ast) \text{ est un groupe abélien de neutre } 0, \text{ le symétrique de } x \text{ étant } \dfrac{-x}{1+x}.}

3. Posons φ:x↦1+x\varphi : x \mapsto 1+x. C'est une bijection de G=ℝ∖{−1}G=\mathbb{R} \setminus \{-1\} sur ℝ∗\mathbb{R}^{*}, de réciproque t↦t−1t \mapsto t-1, et la question 1 s'écrit : φ(x∗y)=φ(x)×φ(y)\varphi(x \ast y) = \varphi(x) \times \varphi(y)

La loi ∗ n’est que la multiplication de ℝ∗, transporteˊe sur G par la bijection φ.Les deux groupes sont « les meˆmes », aˋ ce changement de nom preˋs.\boxed{\begin{array}{l} \text{La loi } \ast \text{ n'est que la multiplication de } \mathbb{R}^{*}, \text{ transportée sur } G \text{ par la bijection } \varphi. \\[1mm] \text{Les deux groupes sont «\,les mêmes\,», à ce changement de nom près.} \end{array}} C'est le même phénomène qu'à l'exercice 3, question 3, où l'addition de ℤ\mathbb{Z} était déguisée par x↦x−3x \mapsto x-3.

Dans l'édifice

Thèmes

lois de composition interne, élément neutre, symétrique, groupes, groupes abéliens

Notions

loi de composition interne, élément neutre, inversible, groupe

Ouvrir dans l'atlas interactif →