跳到主要内容

千葉大学 理学研究科 基盤理学専攻 数学・情報数理学コース 2015年8月実施 専門 B12

Author

祭音Myyura (co-authored with GPT 6 Astra)

Description

α\alphaX6+X+1X^6+X+1 の根とし、F64=F2(α)\mathbb F_{64}=\mathbb F_2(\alpha) とする。次の多項式を考える。

f(X)=X8+(α4+α)X4+(α5+α2+1)X2+(α5+α3+α2)X.f(X)=X^8+(\alpha^4+\alpha)X^4+(\alpha^5+\alpha^2+1)X^2+(\alpha^5+\alpha^3+\alpha^2)X.

C={aF64:f(a)=0}C=\{a\in\mathbb F_{64}:f(a)=0\} とおく。

(1) CCF2\mathbb F_2 上の線形符号であることを示せ。

(2) i=05ciαi(c0,,c5)\sum_{i=0}^5c_i\alpha^i\leftrightarrow(c_0,\ldots,c_5)F64\mathbb F_{64}F26\mathbb F_2^6 を同一視する。CC[6,k][6,k] 符号としたとき kk を求めよ。

(3) k×6k\times6 の生成行列を一つ求めよ。

题目描述

F64=F2(α)\mathbb F_{64}=\mathbb F_2(\alpha),其中 α6+α+1=0\alpha^6+\alpha+1=0,定义

f(X)=X8+(α4+α)X4+(α5+α2+1)X2+(α5+α3+α2)X,C={a:f(a)=0}.f(X)=X^8+(\alpha^4+\alpha)X^4+(\alpha^5+\alpha^2+1)X^2+(\alpha^5+\alpha^3+\alpha^2)X, \qquad C=\{a:f(a)=0\}.

(1) 证明 CC 是二元线性码。

(2) 以基 1,α,,α51,\alpha,\ldots,\alpha^5 对应到 F26\mathbb F_2^6,求其维数 kk

(3) 给出一个 k×6k\times6 生成矩阵。

Kai

(1)

標数 22 では (a+b)2j=a2j+b2j(a+b)^{2^j}=a^{2^j}+b^{2^j} なので f(a+b)=f(a)+f(b)f(a+b)=f(a)+f(b)。また f(ca)=cf(a)f(ca)=cf(a)cF2c\in\mathbb F_2)。従って ffF2\mathbb F_2 線形写像であり、C=kerfC=\ker f は線形符号である。

(2)

α6=α+1\alpha^6=\alpha+1 を用いて計算すると

af(a)1α4+α3+ααα5+α3+1α2α5+α4+α+1α3α3+α+1α4α5+α4+α3α5α5+α\begin{array}{c|l} a&f(a)\\\hline 1&\alpha^4+\alpha^3+\alpha\\ \alpha&\alpha^5+\alpha^3+1\\ \alpha^2&\alpha^5+\alpha^4+\alpha+1\\ \alpha^3&\alpha^3+\alpha+1\\ \alpha^4&\alpha^5+\alpha^4+\alpha^3\\ \alpha^5&\alpha^5+\alpha \end{array}

従って線形性により

u=1+α+α2,v=1+α+α3+α4,w=α+α3+α5u=1+\alpha+\alpha^2,\qquad v=1+\alpha+\alpha^3+\alpha^4,\qquad w=\alpha+\alpha^3+\alpha^5

はいずれも CC に属する。u,v,wu,v,w は、それぞれ α2,α4,α5\alpha^2,\alpha^4,\alpha^5 の係数を見ると線形独立である。よって dimC3\dim C\ge3

一方、零でない次数 88 の多項式 ff は体内に高々 88 個の根しか持たない。C=2k8|C|=2^k\le8 なので k3k\le3。従って k=3k=3

(3)

上の基底を行ベクトルとして並べれば

G=(111000110110010101)G=\begin{pmatrix} 1&1&1&0&0&0\\ 1&1&0&1&1&0\\ 0&1&0&1&0&1 \end{pmatrix}

が求める生成行列である。