交换元

交换元
术语名称	交换元
英语名称	commuting elements

交换元(commuting elements)指某集合中的两个元素，在集合上的一个二元运算中，运算结果和顺序无关。

若全部元素都是交换元，见交换律。

定义

对集合 [math]\displaystyle{ X }[/math] 上的二元运算 [math]\displaystyle{ \bullet }[/math] 及元素 [math]\displaystyle{ a, b }[/math] ，若 [math]\displaystyle{ a \bullet b = b \bullet a }[/math]，则称元素 [math]\displaystyle{ a, b }[/math] 为运算 [math]\displaystyle{ \bullet }[/math] 的可交换元(idempotent element)，或元素 [math]\displaystyle{ a, b }[/math] 在运算 [math]\displaystyle{ \bullet }[/math] 下可交换(commute/are commuting (with each other) under [math]\displaystyle{ \bullet }[/math])。同时也称元素 [math]\displaystyle{ a }[/math] 是与元素 [math]\displaystyle{ b }[/math] 可交换的元素 ([math]\displaystyle{ a }[/math] commutes/is commuting with [math]\displaystyle{ b }[/math] under [math]\displaystyle{ \bullet }[/math])。

性质

• 若 [math]\displaystyle{ a \bullet a = a }[/math] ，则有 [math]\displaystyle{ a \bullet a \bullet a = a }[/math] ，以此类推。

封闭二元运算
结合性、交换性（交换元）、分配性（左、右）
零元（左、右）、幺元（左、右）、逆元（左、右）
消去律（左、右）、吸收律、幂等律（幂等元）
反交换性、反分配性