On définit dans l’ensemble ℚ \ { -1/2 }, la loi ★ comme suit :
∀a, b ∈ ℚ \ { -1/2 } : a ★ b = a + b + 2ab.
Montrer que (ℚ \ { -1/2 }, ★) est un groupe abélien.