设 ${\mathbb{F}}_q$是有q个元素的有限域，其中q是一个素数的方幂。设K是 ${\mathbb{F}}_q$的一个扩张次数为n的扩域，将其记为 ${\mathbb{F}}_{q^n}$。将形如

$L\left(x\right)={\displaystyle \underset{i=0}{\overset{t}{\sum }}{a}_i}{x}^{q^i},t\in \mathbb{N},a_i\in {\mathbb{F}}_{q^n},$(1)

的多项式称为 ${\mathbb{F}}_{q^n}$上的线性化多项式。显然， $\forall x,y\in {\mathbb{F}}_{q^n}$， $a,b\in {\mathbb{F}}_q$， $L\left(ax+by\right)=aL\left(x\right)+bL\left(y\right)$，即线性化多项式 $L\left(x\right)$可以诱导出 ${\mathbb{F}}_{q^n}$上的 ${\mathbb{F}}_q$-线性变换。由于扩域 ${\mathbb{F}}_{q^n}$上的元素满足 $x^{q^n}-x=0$，故线性化多项式也可以被视为

$L\left(x\right)={\displaystyle \underset{i=0}{\overset{n-1}{\sum }}{a}_i}{x}^{q^i}\in {\mathbb{F}}_{q^n}\left[x\right]/\left(x^{q^n}-x\right).$(2)

记 ${\mathbb{F}}_{q^n}$上的全体形如(2)式的线性化多项式集合为 $\mathbb{L}\left({\mathbb{F}}_{q^n}\right)$，在 $\mathbb{L}\left({\mathbb{F}}_{q^n}\right)$中存在一类核为{0}的线性化多项式，称其为置换线性化多项式。换句话说，置换线性化多项式作为 ${\mathbb{F}}_{q^n}$上的线性变换是可逆的。

由于 ${\mathbb{F}}_{q^n}$也可以看作有限域 ${\mathbb{F}}_q$的n维线性空间，所以Carlitz在 [1] 中得出了 ${\mathbb{F}}_q$上的n阶矩阵与线性化多项式代数 $\mathbb{L}\left({\mathbb{F}}_{q^n}\right)$间的同构。Dickson进一步给出了 $\mathbb{L}\left({\mathbb{F}}_{q^n}\right)$与Dickson矩阵代数间的同构，这是一个极为重要的同构关系。近年来，许多学者通过“迹表示”对线性化多项式进行刻画，这种特殊的表示方法，最早是由林杉等在 [2] 中证明的，袁平之等借助林杉的结论在 [3] 中得到了置换多项式的充要条件。吴保峰等在 [4] 中借助Dickson矩阵的代数余子式给出了 $x^q+ax$型线性化多项式的逆。赵岩和林东岱在 [5] 中给出了 ${\mathbb{F}}_q$上的Dickson矩阵(即循环矩阵)可逆的充要条件，这一结论对于 ${\mathbb{F}}_q$上的线性化多项式核的刻画有着重要的意义。线性化多项式在密码学中有着重要应用，例如，Eli Ben-Sasson等学者通过满足条件的线性化多项式的解构造了一类新的循环子空间码。在构造子空间码的过程中，确定线性化多项式核的维数是十分重要的。

