标签: 离散数学

设$<H,*>$是群$<G,*>$的子群,$a \in G$,定义集合

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

先记忆一下基础概念,顺便练习一下$\LaTeX{}$

$<A,\leq>$是偏序集:$\leq 是A上自反,反对称,和传递关系(偏序).$

同构是代数系统之间的一种重要关系，用符号 $\cong$ 表示。若两个代数系统 $(A, \star)$ 和 $(B, \circ)$ 之间存在同构，则记作 $(A, \star) \cong (B, \circ)$。

设$<G,*>$是群,S是G的非空子集,如果$<S,*>$满足:

给定代数系统$<A,+,*>,+和*是A上的二元运算,若满足下面条件$

设$<G,*>$是代数系统,如果$*$在G上满足\*_封闭性,可结合性,$<G,_>$中有幺元,且G中每一个元素均可逆