第二章efrsefdasf.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,*） “*” “·” (G,·) 单位元为1 如果群（G,*）中包含无限个元素，则称为无限群；如果群（G,*）中包含有限个元素，则称为有限群。构成有限群的元素个数称为该群的阶。 结论： 如果群（G,*）是有限群，则其子群（S,*）也是有限群，且子群的阶数一定是（G,*）阶数的因子。 若（A,*）,(B,*)分别是群（G,*）的两个子群，则（A∩B,*）也是（G,*）的子群。群（G,*）的任意个子群的交集也是（G,* ）的子群。 循环群：某个素a(称为生成元)的一切乘幂…全体组成一个群，也称为幂群。记为：G＝｛…｝,其中是单位元。 若＝e,…中没有两个元素是相等的，称为无限循环群，若上述系列中有两个相等元素，则?n的周期重复，即，，称群(G，*)为有限循环群。 循环群的性质： 1.循环群是交换群；2.循环群的子群仍是循环群；3.n阶有限循环群的子群的阶数一定是n的因子。 例2：集合G={0，1，2，…，m-1}在模m?加运算下构成一个加群（G，），该群是有限群，单位是0，0的逆元是0，1的逆元是m-1，2的逆元是m-2，… 二、环 1.定义：对于非空元素的集合R以及定义在R上的乘、加两种运算，如果满足以下条件： 集合R在加法运算下构成加群(R,+); 集合R在乘法运算下满足群的前3个条件(即不保证逆元存在); 分配律,即a,b,cR,，则称该代数系统为环(Ring),记做(R,+, )称做环R。 如子环R还满足第4个条件： 乘法交换性,即a,b R，ab=ba则该环为交换环。 有限环：有限整数集合在乘、加运算下构成的环。 例3（剩余类环）：集合Z =｛0，1，2，…m-1｝在模m加，模m乘运算下可构成有限环，也称剩余类环。这里m是整数， 零因子：abR，a≠0，b≠0，若ab=0R 则ab为R的零因子（有零因子时，乘法消去律不能成立，即ab=ac不能得到b=c）。 素环：不存在零因子的交换环。 有限素环：Z=在模q加，模k乘运算下可构成有限素环，q为素数。这也是最重要的一类剩余类环。 2、子环：若集合S是集合R的子集(SR)，且在相同的两种运算下分别构成环(S,+, )，(R ,+, )，则称环S是环R的子环。 判定定理：S是R的子环 (1)a,bs, a-bs, (2)a,bs, abs, 理想子环(具有限强聚合力的子环)：设R是交换环，I是R的非空子集，若a,bI, a-bI；aI, rR, ar=raI，则称I是R的理想子环，简称理想（上面任意一个子环元素与任意一个非子环的环元素在乘法运算后所得的元素一定位于子环内，称为子环具有聚合力或吸附性）。 环R的任意多个子环的交集仍是R的理想子环。 主理想子环：若理想子环的所有元素可由一个元素a的多次幂或多次幂的线性组合生成，则称该理想子环为主理想子环，简称主理想，元素a称为生成元。 例4：有限整数集合Z=在模m加，模m乘运算下构成交换环(Z, )。（模m加、乘的定义为：ab=(a+b) mod m及ab=(ab) mod m。） 三、域 1.定义: 对于至少含有一个非零元素的交换环，若多个非零元素都存在乘运算下的逆元，则称该交换环为域，记作(F，+，)，简称域F。 2.伽逻华域:有限整数集合F=(q是素数)在模q加