第二篇efersefdasf.docVIP

第二章 线性分组码第一节 抽象代数基础群群的定义：对于一个非空集合G以及定义在G上的一种运算“*”（泛指代数运算，如：＋、－、×、÷，模m加，模m乘⊙等），若满足以下4个条件：①封闭性（closure）,即?a,b∈G,?a*b=c∈G②结合性（associativity）, 即?a,b∈G, ?a*( b*c)=( a*b)*c③存在唯一单位元e(identity), 即?a,b∈G, ?a*e=e*a=a④G中的每个元素各自存在唯一的逆元（inverse）,即?a∈G，?a-1∈G, a* a-1= a-1*a=e则称这样的代数系统为群，记做（G，*）。若还满足第五个条件：⑤交换律，即?a,b∈G, ?a*b=b*a则称这样的代数系统为交换群，也叫阿贝尔群。例1：若 R表示有理数，I表示整数集合，E表示偶数集合，则E?I?R,在加法运算下，（R,+），(I,+)，(E,+)均构成加群，单位元是0。子群：如果在群（G,*）中，集合G的非空子集S在同样的运算下，可构成群（S,*）,则称群（S,*）为群（G,*）的子群。例1中，（E,+）是（I,+）的子群, （I,+），(E,+)是（R,+）的子群。作为对比，如奇数集合，在加法运算下不构成群。（封闭性不满足）加群（G,*） “*” “+” (G,+) 单位元为零元 和群（G,*） “*”