我们设 $\mathbb{L}\left({\mathbb{F}}_q\right)$是全体系数在 ${\mathbb{F}}_q$上的线性化多项式集合，则 $\mathbb{L}\left({\mathbb{F}}_q\right)$构成了 $\mathbb{L}\left({\mathbb{F}}_{q^n}\right)$的一个子代数。在本文中我们假设 ${\left\{{\beta }_i\right\}}_{i=0}^{n-1}$是一组给定的正规基，即 ${\beta }_i={\beta }^{q^i},0\le q\le n-1$，其中 $\beta$是 ${\mathbb{F}}_{q^n}$的本原元。在这组基下，得到了 $\mathbb{L}\left({\mathbb{F}}_q\right)$与 ${\mathbb{F}}_q$上的循环矩阵代数 $ℂ\left({\mathbb{F}}_q\right)$间的同构，从而给出 $\mathbb{L}\left({\mathbb{F}}_q\right)$上线性化多项式的核的循环矩阵刻画。通过整理赵岩等在 [5] 中的研究，我们进一步总结了 $\mathbb{L}\left({\mathbb{F}}_q\right)$中的线性化多项式在n与q互素和 $n=e{q}^k$的情况下置换多项式存在的条件(其中e和k都是整数且k与q互素)。关于 $\mathbb{L}\left({\mathbb{F}}_{q^n}\right)$，本文回顾了林杉等在 [2] 中对于 $\mathbb{L}\left({\mathbb{F}}_{q^n}\right)$上的线性化多项式的“迹表示”刻画，进一步通过“迹表示”及初等方法证明了Dickson的一个关于线性化置换多项式的知名判定法则。

本文安排如下：第一部分为导言，在第二部分我们总结了 $\mathbb{L}\left({\mathbb{F}}_q\right)$的部分刻画方法，在第三部分我们总结了 $\mathbb{L}\left({\mathbb{F}}_{q^n}\right)$的相关研究，第四部分为结束语。

首先我们回顾有限域中的重要定理，在此之前我们需要定义 ${\mathbb{F}}_q$上的循环矩阵。

若 ${\mathbb{F}}_q$上的矩阵C具有以下形式：

$C=\left(\begin{array}{cccc}{a}_0& a_1& \cdots & a_{n-1}\\ a_{n-1}& a_0& \cdots & a_{n-2}\\ ⋮& ⋮& & ⋮\\ a_1& a_2& \cdots & a_0\end{array}\right),a_i\in {\mathbb{F}}_q,$

我们称其为 ${\mathbb{F}}_q$上的循环矩阵。循环矩阵C总是可以被表示为

$C_{\mathbb{F}}=\left(\begin{array}{cccc}{a}_0& a_1& \cdots & a_{n-1}\\ a_{n-1}& a_0& \cdots & a_{n-2}\\ ⋮& ⋮& & ⋮\\ a_1& a_2& \cdots & a_0\end{array}\right)=P\left(J\right)={\displaystyle \underset{i=0}{\overset{n-1}{\sum }}{a}_i}{J}^i,a_i\in {\mathbb{F}}_q,$

其中J为

$J=\left(\begin{array}{cccc}0& 1& \cdots & 0\\ ⋮& ⋮& \ddots & ⋮\\ 0& 0& \cdots & 1\\ 1& 0& \cdots & 0\end{array}\right).$

称J为单位循环矩阵。

定理1 [6] ：设 ${\mathbb{F}}_{q^n}$为 ${\mathbb{F}}_q$的n次扩张，则存在 ${\mathbb{F}}_q$上的正规基 ${\left\{{\beta }_i\right\}}_{i=0}^{n-1}$，其中 ${\beta }_i={\beta }^{q^i},0\le q\le n-1$， $\beta$为 ${\mathbb{F}}_{q^n}$的本原元。

我们设 $L\left(x\right)={\displaystyle {\sum }_{i=0}^{n-1}{a}_i}{x}^{q^i}\in \mathbb{L}\left({\mathbb{F}}_q\right)$，由定理1我们可以选取正规基 ${\left\{{\beta }_i\right\}}_{i=0}^{n-1}$。根据线性代数知识， $L\left(x\right)$在这组基下的像可以表示为

$\left[\begin{array}{c}L\left(\beta \right)\\ L\left({\beta }^q\right)\\ ⋮\\ L\left({\beta }^{q^{n-1}}\right)\end{array}\right]=\left(\begin{array}{cccc}{a}_0& a_1& \cdots & a_{n-1}\\ a_{n-1}& a_0& \cdots & a_{n-2}\\ ⋮& ⋮& & ⋮\\ a_1& a_2& \cdots & a_0\end{array}\right)\left[\begin{array}{c}\beta \\ {\beta }^q\\ ⋮\\ {\beta }^{q^{n-1}}\end{array}\right]\triangleq C_{\mathbb{F}}\left[\begin{array}{c}\beta \\ {\beta }^q\\ ⋮\\ {\beta }^{q^{n-1}}\end{array}\right],$

