Sign up ×
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|cite|improve this question
The solution in mathlinks says $((b*a)*b)(b*a)=b$ out of the blue. Why? – dREaM Mar 21 '14 at 23:18
Let $a=(b*a),b=b.$ – coffeemath Mar 21 '14 at 23:22
what do you mean let $a=b*a$ – dREaM Mar 21 '14 at 23:33
@coffeemath can we just go ahead and say $a=(b*a)$ is that legit? – dREaM Mar 21 '14 at 23:43
user4140 Yes it's legit. To se it rewrite (ab)*a=b with new letters like (xy)*x=y, then let this x be (a*b) and this y be b. – coffeemath Mar 22 '14 at 0:10

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|cite|improve this answer
yes, the only part I don't get is the second equivalence – dREaM Mar 21 '14 at 23:33
Why is $((b*a)*b)*(b*a)=b$??? – dREaM Mar 21 '14 at 23:35
I really don't understand it. Could you elaborate please? – dREaM Mar 21 '14 at 23:41
@user4140: See update. – Yiorgos S. Smyrlis Mar 21 '14 at 23:47
Ohhhhhh, I finally get it. Thanks. – dREaM Mar 22 '14 at 0:00

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

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

Your Answer


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.