逻辑代数01律的理解_泛代数学习笔记1：定义和一些例子

类型论驿站写作计划

群、环、格、布尔代数等代数结构在很早就已经得到了比较深入的研究。怀特海（Whitehead）在1898年指出，有必要定义一种可以囊括现有的大部分代数结构的代数。但这一任务直到1933年才由伯克霍夫（Birkhoff）完成。

定义1

对于一个非空集合

元数（arity，rank）。有限元操作是针对某个 像（image）记为 零元（nullary）操作，或常运算（constant），该运算完全由 单位元”，identity）。

定义2

代数的语言（或类型，type）是一个函数符号的集合

定义3

如果

代数 全域（universe）（支撑集合/底层集合/支集, underlying set）， 基本运算（fundamental operations）。（人们经常用 一元的，当且仅当它的所有运算都是一元的，代数 单一一元（mono-unary）的，如果它仅有一个一元运算。广群（groupoid），如果它只有一个二元运算（通常用

一般情况下，代数基本运算的元数不会超过2，即便是在抽象代数中！下面是一些代数的例子：

1. 群

群是一个满足下列恒等式（identity）的代数

如果

阿贝尔群（交换群）：

2. 半群、幺半群

半群（semigroup）和幺半群（monoid）是对群的定义进行一般化的一个方向。另一个一般化的方向则可以得到拟群/伪群和环圈这两个概念。

半群是一个满足

3. 拟群/伪群、环圈

拟群（quasigroup）是一个有着三个二元运算的代数

环圈（loop）是一个拟群加上一个单位运算/单位元（identity）

4. 环

环（ring）是一个代数<

“有单位运算/单位元的环”（ring with identity）是满足

5. （固定的）环上的模

设

设

的一个代数。

6. 环上的代数

设

7. 半格

半格是满足交换律

8. 格

参见：Arjuna：格论学习笔记1：基础概念

偏序集，或云 poset，是一个有着二元关系

1. 自反性（reflexive，反射関係）：
2. 反对称性（anti-symmetric，反対称関係）：
   且
3. 传递性（transitive，推移関係）：
   且

倘若该集合还满足 “

完全性，totality，完全律），那么这个偏序集被称为线性顺序集合（linear order，線型順序集合）或链（chain，鎖）。

如果一个偏序集

格。

9. 有界格

一个有着两个二元和两个零元运算的代数

10. 布尔代数

如果满足下列条件，代数

布尔代数可以为经典逻辑提供语义诠释。

11. 海廷代数

如果满足下列条件，代数

海廷代数可以为直觉主义逻辑提供语义诠释。

12. n-值波斯特代数

代数

n-值波斯特代数可以为多值逻辑提供语义诠释。

13. n-维圆柱代数

给定

Tarski和Thonmpson引入圆柱代数，用以为谓词逻辑（predicate logic）提供代数描写。

14. 正交格、正交模格

代数

如果一个正交格满足

我们就称之为正交模格（orthomodular lattice）。

正交格和正交模格在量子逻辑中有着重要的应用。

类型论驿站写作计划