Z4 上的码与二次剩余码详解
1. Z4 上的码相关基础
在研究 Z4 上的码时，对于多项式 (e(x)) 和 (f(x))，若 (e(x) = b^2(x))，则在 (R_n) 中，(\mu(e(x)) = \mu(b^2(x)) \in \langle\mu( f (x))\rangle)。由此可得 (e(x) = u(x) f (x) + 2v(x))（在 (Z_4[x]) 中），对其平方有 (e^2(x) = u^2(x) f^2(x))，这表明 (e^2(x) \in \langle f (x)\rangle) 在 (R_n) 中。因为 (e(x)) 是 (R_n) 中的幂等元，所以 (e(x) \in \langle f (x)\rangle) 或者 (\langle e(x)\rangle \subseteq \langle f (x)\rangle)，进而得出 (\langle e(x)\rangle = \langle f (x)\rangle)，并且 (e(x) = b^2(x)) 是 (\langle f (x)\rangle) 的生成幂等元。
以 (x^7 - 1) 在 (Z_4[x]) 上的因式分解为例，(x^7 - 1 = g_1(x)g_2(x)g_3(x))，其中 (g_1(x) = x - 1)，(g_2(x) = x^3 + 2x^2 + x - 1)，(g_3(x) = x^3 - x^2 + 2x - 1)。我们要找到 (\langle\hat{g}i(x)\rangle)（(\hat{g}_i(x) = \sum{j\neq i} g_j(x))）在 (R_7) 中的生成幂等元。
- 首先，(\mu(\hat{g}_1(x
)
