Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $*$ be a binary operation acting on a non-empty set $S$, such that $$(a*b)*a=b,$$ for all $a,b\in S$.

Prove that $$a*(b*a)=b,$$ for all $a,b \in S$.

share|improve this question
    
The solution in mathlinks says $((b*a)*b)(b*a)=b$ out of the blue. Why? –  Bananarama Mar 21 at 23:18
1  
Let $a=(b*a),b=b.$ –  coffeemath Mar 21 at 23:22
    
what do you mean let $a=b*a$ –  Bananarama Mar 21 at 23:33
    
@coffeemath can we just go ahead and say $a=(b*a)$ is that legit? –  Bananarama Mar 21 at 23:43
    
user4140 Yes it's legit. To se it rewrite (a*b)*a=b with new letters like (x*y)*x=y, then let this x be (a*b) and this y be b. –  coffeemath Mar 22 at 0:10
add comment

2 Answers 2

up vote 13 down vote accepted

We have that $$ a*(b*a)=\big((b*a)*b\big)*(b*a)=b $$ Note that the second "=" holds since $$ (c*b)*c=b, $$ where $c=b*a$.

share|improve this answer
    
yes, the only part I don't get is the second equivalence –  Bananarama Mar 21 at 23:33
    
Why is $((b*a)*b)*(b*a)=b$??? –  Bananarama Mar 21 at 23:35
    
I really don't understand it. Could you elaborate please? –  Bananarama Mar 21 at 23:41
    
@user4140: See update. –  Yiorgos S. Smyrlis Mar 21 at 23:47
    
Ohhhhhh, I finally get it. Thanks. –  Bananarama Mar 22 at 0:00
show 1 more comment

Because $b*a,b\in S$, so by the formula $((b*a)*b)*(b*a)=b$. Then $a*(b*a)=b$.

share|improve this answer
    
By what formula? –  Bananarama Mar 21 at 23:43
    
@user4140 By the formula $a∗(b∗a)=b$, just replace $a$ by $a*b$. –  user2345215 Mar 21 at 23:47
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.