离散数学 第五篇 代数系统01

离散数学

代数系统定义：
设$A$是非空集合，$*_1,*_2,\dots,*_m$分别是定义在$A$上的$k_1,k_2,k_3,\dots,k_m$元封闭的运算

1 代数系统、半群、群的关系

2 半群

2.1可交换半群

2.2子半群

2.3循环半群

3 群

3.1可交换群