14.3 几个经典代数系统
14.3.1 半群与独异点14.3.2 群14.3.3 环与域14.3.4 格与布尔代数
半群与独异点定义与实例半群与独异点幂运算半群与独异点子代数和积代数半群与独异点同态
半群与独异点
半群与独异点定义
定义14.12(1) 设 V=<S,>是代数系统， 为二元运算，假如  运算是可结合，则称 V 为半群.(2) 设 V=<S,>是半群，若 e∈S 是关于  运算单位元，则称 V 是含幺半群，也叫做独异点. 有时也将独异点 V 记作 V=<S,, e>.