Lois de composition internes

1-) On définit dans IR la loi ∗ par: a ∗ b = a + b + ab.

a-) Justifier que ∗ est bien une loi de composition interne dans IR.
b-) Montrer que cette loi est commutative. Est-elle associative ?
c-) Montrer que ∗ admet un élément neutre.
d-) Quels sont les éléments inversibles par rapport à cette loi ?
e-) Quels sont les éléments réguliers ?
f-) Montrer que IR + est stable par ∗. En est-il de même de IR – ? de IR* ? de ZZ ?
––––––––––––––––
a-) On veut montrer que: ∀(a, b)∈IR2, a ∗ b∈IR.
Or l'addition et la multiplication sont des LCI dans IR.
Par suite, a ∗ b = (a + b) + ab∈IR.
b-) → ∀(a, b)∈IR2, b ∗ a = b + a + ba = a + b + ab = a ∗ b.
Donc ∗ est commutative.
→ ∀(a, b, c)∈IR3, (a ∗ b) ∗ c = (a + b + ab) ∗ c = a + b + ab + c + (a + b + ab)c
(a ∗ b) ∗ c = a + b + ab + c + ac + bc + abc
(a ∗ b) ∗ c = a + b + c + ab + bc + ca + abc
et a ∗ (b ∗ c) = a ∗ (b + c + bc) = a + b + c + bc + a(b + c + bc)
a ∗ (b ∗ c) = a + b + c + bc + ab + ac + abc
a ∗ (b ∗ c) = a + b + c + ab + bc + ca + abc
Donc ∗ est associative.
c-) On cherche s'il existe e dans IR tel que: ∀x∈IR, x ∗ e = x (E1).
(On sait que, dans ce cas, on aura e ∗ x = x car la loi est commutative).
(E1) est une équation d'inconnue e.
(E1) ⇔ ∀x∈IR, x + e + ex = x.
(E1) ⇔ ∀x∈IR, e(1 + x) = 0.
(E1) ⇔ ∀x∈IR, e = 0.
La loi ∗ admet donc 0 comme élément neutre.
d-) x∈IR est inversible par rapport à la loi ∗ ssi il existe x'∈IR tel que: x ∗ x' = 0 (E2).
(On sait que, dans ce cas, on aura x' ∗ x = 0 car la loi est commutative).
(E2) est une équation d'inconnue x'.
La loi ∗ étant associative, on sait que cette équation admet au plus une solution.
(E2) ⇔ x + x' + xx' = 0.
(E2) ⇔ x'(1 + x) = -x.
-x
→ Si x est différent de -1, alors (E2) ⇔ x' = .
1+x
→ Si x = -1 alors (E2) est impossible.
-x
Donc tous les réels sauf -1 sont inversibles et si x ≠ -1 alors x' = .
1+x
e-) → La loi étant associative, tous les éléments inversibles sont réguliers.
→ -1 ∗ 2 = -1 + 2 – 2 = -1 et -1 ∗ 3 = -1 + 3 – 3 = -1
On a donc: -1 ∗ 2 = -1 ∗ 3.
Par suite -1 n'est pas régulier.
Tous les réels sauf -1 sont réguliers pour la loi ∗.

Corrigés des exercices sur les lois de composition internes --*-- Page 1
 a + b ∈ IR+
f-) → ∀(a, b)∈(IR+)2,  donc a ∗ b = a + b + ab ∈ IR+
ab ∈ IR+

Par suite, IR+ est stable par ∗.
→ (-2) ∗ (-3) = -2 – 3 + 6 = +1
Donc IR– n'est pas stable par ∗.
1 ∗ -  = 1 – – = 0.
1 1 1
→
 
2 2 2
*
Donc IR n'est pas stable par ∗.
a+b∈Z Z
→ ∀(a, b)∈(ZZ)2,  ab ∈ ZZ donc a ∗ b = a + b + ab ∈ ZZ

Par suite, ZZ est stable par ∗.

Corrigés des exercices sur les lois de composition internes --*-- Page 2
 
a ∗ b = a + 2b
2-) On définit dans IN deux lois ∗ et ⊥ par: 
a ⊥ b = 2ab

a-) Etudier les propriétés de ces deux lois.
b-) Y en a-t-il une qui soit distributive par rapport à l'autre ?
––––––––––––––––
 a + 2b∈IN
a-) → Les deux lois sont des LCI dans IN car ∀(a, b)∈IN2, 
2ab∈IN


→ ∗n'est pas commutative car 1 ∗ 2 = 5 et 2 ∗ 1 = 4.

⊥ est commutative car ∀(a, b)∈IN2, b ⊥ a = 2ba = 2ab = a ⊥ b.

(1 ∗ 2) ∗ 3 = 5 ∗ 3 = 11
→ ∗ n'est pas associative car 
1 ∗ (2 ∗ 3) = 1 ∗ 8 = 17

 (a ⊥ b) ⊥ c = (2ab) ⊥ c = 4abc
⊥ est associative car ∀(a, b, c)∈IN3,  a ⊥ (b ⊥ c) = a ⊥ (2bc) = 4abc


