【梳理】离散数学 第2版 9.2 代数系统

教材：《离散数学》第2版 屈婉玲 耿素云 张立昂 高等教育出版社
源文档高清截图在最后。
1、非空集S和S上的k个一元或二元运算f1，f2，……，fk组成的系统称作一个代数系统，简称代数。记作 <S，f1，f2，……，fk>。注意：S上的一元或二元运算是封闭的。
例如：<N, +>, <Z, +,·>, <R, +,·> 都是代数系统。+和·分别表示一般加法和一般乘法。<P(S)，∪，∩，~> 也是代数系统，并和交是二元运算，绝对补是一元运算。
一些代数系统包含比较重要的元素，比如单位元和零元。具有不同性质的代数系统，单位元和零元一般不同。常常把这些元素也作为系统的性质一并记录以起到区别或强调的作用，这些元素叫作特异元素或代数常数。例如 <Z, +, 0>、<P(S)，∪，∩，~，∅，S>。在不混淆的情况下，也可以用集合的名字标记代数系统。例如Z、P(S)。

2、如果两个代数系统能满足：运算个数相同、对应的运算元数相同、代数常数的个数相同，就称这两个代数系统具有相同的构成成分，也称它们是同类型的代数系统。如果运算的性质也相同，就称它们是同种代数系统。
例如：V1 = <R, +,·, 0, 1> 和 V2 = <P(S)，∪，∩，~，∅，S> 是同类型的代数系统。它们都含两个二元运算、一个一元运算、两个代数常数。不过它们的运算性质很不一样：