Hello, I would really appreciate any help with the following problem:

Prove that $\displaystyle (G, *)$ is a group, where $\displaystyle G=<-1,1>$ and $\displaystyle a*b=\dfrac{a+b}{1+ab}$,

.... $\displaystyle \forall a, b \in G$.

_______________________________

To prove that this is a group, $\displaystyle (G,*)$ must satisfy closure, associativity, existence of an identity element and existence of inverse elements.

Could the property of associativity be demonstrated like this?

$\displaystyle (a*b)*c=(\dfrac{a+b}{1+ab})*c=...=\dfrac{a+b+c+abc }{1+ab+ac+bc}$

$\displaystyle a*(b*c)=a*(\dfrac{b+c}{1+bc})=...=\dfrac{a+b+c+abc }{1+ab+ac+bc}$

Therefore, $\displaystyle (a*b)*c=a*(b*c)$, so the property of associativity is satisfied.

_______________________________

Is the identity element $\displaystyle 0$?

From $\displaystyle a*0= \dfrac{a+0}{1+a \cdot 0}=0*a=a$

it follows $\displaystyle a*0=0*a=a$

_______________________________

Is the inverse element of $\displaystyle a$, $\displaystyle -a$?

Because $\displaystyle a*(-a)=\dfrac{a-a}{1-a^2}=\dfrac{0}{1-a^2}=(a \in <-1,1>)=(-a)*a = 0$

_______________________________

If the above is correct (and I'm not certain that it is), the only property left to be demonstrated is closure, i.e. if $\displaystyle a, b \in <-1,1>$ then $\displaystyle a*b =\dfrac{a+b}{1+ab} \in <-1,1>$.

And here I need your help! How to demonstrate the property of closure?

There is a hint in the text: "Observe that $\displaystyle |1+ab|=1+ab$, and prove that $\displaystyle |a+b| \leq 1+ab$ if and only if $\displaystyle 0 \leq (1-a)(1-b)$ and $\displaystyle 0 \leq (1+a)(1+b)$".

So, how to prove the statements from the hint, and, more importantly, how to apply them to demonstrate the closure property of $\displaystyle (G,*)$?

Many thanks!