离散数学-10 群与环

定义10.1 (1) 设V=<S, ∘ >是代数系统，∘为二元运算，如果∘运算是可结合的，则称V为半群. (2) 设V=<S,∘>是半群，若e∈S是关于∘运算的单位元，则称V是含幺半群，也叫做独异点. 有时也将独异点V 记作 V=<S,∘,e>. (3) 设V=<S,∘>是独异点，eS关于∘运算的单位元，若 aS，a1S，则称V是群. 通常将群记作G. 定义10.2 (1) 若群G是有穷

>>阅读原文<<