第2章线性分组码.PDF

第第第章章章 线线线性性性分分分组组组码码码 上一章我们引入了A 上的码的概念，其中A 是一个一般集合，没有特定的结构。 从这一章开始，我们将讨论几种常见的有结构的码。 有有有限限限域域域 设 是一个非空集合，至少包含两个不同的元素。在 上定义两种二元运算，分 别记作“”与“×”，即 ：∀α, β ∈ , ∃γ ∈ （“∃”表示“存在且唯一”），使得γ α β ，称为 和。 ×：∀α, β ∈ , ∃γ ∈ ，使得γ α × β ，称为积。 为简单起见，我们通常记 α 与β 的积为α · β 或 αβ 。需要指出的是，所谓二元 运算是指两个操作数对应一个确定的结果。上述和与积的运算符号“”与“×”只 是个表示符号，与实数的和运算、积运算或“大相径庭”。 我们称 为域，是指所定义的二元运算满足以下九条规律： , 是一个交换群，即 交换律：∀α, β ∈ ，有α β β α 。 结合律：∀α, β, γ ∈ ，有α β γ α β γ 。 零元：∀α ∈ , ∃θ ∈ ，使得α θ θ α α 。 负元：∀α ∈ , ∃β ，使得α β θ 。 可以证明，“零元”是唯一的，通常简记为 。也可以证明，给定α ∈ ，负 元β 也是唯一的，简记为 −α （相当于实数中的相反数）。 第章 线性分组码 \ {}, × 是一个交换群，即 交换律：∀α, β ∈ \ {}，有α · β β · α 。 结合律：∀α, β, γ ∈ \ {}，有α · β · γ α · β · γ 。 幺元：∀α ∈ \ {}, ∃e ∈ ，使得α · e e · α α 。 逆元：∀α ∈ \ {}, ∃β ，使得α · β e 。 同样可以证明，“幺元”是唯一的，通常简记为 。也可以证明，给定α ∈ \ {}，逆元β 也是唯一的，简记为α− （相当于实数中的倒数）。 分配律：∀α, β, γ ∈ \ {}，有α · β γ α · β α · γ 。 例例例 所有实数构成的集合在通常意义下构成一个域，记作 。我们常见的例子 还有有理数域（记作 ）、复数域（记作 ）。但是全体整数构成的集合在通常的运 算下不构成一个域。原因如下： 是一个整数，但我们找不到整数x ，使得x 。 通俗地讲，一个域就是可以做“加、减、乘、除”四项基本运算的集合。 我们之前遇到的域多是无限集合，而在编码领域还经常用到有限域，即元素个 数 || ∞ 的域。 例例例 最简单的有限域 {, }，其运算规定如下： ， ， ； · ， · ， · 。 通常，对于素数p ，集合 {, , · · · , p − } 在模p 意义下做加法与乘法，构 成一个域，记作 ，也称为素数域。 例例例 有限域 {, , } 的运算可以用下述两个表格定义。 + 0 1 2 0 1 2 0 0 1 2 0 0 0 0 1 1 2 0 1 0 1 2 2 2 0 1 2 0 2 1 同样地，我们可以定义 ， ，等等。 例例例 {, , , } 在模 运算下，不是域。因为 · ，这 不符合我们之前的认识：即非零元素之积不应该为零。但是按照域的定义， 违反 了哪一条呢？比如，我们可以断言，找不到x ，使得x 。详细证明略去。 但是，如果我们规定如下运算，