即 $L\left(x\right)$在正规基下的矩阵为 $C_{\mathbb{F}}$，显然 $C_{\mathbb{F}}$是一个循环矩阵，同时满足

$\dim \left(\ker \left(L\left(x\right)\right)\right)=n-\dim \left(C_{\mathbb{F}}\right).$

接下来的定理就是显而易见的。

定理2 [6] ： $L\left(x\right)={\displaystyle {\sum }_{i=0}^{n-1}{a}_i}{x}^{q^i}\in \mathbb{L}\left({\mathbb{F}}_q\right)$是一个置换线性化多项式当且仅当 $C_{\mathbb{F}}$是非奇异的。

我们令 $ℂ\left({\mathbb{F}}_q\right)$为 ${\mathbb{F}}_q$上的全体循环矩阵 $C_{\mathbb{F}}$所组成的集合，在矩阵的加法及以 ${\mathbb{F}}_q$为数域的数乘运算下， $ℂ\left({\mathbb{F}}_q\right)$构成了一个 ${\mathbb{F}}_q$-线性空间，进一步结合通常的矩阵乘法， $ℂ\left({\mathbb{F}}_q\right)$构成了 ${\mathbb{F}}_q$-代数。Ore在 [7] 中定义了线性化多项式的复合乘法

$\begin{array}{c}{L}_1\left(x\right)\circ L_2\left(x\right)={\displaystyle \underset{i=0}{\overset{n-1}{\sum }}{a}_i}{\left({\displaystyle \underset{j=0}{\overset{n-1}{\sum }}{b}_j}{x}^{q^j}\right)}^{q^i}\\ ={\displaystyle \underset{i=0}{\overset{n-1}{\sum }}{\displaystyle \underset{j=0}{\overset{n-1}{\sum }}{a}_i}}{b}_j{x}^{q^{i+j}}\\ ={\displaystyle \underset{i=0}{\overset{n-1}{\sum }}\left({\displaystyle \underset{k=0}{\overset{n-1}{\sum }}{a}_k}{b}_{i-k}\right)x^{q^i}}.\end{array}$(3)

其中 $L_1\left(x\right)={\displaystyle {\sum }_{i=0}^{n-1}{a}_i}{x}^{q^i},L_2\left(x\right)={\displaystyle {\sum }_{j=0}^{n-1}{b}_j}{x}^{q^j}\in \mathbb{L}\left({\mathbb{F}}_q\right)$，在多项式加法以及上面的复合乘法运算下， $\mathbb{L}\left({\mathbb{F}}_q\right)$构成了 ${\mathbb{F}}_q$-代数，注意到下列运算，事实上证明了 $ℂ\left({\mathbb{F}}_q\right)$与 $\mathbb{L}\left({\mathbb{F}}_q\right)$的 ${\mathbb{F}}_q$-代数同构关系：

$\left(a_{j-i}\right)\left(b_{j-i}\right)=\left({\displaystyle \underset{k=0}{\overset{n-1}{\sum }}{a}_{k-i}}{b}_{j-k}\right)=\left({\displaystyle \underset{k=0}{\overset{n-1}{\sum }}{a}_k}{b}_{j-i-k}\right)=\left(c_{j-i}\right),$

其中， $a_i,b_i\in {\mathbb{F}}_q,0\le i\le n-1$， $c_i={\displaystyle {\sum }_{k=0}^{n-1}{a}_i}{b}_{i-k},0\le i\le n-1$。

从线性化多项式系数的角度出发，可以对定理2有更加深刻的认识，我们回顾赵岩等在 [5] 中给出的有限域中循环矩阵可逆的充分必要条件，从而得出 $\mathbb{L}\left({\mathbb{F}}_q\right)$上线性化多项式是置换线性化多项式的充要条件。为此先给出下面的定义：

