设(S，*)是一个半群，a∈S，在S上定义一个二元运算“□”，使得对于S中的任意元素x和y，都有x□y=x*a*y．
试证明二元运算“□”是可结合的．

A.

【参考答案】

证明 因为(x□y)□z=(x*a*y)□z
=(x*a*y)*□*z
=x*a*y*a*z，
......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)