离散数学离散数学 (1).pdfVIP

Chapter4

代数系统

AlgebraSystem

§4.1代数系统的引入

一个代数系统需要满足下面三个条件：

（1）有一个非空集合S；

（2）有一些建立在S上的运算；

（3）这些运算在集合S上是封闭的。

§4.2运算

4.2.1运算的概念

定义

假设A是一个集合，AA到A的映射称为A上

的二元运算。

一般地，An到A的映射称为A上的n元运算。

§4.2运算

4.2.2运算的性质

假设*,+都是集合A上的运算

（1）封闭性

如果SA，对任意的a,bS，有

a*bS，则称S对运算*是封闭的。

§4.2运算

4.2.2运算的性质

（2）交换律

如果对任意的a,bA，都有a*b=b*a，则

称运算*是可交换的。

（3）结合律

如果对任意的a,b,cA，都有

(a*b)*c=a*(b*c)，则称运算*是可结合的。

§4.2运算

（4）分配律

如果对任意的a,b,cA，都有a*