编码理论1

第一章

self-dual: , 它的码长n为偶数，且维数为n/2.

Th1.4.5: If C is a [n,k]-码，则

（1）如果C是一个二元自正交码，则每个码字的重为偶数；

（2）如果C是一个三元自正交码，则每个码字的重被3整除；

（3）如果C是一个四元Hermition 自正交码，则每个码字的重为偶数.

Th1.4.6: 令C为一个[n,k]自正交二元码，令C_0为C中所有重被4整除的码字组成的集合，则

（1）要么C=C_0；

（2）要么, 其中x为一个码字，它的重为偶数但是不被4整除。C_0是一个[n,k-1]子码

Th1.4.7: If C is a [n,k]-二元码 ，令为为C重所有重为偶数的码字组成的集合，则

（1）要么C=C_e；

（2）要么C_e是一个[n,k-1]子码，且, 其中x为一个码字，它的重为奇数.

Remark: 注意这两个定理的条件，一个是自正交二元码，则它的码字的重就要考虑被4整除；一个只是二元码，所以只要考虑它的重是否被2整除即可。

Th1.4.8: 令C为二元线性码，则

（1）如果C是自正交的且它的生成矩阵的每行的码字的重被4整除，那么C的所有码字的重都会被4整除；

（2）如果C的每个码字的重都被4整除，则C就是一个自正交的.

所有如果C的码字的重都被4整除 当且仅当 C是自正交的

Th1.4.11: 令C是一个二元码，如果它的生成矩阵的每一行的码字的重为偶数，则C中的每个码字的重都是偶数.

Remark: 这两个定理主要讲的是生成矩阵中的码字和C的所有码字之间的重的关系.

Th1.4.10: 令C是一个码

（1）当C是一个三元码时，C是自正交的 当且仅当 C中的每个码字的重都被3整除；

（2）当C是一个四元码时，C是自正交的 当且仅当 C中的每个码字的重都被2整除.

对于二元码，所有的重被4整除的码字就称作doubly-even.那些不被4整除的码字就组成了singly-even

clearly, doubly-even codes 是自正交的

even-like:码字的所有位置上的值相加为0；else就是odd-like

特别地，对于二元向量来说，二元向量是一个even-like 当且仅当 这个向量的重为偶数；

所以even-like向量的定义就等价于通常的偶重二元向量.