Question 1088368
let a,b,c be elements of R
:
the associative property of Groups is
:
(a * b) * c = a * (b * c)
:
we will check this by direct computation
:
(a * b) * c = (a+b+(ab)/2) * c =
:
a+b+(ab)/2 + c + c(a+b+(ab)/2)/2 =
:
1) a+b+(ab)/2 + c + ac/2 + bc/2 + abc/4
:
a * (b * c) = a * (b + c + bc/2) =
:
a +b+c+bc/2 + a(b+c+bc/2)/2 = 
:
2) a +b+c+bc/2 + ab/2 + ac/2 + abc/4
:
expressions 1) and 2) are equal, so yes * is associative
: