Question

离散数学可分配的

离散数学：设 是一个代数系统,且对于任意的a∈A,有 a☆b=a 试证明：二元运算*对于☆是可分配的。
设 是一个代数系统,且对于任意的a∈A,有 a☆b=a
试证明：二元运算*对于☆是可分配的。（☆应该为圈加，打不出来就☆代替了）

Answer 1

a*(b☆c)=a*b=(a*b)☆(a*c) *对于☆左可分配
(b☆c)*a=b*a=(b*a)☆(c*a) *对于☆右可分配
*对于☆可分配