MHB Proving Commutativity of * on Set S

  • Thread starter Thread starter jakncoke1
  • Start date Start date
  • Tags Tags
    Set
jakncoke1
Messages
48
Reaction score
1
Let * be a commutative, assosiative binary operation on a set S with the property that
for all x,y $\in S$, there exists a z $\in S$, such that x*z = y. Prove that if a*c = b*c then a = c .
 
Mathematics news on Phys.org
Assume a*c = b*c and a is not equal to b.
then for b,a there exists an assosiated non identity element p such that b = p*a. If there exists an identity element such that b = p*a, then b = a and we derive a contradiction.

So assume so p*a $\not = a$ (p is non identity)
then b*c = (p*a)*c = a*c
by assosiativity, b*c = p*(a*c)
by commutativity, b*c = (a*c)*p (i subsituted a*c = b*c here)
so b*c = (b*c)*p (i subsituted a*c = b*c here)
which is a contradiction if p is a non identity.
 
Seemingly by some mathematical coincidence, a hexagon of sides 2,2,7,7, 11, and 11 can be inscribed in a circle of radius 7. The other day I saw a math problem on line, which they said came from a Polish Olympiad, where you compute the length x of the 3rd side which is the same as the radius, so that the sides of length 2,x, and 11 are inscribed on the arc of a semi-circle. The law of cosines applied twice gives the answer for x of exactly 7, but the arithmetic is so complex that the...
Back
Top