基本概念
设非空集合A,B,C.
- 二元运算
f:A×B->C为二元运算(×为笛卡尔积) - 算符
用算符来表示运算f,如“*”,“+”,“◦” - n元运算
- 封闭性
A×A->A,即A中两个元素运算后的结果仍是A的元素 - 代数系统(代数)
集合A及其封闭运算组成代数系统,用<A,*,◦>表示 - 子代数(子代数系统)
B是A的子集,且A的封闭运算在B中仍封闭,则<B,*,◦>是<A,*,◦>的子代数
基本运算和性质
所有运算和性质都在代数系统中成立,即运算必须是封闭的
运算律
- 结合律
(ab)*c = a*(bc) - 交换律
a*b = b*a - 消去律
如果a*x = a*y,那么x = y
则a在A中关于“*”是左可消去元
右可消去元同理 - 幂等律
a*a = a² = a,则a为幂等元 - 分配律
a*(b ◦ c) = (a*b) ◦ (a*c)
则称“ * ”对“ ◦ ”左可分配
(b ◦ c)*a = (b*a) ◦ (c*a)
则称“ * ”对“ ◦ ”右可分配 - 吸收律
x ◦ (x * y