离散数学-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是有穷集，则称G是有限群，否则称为无限群. 群G 的基数称为群 G 的阶，有限群G的阶记作|G|.

(2) 只含单位元的群称为平凡群. 

(3) 若群G中的二元运算是可交换的，则称G为交换群或阿贝尔 (Abel) 群.

定义10.3 设G是群，a∈G，n∈Z，则a 的 n次幂.

定义10.4 设G是群，a∈G，使得等式 a^k=e 成立的最小正整数k 称为a 的阶，记作|a|=k，称 a 为 k 阶元. 若不存在这样的正整数 k，则称 a 为无限阶元.

定理10.1设G 为群，则G中的幂运算满足：

(1) a∈G，(a^1)^1=a

(2) a,b∈G，(ab)^1=b^1a^1

(3) a∈G，aⁿa^m = a^n+m，n, m∈Z

(4) a∈G，