→ ∗ n'admet pas d'élément neutre car:

• ∀a∈IN, a ∗ e = a ⇔ ∀a∈IN, a + 2e = a ⇔ e = 0.
(Si ∗ admet un neutre ce ne peut être que 0).
• Or 0 ∗ 1 = 2 ≠ 1.
(0 est neutre à droite mais pas à gauche).
1 1
⊥ n'admet pas de neutre pour la loi ⊥ car a ∗ e = a exigerait a = et ∉IN.
2 2
→ On ne peut pas parler d'inverse pour ces lois car elles n'admettent pas de neutre.
x ∗ b = x ∗ c ⇔ x + 2b = x + 2c ⇔ b = c

→ Tout naturel est régulier pour ∗ car: 
b ∗ x = c ∗ x ⇔ b + 2x = c + 2x ⇔ b = c

Tout naturel sauf 0 est régulier pour ⊥.

1 ∗ (2 ⊥ 3) = 1 ∗ 12 = 25
b-) → 
(1 ∗ 2) ⊥ (1 ∗ 3) = 5 ⊥ 7 = 70

Donc ∗ n'est pas distributive par rapport à ⊥.
 a ⊥ (b ∗ c) = a ⊥ (b + 2c) = 2a(b + 2c) = 2ab + 4ac
→ ∀(a, b, c)∈IN3, 
 (a ⊥ b) ∗ (a ⊥ c) = (2ab) ∗ (2ac) = 2ab + 4ac
La loi ⊥ étant commutative:
(b ∗ c) ⊥ a = a ⊥ (b ∗ c) = (a ⊥ b) ∗ (a ⊥ c) = (b ⊥ a) ∗ (c ⊥ a).
Donc ⊥ est distributive par rapport à ∗.

Corrigés des exercices sur les lois de composition internes --*-- Page 3
3-) On définit dans IR2 la loi ⊥ par: (a; b) ⊥ (c; d) = (ac + 2bd; ad + bc)
a-) Justifier que ⊥ est bien une loi de composition interne dans IR2.
b-) Cette loi est-elle commutative ? associative ?
c-) Montrer que ⊥ admet un élément neutre.
d-) Quels sont les éléments inversibles par rapport à cette loi ?
––––––––––––––––
ac + 2ab ∈ IR

a-) ∀(a, b), (c,d)∈IR2, 
ad + bc ∈ IR donc (ac + 2bd; ad + bc)∈IR
2

Par suite ⊥ est bien une LCI dans IR2.
b-) → ∀(a, b), (c,d)∈IR2, (c, d) ⊥ (a, b) = (ca + 2db, da + cb)
= (ac + 2bd; ad + bc)
= (a; b) ⊥ (c; d)
Donc la loi ⊥ est commutative.
→ ∀(a, b), (c, d), (e, f)∈IR2,
[(a, b) ⊥ (c, d)] ⊥ (e, f) = (ca + 2db, da + cb) ⊥ (e, f)
= (ace + 2bde + 2adf + 2bcf, acf + 2bdf + ade + bce)
(a, b) ⊥ [(c, d) ⊥ (e, f)] = (a, b) ⊥ (ce + 2df, cf + de)
= (ace + 2adf + 2bcf + 2bde, acf + ade + bce + 2bdf)
Donc [(a, b) ⊥ (c, d)] ⊥ (e, f) = (a, b) ⊥ [(c, d) ⊥ (e, f)]
et la loi ⊥ est associative.
c-) On cherche s'il existe un couple (e, f) tel que ∀(a, b)∈IR2, (a, b) ⊥ (e, f) = (a, b) (E1)
 e + 2f = 1
Analyse: Pour (a, b) = (1, 1), (E1) s'écrit  e + f = 1 ce qui donne (e, f) = (1, 0).

Synthèse: ∀(a, b)∈IR2, (a, b) ⊥ (1, 0) = (a×1 + 2b×0, a×0 + b×1) = (a, b).
La loi ⊥ étant commutative, (1, 0) est élément neutre.
d-) (a, b) est inversible pour la loi ⊥ ssi il existe un couple (a', b') de réels tel que:
(a, b) ⊥ (a', b') = (1, 0) (E2).
 aa' + 2bb' = 1
(E2) ⇔ 
 ba' + ab' = 0
(E2) est un système de deux équations à deux inconnues (a' et b').
a 2b 1 2b a 1
D = b a = a2 – 2b2, Da = 0 a = a et Db = b 0 = -b.

→ Si D ≠ 0 alors ce système admet un couple solution unique.

→ Si a = b 2 ou a = -b 2 avec b ≠ 0 alors Db ≠ 0.
Donc le système n'admet pas de couple solution.
→ Si b = a = 0 alors la première équation est impossible.
Par suite, seuls les couples tels que a ≠ b 2 et a ≠ -b 2 sont inversibles.
L'inverse d'un tel couple est le couple  2
a -b 
2, 2 2
a – 2b a – 2b 

Corrigés des exercices sur les lois de composition internes --*-- Page 4