离散数学-9 代数系统

   

   

   

• 定义7.11 设_º为S上的二元运算, 如果对于任意的x,y,z∈S,满足以下条件：

  （1）若x _º y=x _º z 且x≠θ，则y=z;

  （2）若y _º x=z _º x 且x≠θ，则y=z;

  则称运算 _º 满足消去律，（1）称作左消去律，（2）称作右消去律。

• 如果S中某些x满足x _º x=x, 则称x为运算_º的幂等元

定义9.1 设S为集合，函数f：SSS 称为S上的二元运算，简

称为二元运算．

• S中任何两个元素都可以进行运算，且运算的结果惟一．
• S中任何两个元素的运算结果都属于S，即S对该运算封闭．

  定义9.2 设S为集合，函数 f:S→S 称为S上的一元运算，简

  称一元运算.

  1．算符

  可以用◦, ∗, · , , ,等符号表示二元或一元运算，称为算符.

  2．表示二元或一元运算的方法: 解析公式和运算表

  公式表示

  运算表：表示有穷集上的一元和二元运算

  

  定义9.3 设◦为S上的二元运算,

  (1) 若对任意x,y∈S 有 x◦y=y◦x, 则称运算在S上满足交换律.

  (2) 若对任意x,y,z∈S有 (x◦y)◦z=x◦(y◦z), 则称运算在S上满足结合律.

  (3) 若对任意x∈S 有 x