定义：设 $L\left(x\right)={\displaystyle {\sum }_{i=0}^{n-1}{a}_i}{x}^{q^i}\in \mathbb{L}\left({\mathbb{F}}_q\right)$，称形如

$P\left(x\right)={\displaystyle \underset{i=0}{\overset{n-1}{\sum }}{a}_i}{x}^i,a_i\in {\mathbb{F}}_q$

的多项式为 $L\left(x\right)$的伴随多项式。

定义：设 $a_i\in {\mathbb{F}}_{q^n},0\le i\le n-1$称具有如下形式的矩阵为Dickson矩阵，记为 $D_L$。

$\left[\begin{array}{cccc}{a}_0& a_1& \cdots & a_{n-1}\\ a_{n-1}^q& a_0^q& \cdots & a_{n-2}^q\\ ⋮& ⋮& \ddots & ⋮\\ a_1^{q^{n-1}}& a_2^{q^{n-1}}& \cdots & a_0^{q^{n-1}}\end{array}\right],$

令 ${\mathcal{D}}_n\left({\mathbb{F}}_{q^n}\right)$为 ${\mathbb{F}}_{q^n}$上的全体Dickson矩阵 $D_L$所组成的集合，在矩阵的加法及以 ${\mathbb{F}}_q$为数域的数乘运算下， ${\mathcal{D}}_n\left({\mathbb{F}}_{q^n}\right)$构成了一个 ${\mathbb{F}}_q$-线性空间。

引理8 [6] ：我们称 ${\mathbb{F}}_{q^n}$上的多项式函数 $y\left(x\right)=x+x^q+x^{q^2}+\cdots +x^{q^{n-1}}$为迹函数，记为 $\text{tr}\left(x\right)$，则迹函数 $\text{tr}\left(x\right)$是一个从 ${\mathbb{F}}_{q^n}$到 ${\mathbb{F}}_q$上的线性映射。

引理8是显然的，因为对于 ${\mathbb{F}}_{q^n}$中的任意元素x，迹函数总是满足 $\text{tr}\left(x\right)=\text{tr}\left(x^q\right)$。

定理9 [5] ：设 $L\left(x\right)\in \mathbb{L}\left({\mathbb{F}}_{q^n}\right)$， ${\left\{{\omega }_i\right\}}_{i=0}^{n-1}$为 ${\mathbb{F}}_{q^n}$关于 ${\mathbb{F}}_q$的任一组给定基，则存在唯一确定的系数 ${\left\{{\theta }_i\right\}}_{i=0}^{n-1}\subseteq {\mathbb{F}}_{q^n}$，使得

$L\left(x\right)={\displaystyle \underset{i=0}{\overset{n-1}{\sum }}\text{tr}}\left({\omega }_{i}x\right){\theta }_i.$

证明：我们设 $L\left(x\right)={\displaystyle {\sum }_{i=0}^{n-1}{a}_i}{x}^{p^i}\in \mathbb{L}\left({\mathbb{F}}_{q^n}\right)$，由 [6] 中的定理2.38可知， $\left[\begin{array}{cccc}{\omega }_0& {\omega }_1& \cdots & {\omega }_{n-1}\\ {\omega }_0^q& {\omega }_1^q& \cdots & {\omega }_{n-1}^q\\ ⋮& ⋮& \ddots & ⋮\\ {\omega }_0^{q^{n-1}}& {\omega }_1^{q^{n-1}}& \cdots & {\omega }_{n-1}^{q^{n-1}}\end{array}\right]$可逆，因此这组系数 ${\left\{a_i\right\}}_{i=0}^{n-1}$在基 ${\left\{{\omega }_i\right\}}_{i=0}^{n-1}$下有以下分解

$\left[a_0,a_1,\cdots ,a_{n-1}\right]=\left[{\theta }_0,{\theta }_1,\cdots ,{\theta }_{n-1}\right]\left[\begin{array}{cccc}{\omega }_0& {\omega }_0^q& \cdots & {\omega }_0^{q^{n-1}}\\ {\omega }_1& {\omega }_1^q& \cdots & {\omega }_1^{q^{n-1}}\\ ⋮& ⋮& \ddots & ⋮\\ {\omega }_{n-1}& {\omega }_{n-1}^q& \cdots & {\omega }_{n-1}^{q^{n-1}}\end{array}\right].$

其中 ${\left\{{\theta }_i\right\}}_{i=0}^{n-1}\subseteq {\mathbb{F}}_{q^n}$存在，从而

$\begin{array}{c}L\left(x\right)={\theta }_0\left({\omega }_{0}x+{\left({\omega }_{0}x\right)}^q+\cdots +{\left({\omega }_{0}x\right)}^q{}^{{}^{n-1}}\right)\\ +{\theta }_1\left({\omega }_{1}x+{\left({\omega }_{1}x\right)}^q+\cdots +{\left({\omega }_{1}x\right)}^q{}^{{}^{n-1}}\right)\\ +\cdots \\ +{\theta }_{n-1}\left({\omega }_{n-1}x+{\left({\omega }_{n-1}x\right)}^q+\cdots +{\left({\omega }_{n-1}x\right)}^q{}^{{}^{n-1}}\right).\end{array}$

即 $L\left(x\right)={\displaystyle {\sum }_{i=0}^{n-1}\text{tr}}\left({\omega }_{i}x\right){\theta }_i$，我们称这种表示形式为线性化多项式的迹表示。

设 ${\left\{{\omega }_i\right\}}_{i=0}^{n-1}$是 ${\mathbb{F}}_{q^n}$在 ${\mathbb{F}}_q$上的一组基，根据定理9， $L\left(x\right)\in \mathbb{L}\left({\mathbb{F}}_{q^n}\right)$可以在这组基下被表示为

$\begin{array}{c}\left[L\left({\omega }_0\right),L\left({\omega }_1\right),\cdots ,L\left({\omega }_{n-1}\right)\right]=\left[{\theta }_0,{\theta }_1,\cdots ,{\theta }_{n-1}\right]\left[\begin{array}{cccc}\text{tr}\left({\omega }_0{\omega }_0\right)& \text{tr}\left({\omega }_1{\omega }_0\right)& \cdots & \text{tr}\left({\omega }_{n-1}{\omega }_0\right)\\ \text{tr}\left({\omega }_0{\omega }_1\right)& \text{tr}\left({\omega }_1{\omega }_1\right)& \cdots & \text{tr}\left({\omega }_{n-1}{\omega }_1\right)\\ ⋮& ⋮& \ddots & ⋮\\ \text{tr}\left({\omega }_0{\omega }_{n-1}\right)& \text{tr}\left({\omega }_1{\omega }_{n-1}\right)& \cdots & \text{tr}\left({\omega }_{n-1}{\omega }_{n-1}\right)\end{array}\right]\\ \triangleq \left[{\theta }_0,{\theta }_1,\cdots ,{\theta }_{n-1}\right]W.\end{array}$(4)

由引理8可知，(4)式中的矩阵W是 ${\mathbb{F}}_q$上的矩阵。由 [6] 中的定理2.37可以得到，W在 ${\mathbb{F}}_q$上是非奇异的，因此借助(4)式可以证明袁平之等在 [3] 中提出的以下定理：

引理10 [3] ：设 $L\left(x\right)\in \mathbb{L}\left({\mathbb{F}}_{q^n}\right)$， ${\left\{{\omega }_i\right\}}_{i=0}^{n-1}$为 ${\mathbb{F}}_{q^n}$关于 ${\mathbb{F}}_q$的任一组给定基，且 $L\left(x\right)={\displaystyle {\sum }_{i=0}^{n-1}\text{tr}}\left({\omega }_{i}x\right){\theta }_i$，则 $L\left(x\right)$为置换线性化多项式当且仅当 ${\left\{{\theta }_i\right\}}_{i=0}^{n-1}$为 ${\mathbb{F}}_{q^n}$关于 ${\mathbb{F}}_q$的一组基。

证明： ${\left\{{\theta }_i\right\}}_{i=0}^{n-1}$作为 ${\mathbb{F}}_q$上的向量组，可以在基 ${\left\{{\omega }_i\right\}}_{i=0}^{n-1}$下被表示为

$\left[{\theta }_0,{\theta }_1,\cdots ,{\theta }_{n-1}\right]=\left[{\omega }_0,{\omega }_1,\cdots ,{\omega }_{n-1}\right]\left[\begin{array}{cccc}{\theta }_{00}& {\theta }_{01}& \cdots & {\theta }_{0n-1}\\ {\theta }_{10}& {\theta }_{11}& \cdots & {\theta }_{1n-1}\\ ⋮& ⋮& \ddots & ⋮\\ {\theta }_{n-10}& {\theta }_{n-11}& \cdots & {\theta }_{n-1n-1}\end{array}\right]\triangleq \left[{\omega }_0,{\omega }_1,\cdots ,{\omega }_{n-1}\right]\Theta .$(5)

即(5)中的矩阵 $\Theta$是向量组 ${\left\{{\theta }_i\right\}}_{i=0}^{n-1}$在 ${\mathbb{F}}_q$上的分量矩阵。由(4)可知，(5)还可以被表示为

$\left[L\left({\omega }_0\right),L\left({\omega }_1\right),\cdots ,L\left({\omega }_{n-1}\right)\right]=\left[{\omega }_0,{\omega }_1,\cdots ,{\omega }_{n-1}\right]\Theta W,$

从而

$\dim \left(\ker \left(L\left(x\right)\right)\right)=n-\dim \left(\Theta \right),$

则引理结论可得。

根据 [2] 中的定理2.38，可以得到以下关系

$n-\dim \left(\ker \left(L\left(x\right)\right)\right)=\dim \left(\mathrm{Im}\left(L\left(x\right)\right)\right)=\dim \left(\Theta \right)=\dim \left(\left[{\theta }_0,{\theta }_1,\cdots ,{\theta }_{n-1}\right]\right)=\dim \left(\left[\begin{array}{cccc}{\theta }_0& {\theta }_1& \cdots & {\theta }_{n-1}\\ {\theta }_0{}^q& {\theta }_1{}^q& \cdots & {\theta }_{n-1}^q\\ ⋮& ⋮& \ddots & ⋮\\ {\theta }_0{}^{q^{n-1}}& {\theta }_1{{}^q}^{{}^{n-1}}& \cdots & {\theta }_{n-1}^{q^{n-1}}\end{array}\right]\right).$(6)

通过以上结论，我们可以用初等方法证明吴保峰等学者提出的命题。

定理11 [4] ：设 $L\left(x\right)={\displaystyle {\sum }_{i=0}^{n-1}{a}_i}{x}^{p^i}\in \mathbb{L}\left({\mathbb{F}}_{q^n}\right)$， ${\left\{{\omega }_i\right\}}_{i=0}^{n-1}$为 ${\mathbb{F}}_{q^n}$关于 ${\mathbb{F}}_q$的任一组给定基，且存在唯一的一组系数 ${\left\{{\theta }_i\right\}}_{i=0}^{n-1}\subseteq {\mathbb{F}}_{q^n}$，使得 $L\left(x\right)={\displaystyle {\sum }_{i=0}^{n-1}\text{tr}}\left({\omega }_{i}x\right){\theta }_i$，且满足

$\dim \left(\mathrm{Im}\left(L\left(x\right)\right)\right)=\dim \left(\left[\begin{array}{cccc}{\theta }_0& {\theta }_1& \cdots & {\theta }_{n-1}\\ {\theta }_0^q& {\theta }_1^q& \cdots & {\theta }_{n-1}^q\\ ⋮& ⋮& \ddots & ⋮\\ {\theta }_0^{q^{n-1}}& {\theta }_1^{q^{n-1}}& \cdots & {\theta }_{n-1}^{q^{n-1}}\end{array}\right]\right)=\dim \left(\left[\begin{array}{cccc}{a}_0& a_1& \cdots & a_{n-1}\\ a_{n-1}^q& a_0^q& \cdots & a_{n-2}^q\\ ⋮& ⋮& \ddots & ⋮\\ a_1^{q^{n-1}}& a_2^{q^{n-1}}& \cdots & a_0^{q^{n-1}}\end{array}\right]\right).$(7)

证明：不妨先考虑(7)中等式右侧Dickson矩阵 $D_L$的第一行，由 $L\left(x\right)={\displaystyle {\sum }_{i=0}^{n-1}\text{tr}\left({\omega }_{i}x\right){\theta }_i}={\displaystyle {\sum }_{i=0}^{n-1}{a}_i}{x}^{q^i}$可以得到

$\left[a_0,a_1,\cdots ,a_{n-1}\right]=\left[{\theta }_0,{\theta }_1,\cdots ,{\theta }_{n-1}\right]\left[\begin{array}{cccc}{\omega }_0& {\omega }_0^q& \cdots & {\omega }_0^{q^{n-1}}\\ {\omega }_1& {\omega }_1^q& \cdots & {\omega }_1^{q^{n-1}}\\ ⋮& ⋮& \ddots & ⋮\\ {\omega }_{n-1}& {\omega }_{n-1}^q& \cdots & {\omega }_{n-1}^{q^{n-1}}\end{array}\right],$(8)

再考虑 $D_L$的第二行

$\left[a_0^q,a_1^q,\cdots ,a_{n-1}^q\right]=\left[{\theta }_0^q,{\theta }_1^q,\cdots ,{\theta }_{n-1}^q\right]\left[\begin{array}{cccc}{\omega }_0^q& {\omega }_0^{q^2}& \cdots & {\omega }_0\\ {\omega }_1^q& {\omega }_1^{q^2}& \cdots & {\omega }_1\\ ⋮& ⋮& \ddots & ⋮\\ {\omega }_{n-1}^q& {\omega }_{n-1}^{q^2}& \cdots & {\omega }_{n-1}\end{array}\right],$

从而得到

$\left[a_{n-1}^q,a_0^q,\cdots ,a_{n-2}^q\right]=\left[{\theta }_{n-1}^q,{\theta }_0^q,\cdots ,{\theta }_{n-2}^q\right]\left[\begin{array}{cccc}{\omega }_0& {\omega }_0^q& \cdots & {\omega }_0^{q^{n-1}}\\ {\omega }_1& {\omega }_1^q& \cdots & {\omega }_1^{q^{n-1}}\\ ⋮& ⋮& \ddots & ⋮\\ {\omega }_{n-1}& {\omega }_{n-1}^q& \cdots & {\omega }_{n-1}^{q^{n-1}}\end{array}\right],$

以此类推

$\left[\begin{array}{cccc}{a}_0& a_1& \cdots & a_{n-1}\\ a_{n-1}^q& a_0^q& \cdots & a_{n-2}^q\\ ⋮& ⋮& \ddots & ⋮\\ a_1^{q^{n-1}}& a_2^{q^{n-1}}& \cdots & a_0^{q^{n-1}}\end{array}\right]=\left[\begin{array}{cccc}{\theta }_0& {\theta }_1& \cdots & {\theta }_{n-1}\\ {\theta }_0{}^q& {\theta }_1{}^q& \cdots & {\theta }_{n-1}^q\\ ⋮& ⋮& \ddots & ⋮\\ {\theta }_0{}^{q^{n-1}}& {\theta }_1{{}^q}^{{}^{n-1}}& \cdots & {\theta }_{n-1}^{q^{n-1}}\end{array}\right]\left[\begin{array}{cccc}{\omega }_0& {\omega }_0^q& \cdots & {\omega }_0^{q^{n-1}}\\ {\omega }_1& {\omega }_1^q& \cdots & {\omega }_1^{q^{n-1}}\\ ⋮& ⋮& \ddots & ⋮\\ {\omega }_{n-1}& {\omega }_{n-1}^q& \cdots & {\omega }_{n-1}^{q^{n-1}}\end{array}\right].$

根据 [2] 中的定理2.38，由基 ${\left\{{\omega }_i\right\}}_{i=0}^{n-1}$组成的矩阵 $\left[\begin{array}{cccc}{\omega }_0& {\omega }_0^q& \cdots & {\omega }_0^{q^{n-1}}\\ {\omega }_1& {\omega }_1^q& \cdots & {\omega }_1^{q^{n-1}}\\ ⋮& ⋮& \ddots & ⋮\\ {\omega }_{n-1}& {\omega }_{n-1}^q& \cdots & {\omega }_{n-1}^{q^{n-1}}\end{array}\right]$是可逆的，因此可以得到

$\dim \left(\left[\begin{array}{cccc}{\theta }_0& {\theta }_1& \cdots & {\theta }_{n-1}\\ {\theta }_0{}^q& {\theta }_1{}^q& \cdots & {\theta }_{n-1}^q\\ ⋮& ⋮& \ddots & ⋮\\ {\theta }_0{}^{q^{n-1}}& {\theta }_1{{}^q}^{{}^{n-1}}& \cdots & {\theta }_{n-1}^{q^{n-1}}\end{array}\right]\right)=\dim \left(\left[\begin{array}{cccc}{a}_0& a_1& \cdots & a_{n-1}\\ a_{n-1}^q& a_0^q& \cdots & a_{n-2}^q\\ ⋮& ⋮& \ddots & ⋮\\ a_1^{q^{n-1}}& a_2^{q^{n-1}}& \cdots & a_0^{q^{n-1}}\end{array}\right]\right).$

通过定理11，我们可以得到 [5] 中的结论。

推论12 [5] ： $L\left(x\right)\in \mathbb{L}\left({\mathbb{F}}_{q^n}\right)$是置换线性化多项式，当且仅当其诱导产生的Dickson矩阵是非奇异的。

定理13 [5] ：

${\mathcal{D}}_n\left({\mathbb{F}}_{q^n}\right)\cong \mathbb{L}\left({\mathbb{F}}_{q^n}\right).$

证明：定理12说明， ${\mathcal{D}}_n\left({\mathbb{F}}_{q^n}\right)$与 $\mathbb{L}\left({\mathbb{F}}_{q^n}\right)$向量空间同构。进一步结合通常的矩阵乘法， ${\mathcal{D}}_n\left({\mathbb{F}}_{q^n}\right)$构成了 ${\mathbb{F}}_q$-代数。在代数 $\mathbb{L}\left({\mathbb{F}}_{q^n}\right)$中定义的复合乘法下，显然也构成了 ${\mathcal{D}}_n\left({\mathbb{F}}_{q^n}\right)$与 $\mathbb{L}\left({\mathbb{F}}_{q^n}\right)$的 ${\mathbb{F}}_q$-代数同构关系，证明类似于 $ℂ\left({\mathbb{F}}_q\right)$与 $\mathbb{L}\left({\mathbb{F}}_q\right)$的 ${\mathbb{F}}_q$-代数同构。

本文首先回顾了 ${\mathbb{F}}_q$上的线性化多项式代数 $\mathbb{L}\left({\mathbb{F}}_q\right)$的一些刻画，借助这些刻画，总结了这类多项式中是置换多项式的条件。我们还研究了 ${\mathbb{F}}_{q^n}$上的线性化多项式的“迹表示”，并通过“迹表示”再次证明了Dickson提出的重要结论。线性化多项式对应的Dickson矩阵在研究某些问题时非常重要，例如在 [4] 中，吴保峰等借助由线性化多项式诱导生成的Dickson矩阵，得到了 $x^q+ax$型线性化多项式的逆。我们还在考虑能否借助Dickson矩阵得到更高阶线性化多项式的逆，从而解决极大秩距离码研究中遇到的一些问题。

“中国民航大学大学生创新创业训练计划项目”，项目编号为“IECAUC2022063”；“天津市普通高等学校本科教学质量与教学改革研究重点项目”，项目编号为“A231005903”。