纠错码Lecture3-近世代数.pptVIP

域 设p为素数，则整数全体关于模p的剩余类 在模p的运算下(模p加和乘)构成p阶域GF(p) Proof: (只需证非0元素有逆元）。其中1为单位元，因为p为素数，因此任意小于p的数a和p互素。所以由Euclidean算法可知： (a, p)=1=Aa + Bp 在等式两边对p取模，则有 1 Aa (mod p) 所以剩余类中任一元素均有逆元。Q.E.D. ≡ * 域 例子 以p=3为模的剩余类全体： 构成一个三阶有限域GF(3),它们的模3加法和乘法运算如下所示： * 子群 定义： 若群G的非空子集H对G中定义的代数运算也构成群，称H为G的子群，例如，偶数全体构成的群是全体整数构成的加群的一个子群 平凡子群（假子群）：群本身和一个由恒等元所构成的群 真子群：所有其他子群 群G的非空子集H为G的子群的充要条件 1）若a∈H, b∈H, 则ab∈H 2）若a∈H, 则a的逆元a-1∈H 或归纳为 对任意的a, b∈H, 恒有a-1b∈H * 陪集 若H是G的子群，则可利用H把G划分等价类 用g1, g2,…表示群G中的元素，用h1, h2…表示子群H中的元素 子群H 左陪集 左陪集 左陪集 陪集首 * 陪集 定义 H是群G的一个子群，g是G中的任意一个元素，将g左(右)乘H中的每一个元素，得到一个集合，记为gH (Hg)，该集合为子群H的一个左(右)陪集，g为该陪集的陪集首。在Abel群中，hg=gh，左陪集等于右陪集 例子： 对整数全体，以m为倍数的整数全体是一个子群，可按此子群对全体整数划分陪集 性质 有限群G可以按子群H划分成有限个互不相交的陪集，且各陪集都具有相同的元素个数，即等于子群H的阶。 若按H划分得到j个陪集，则集合G中的所有元素都包括在其中，无一遗漏。即N=jn，N，n分别为G和H的阶。 * 陪集 例子，全体整数构成一个加群，以m为倍数的整数全体是其中的一个子群，故可按此子群把全体整数划分陪集，m=5，陪集表如下 两个陪集要么相等要么不相交。 群中元素个数可以是无限也可以是有限的，分别称为无限群和有限群，有限群中元素的个数叫做有限群的阶。 * 陪集 有限群G可以按子群H划分成有限个互不相交的陪集，各陪集具有相同个数的元素，即等于子群H的阶。 在划分陪集阵列中，若有j个陪集，则G中所有元素都在阵列中。 拉格朗日定理：有限群的子群的阶数一定是整个群阶数的因子。 例如，m=9的剩余类全体对模9加法运算构成一个群，而 是它的一个子群，以此子群划分陪集： H: 1+H: 2+H: 共3个陪集，子群的阶是3，是群的阶（9）的因子。 * * 陪集 找出C12={e, g, …, g11}关于H={e, g4, g8}的所有右陪集。 He=H，取g∈ C12 ，但g!∈ H， Hg={g, g5, g9}。由于H∪Hg≠ C12，所以再取不属于H∪Hg的C12元素，如g2，则Hg2={g2, g6, g10}，由于H∪Hg ∪ Hg2 ≠ C12，再取不属于H∪Hg ∪ Hg2 的元素g3，则Hg3={g3, g7, g11}。 H∪Hg ∪ Hg2 ∪ Hg3= C12 于是C12关于H的所有右陪集为H，Hg，Hg2，Hg3 。 正规子群 定义 设H是G的一个子群，若对每一个a∈G，恒有aH＝Ha，则称H是G的一个正规子群或不变子群 Abel群的每一个子群都是正规子群 H是G的一个正规子群的充要条件 对每一个a∈G，恒有a-1ha ∈ H, h∈ H 若H是G的正规子群，则H的全体陪集必构成群。 * 正规子群 M是以m的一切倍数所构成的一个正规子群。例如m=5,则全体整数按5的一切倍数构成的正规子群，进行如下划分 M的5个陪集关于剩余类加法构成群 商群 定义：设H是G的正规子群，于是把H的全体陪集所构成的群成为G关于H的商群，记为G/H。 模m的剩余类群与商群Z/M同构。 * 正规子群 设H是群G的子群，且具有性质：H的任意两个左陪集的乘积仍然是一个左陪集。