抽象

半群定义,独异点定义

设 $S$是非空集合,$*$是$S$上的二元运算,如果$*$在$S$上满足封闭性 可结合性 ,则称$<S,*>$是半群

独异点定义

设$<M,*>$是个半群,如果$*$运算有幺元,则称$<M,*>$是独异点,也称它为含幺半群

可交换半群

设$<M,*>$是个半群,如果$*$运算是可交换的,则称$<M,*>$是可交换半群

可交换独异点

设$<M,*>$是个独异点,如果$*$运算是可交换的,则称$<M,*>$是**可交换独异点

子半群

设$<S,*>$是个半群,$B\in S$,如果$*$在$B$上封闭,则称$<B,*>$是$<S,*>$的子半群

子独异点

设$<S,*>$是个独异点,$B\in S$,如果$*$在$B$上封闭,且幺元$e \in B$,则称$<B,*>$是$<S,*>$的子独异点

steam神秘陌生人

离线好几天,上线看一下,发现有一个好友一直给我发消息

忘了是怎么加上的好友了,它一直给我送礼物

抽象但效率高，学会的话很方便：）