纠错码Lecture3-近世代数总结.ppt

域 设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 左陪集