finite field有限域 理解

1.群
（二元）运算：非空集合S，使得S×S映射到S上。
从整数集合的两种运算，可以推广到任意集合的运算。一个代数结构或代数系统是指一个集合和其上的代数运算。
初等算术中有两种运算：加法和乘法；其中两种运算符合结合律是最重要的一条性质。在各种有一个运算符合结合律代数系统中，群是发展和研究最广泛的。群理论是抽象代数中最古老和应用丰富的部分。
1.1群的定义
集合S和定义的二元运算（封闭）满足以下性质：
1）结合律；st，a(bc)=(ab)c
2）有单位元e；st，ae=ea=a
3）任一元有逆元a^-1；st，a^-1a=aa^-1=e
交换群，指运算满足交换律的群。
/容易验证：单位元与逆元唯一确定。
令e¹、e都为单位元，e¹=e¹e=e，即有唯一单位元。
令a‘,a’‘都为元a 的逆元，a"=(a’a)a’‘=a’(aa’‘)=a’，即有唯一单位元。
此外，定义(ab)^-1=b^-1a^-1.
结合律保证，$a_1,a_2,...,a_n$唯一确定。
/
1.2例子
1）整数加群：集合 $\mathbb{Z}$，定义运算整数加法
2）单位元群：集合{e}，定义运算ee=e;
3）模n的剩余类加群：集合{[0],[1],…,[n-1]} ,定义运算[a]+[b]=[a+b].

这些例子映出了一种有趣的群，每一个元素都是某一个元素的幂方。
1.3循环群的定义
当且仅当群中任一元素是是某一固定元素的幂方。这个固定的元称循环群的生成元，记作群$G=<a>$

1.4同余的定义：congruent
$a$ is congruent to $b$ modulo n, write $a\equiv b\text{mod}n$, 若差$a-b$是$n$的倍数，即$a=b+kn,k\in \mathbb{Z}$.

”模n同余“是等价关系，

1.5整数模n的群定义：形如$\{[0],[1],\cdots ,[n-1]\}$模n的等价类，在$[a]+[b]=[a+b]$的运算下。记作${\mathbb{Z}}_n$
${\mathbb{Z}}_n$实际上是一个循环群，等价类$[1]$是生成元，且群的阶为n。

1.6阶的定义：
有限群的阶：群中元素个数，记作$|G|$.

cayley表，通过检索，表中a行和b列的元素c，这个过程可看作映射$f:(a,b)\to c$.

1.10定理：若$H$是$G$的一个子群，$G$上的关系$R_H$定义为$(a,b)\in R_H$$⟺a=bh，\exists h\in H$ 是等价关系.
【证明：
等价关系$R_H$称为$H$的左陪集。同其他等价关系一样，它将$G$划分为非空的，不相交的子集。这些子集（等价类）称为$G模H$的左陪集，表示为$aH=ah:h\in H$或( a + H = { a + h : h ∈ H } a+H=\{a+h:h\in H\} a+H={a+h:h∈H}G中运算记为加法)。这里$a$是$G$中某一个固定的元。相似地，$G$可以分解称模$H$的右陪集。若$G$是一个交换群，则模$H$的左右陪集相等。
】

1.11例子：
令$G={\mathbb{Z}}_{12},H=\{[0],[3],[6],[9]]\}$，则不同的$G模H$的左陪集如下：
$$\begin{gathered} [0]+H=\{[0],[3],[6],[9]\}, \\ [1]+H=\{[1],[4],[7],[10]\}, \\ [2]+H=\{[2],[5],[8],[11]\} \end{gathered}$$

1.12定理：若$H$是$G$的有限子群，则$G$模$H$每个左（右）陪集，中的元素与$H$中相同，

1.13定义：$G$的子群$H$只产生有限个$G$模$H$的左陪集，则陪集的数量称为$H$在$G$上的指数,记为j。
因为，左陪集来自对$G$的划分，定理1.12暗含以下结论。

1.14定理：有限群$G$，$|G|=|H|\cdot j$,且$|H|$整除$|G|$,且$a\in G,|a|整除|G|$。
【证明，$G$中任一元a的阶整除$G$的阶.
$<a>$是$G$中元$a$的生成子群。又子群的阶整除G的阶。
】

1.15定理：
(i)循环群的子群是循环群；
(ii)有限循环群$<a>$的阶是m，元$a^k$生成的一个子群阶为$m/\text{gcd}(k,m)$；
【证明：$a^m=e$令$a^k$的阶为n，d=gcd(k,m).要证n=m/d
$(a^k{)}^n=e,(a^k{)}^n=a^{(kn)},则m|kn，又d|m,d|k,则m/d|kn/d，又m/d与k/d互素，则m/d|n.$n是满足条件最小的正整数。故n=m/d
】
(iii)令一有限循环群$<a>$阶为$m$，$d$是$m$的因子，则$<a>$有且只有一个指数为$d$的子群。任意正整数$f$为$m$的因子，$<a>$有且只有一个阶为f的子群。
【证明：
若
】
(iv)令f是一有限循环群$<a>$阶的正因子，则$<a>$又$\varphi (f)$个阶为f的元，$\varphi (f)$是欧拉数满足条件$n,st,1\le n\le f$，且n和f互素，n的个数。
(v)一个有限循环群$<a>$阶为m，其有$\varphi (m)$个生成元，即元$a^r,st,<a^r>=<a>$。这些生成元是$a^r,且\text{gcd}(r,m).$

1.16定义：从群$G$到群$H$的映射$f:G\to H$,若映射$f$保持在$G$下的运算，称$f$是$G$到$H$的同构映射。即，若$\ast ,\cdot$分别为$G$和$H$的代数运算，若$\forall a,b\in G,st,f(a\ast b)=f(a)\cdot f(b)$，则称$f$保持$G$下的运算。若在加法上，$f$是满射,$f$称为同态满射，并称$H$是$G$的同态满射的象。G到G的同态称为自同态。如果$f$是G到H的一一映射，称$f$是同构映射，称G与H同构，G到G的同构映射称为自同构
。
1.17（kernel）
核的定义：同态映射$f:G\to H$,将群G映射到H上，集合 ker f = { a ∈ G , f ( a ) = e ′ } . e ′ \text{ker} f=\{a\in G,f(a)=e'\}.e' kerf={a∈G,f(a)=e′}.e′是$H$的单位元。
同态映射f，所有使象为单位元的原象构成的集合。

1.18例子：对同态映射$f:\mathbb{Z}\to {\mathbb{Z}}_n,f(a)=[a]，\text{ker}f=<n>$.，$<n>$是群$\mathbb{Z}$由n生成的子群。
容易验证，$\text{ker}f$总是G的子群。此外，$\text{ker}f$有一个特殊的性质，$\forall a\in G,b\in \text{ker}f,\Rightarrow ,ab{a}^{-1}\in \text{ker}f$.

这引出了接下来的概念。
1.19定义：若$ah{a}^{-1}\in H,\forall a\in G,h\in H$,$G$的子群$H$称为$G$的不变子群。
每一个交换子群都是不变子群，因为$ah{a}^{-1}=a{a}^{-1}h=eh=h\in H$.
下面我们将阐述不变子群的一些其他表达。

1.20定理：
(i)$G$的子群$H$是规范(不变)子群$⟺H$等于它的共轭类或$⟺H$是不变的在G的所有内自同构下。???
(ii)$G$的子群$H$是规范(不变)子群$\iff$左陪集$aH=$右陪集$Ha,\forall a\in G$
不变子群的一个重要特点是，陪集的集合可以构成群结构。

1.21定理：如果$H$是$G$的不变子群，则GmodH的左陪集构成群，运算为$(aH)(bH)=(ab)H$.
1.22定义：
对$G$的不变子群$H$,$G$模$H$的左陪集在1.21定义的运算下构成群，称为$G\text{mod}H$的商群（因子群），表示为$G/H$

2 Ring and Fields

在大多数初等代数的代数系统中，有两种不同的二元运算：加法和乘法。如整数、有理数、实数。现在定义一种叫作环的代数结构和上面这些代数系统有相同的性质。
1.28环的定义： 记为$ring(R,+,\cdot )$
集合$R$，和集合上的两种二元运算，使得
1）$R$是一个加群；2）乘法结合律；3）两种分配律，成立。
我们用R表示环$(R,+,\cdot )$，并强调二元运算$+,\cdot$，不一定是数上的一般运算。在下面的约定中，我们用0（称为零元）表示加群的单位元，并用$-a$表示加法的逆元，并将$a+(-b)$缩写为$a-b$。通常用$ab$表示$a\cdot b$，根据环的定义，得到一般性质，$a0=0a=0\forall a\in R.$对应的，$(-a)b=a(-b)=-ab,\forall a,b\in R$.
环的最自然的例子是也许是普通整数构成的环，若我们验证环的性质，会发现它有一般环所不具有的性质，因此，环可以根据下面的定义进行分类。

1.29定义：
(i)有单位元的环的定义：环中有一个乘法单位元，即$\exists e\in R,st,ae=ea=a,\forall a\in R$；
(ii)交换环(commutative ring)：若环中乘法符合交换律；
(iii)整环(integral domain)的定义：有单位元的、无零因子的、交换的，环；
(iv)除环(division ring)的定义:$R$中的非零元构成群，称乘群；
(v)域(field)的定义：交换除环称为域。
因为我们主要研究域，再次强调这一观点。首先，一个域是集合$F$和定义在集合上的两个二元运算，称加法和乘法，并定义了两个不同的元0（零元）和1（单位元）且$\text{0}\ne e$。加法和乘法这两种运算通过分配律$a(b+c)=ab+ac,(b+c)a=ba+ca$联系在一起。第二个分配律是由乘法的交换性自然的得出的。此后，乘法单位元通常表示为1.
一个域没有零因子，因为若$ab=0且a\ne 0,\Rightarrow 由a^{-1}产生b=a^{-1}0=0$。

为了说明环概念的一般性，以下展示了一些例子。
1.30例子：
(i)令R是一个交换群，加法运算+。定义$ab=0,\forall a,b\in R$,则R是一个环。
【证明：环四条（加群、乘法封闭、乘法结合、两分配律）。
由已知，加群成立；乘法运算结果都为0，乘法封闭；$(ab)c=a(bc)=0,乘法结合；a(b+c)=ab+ac=0,(b+c)a=ba+ca=0,两分配律成立$，得证。
】
(ii)整数构成一个整环，但不是域。
【证明：环四条+有非零元+有单位元+非零元有逆+乘法交换。
显然，整数集合是一个整环。但除$\pm 1$ 外元没有逆元。
】
(iii)偶数构成一个没有单位元的交换环。
【证明：环四条+无单位元+乘法交换律。
显然。】
(iv)实数到实数的函数构成一个交换环，两运算定义为$(f+g)(x)=f(x)+g(x),(fg)(x)=f(x)g(x),x\in R$。
【证明：
加群：加法封闭$(f+g)(x)=f(x)+g(x)$,实数+实数=实数；加法结合$((f+g)+h)(x)=(f+g)(x)+h(x)=f(x)+g(x)+h(x)=(f+(g+h))(x)$；零元0；负元，$f(x)+f(-x)=f(-x)+f(x)=0$；加法交换$(f+g)(x)=f(x)+g(x)=g(x)+f(x)=(g+f)(x)$.
乘法封闭$fg(x)=f(x)g(x),实数\cdot 实数=实数$；
乘法结合$((fg)h)(x)=(fg)(x)h(x)=f(x)g(x)h(x)=(f(gh))(x)$;
乘法交换$fg(x)=f(x)g(x)=g(x)f(x)=gf(x)$.
】
(v)实数域上的2阶矩阵构成，有单位元的非交换环，运算即矩阵加法和乘法。

我们可以看到一个域是一个整环，在一般情况下不正确，反过来，在有限元素的情况下成立，如下。
1.31定理：每个有限整环都是一个域。
【证明：需证明，有非零元，非零元有逆。
整环有单位元1，显然整环有非零元。
令有限整环的元素为$a_1,a_2,\cdots ,a_n$.对一个非零元$a\in R$，考虑乘积$a{a}_1.a{a}_2,\cdots ,a{a}_n$。若 a a i = a a j , 则 a ( a i − a j ) = 0 , 由于 a ≠ 0 , 整环无零因子，则 a i − a j = 0 , 即 a i = a j ，逆否命题为 a i ≠ a j ⇒ a a i ≠ a a j ，故 a a 1 , a a 2 , ⋯   , a a n 为 n 个不同的元，而 a a i ∈ R ，故 { a 1 , a 2 , ⋯   , a n } = { a a 1 , a a 2 , ⋯   , a a n } ，每个元都可以写成 a a i 的形式故单位元 e = a a i , i ∈ {   1 , 2 , ⋯   , n } ，故每一个非零元 a ∈ R 都可以找到乘法逆元 a i aa_i=aa_j,则a(a_i-a_j)=0,由于a\ne 0,整环无零因子，则a_i-a_j=0,即a_i=a_j，逆否命题为a_i\ne a_j\Rightarrow aa_i\ne aa_j，故aa_1,aa_2,\cdots,aa_n为n个不同的元，而aa_i\in R，故\left\{a_1,a_2,\cdots,a_n\right\}=\left\{aa_1,aa_2,\cdots,aa_n\right\}，每个元都可以写成aa_i的形式故单位元e=aa_i,i\in\left\{\ 1,2,\cdots,n\right\}，故每一个非零元a\in R 都可以找到乘法逆元a_i aai​=aaj​,则a(ai​−aj​)=0,由于a=0,整环无零因子，则ai​−aj​=0,即ai​=aj​，逆否命题为ai​=aj​⇒aai​=aaj​，故aa1​,aa2​,⋯,aan​为n个不同的元，而aai​∈R，故{a1​,a2​,⋯,an​}={aa1​,aa2​,⋯,aan​}，每个元都可以写成aai​的形式故单位元e=aai​,i∈{ 1,2,⋯,n}，故每一个非零元a∈R都可以找到乘法逆元ai​ ,
又因为R是交换的，有$a_{i}a=e$，故$a_i$是a的乘法逆元。
因此，$R$的非零元构成一个交换群，故R是一个域。
】

1.32子环的定义：环$R$的一个子集$S$，在环$R$的$+,\cdot$运算下封闭，则称$S$为$R$的子环。

1.33理想的定义：环$R$的一个子集$J$，若$J$是一个子环且$\forall a\in J,r\in R$使得$ar\in J,ra\in J$，则称$J$是$R$的理想。

1.34例子：
(i)令$\mathbb{R}$是有理数域$\mathbb{Q}$，则整数集合$\mathbb{Z}$是$\mathbb{Q}$的子环，但不是一个理想。如$1\in \mathbb{Z},1/2\in \mathbb{Q}$但，$1/2\cdot 1=1/2\notin \mathbb{Z}$
(ii)令$R$是交换环，令$a\in R$， J = { r a : r ∈ R } J=\left\{ra:r\in R\right\} J={ra:r∈R},则$J$是一个理想。
【证明：（1）J是R的子环，根据子环的判定定理，需证$a,b\in S\Rightarrow a-b\in S,ab\in S$.
令$$\begin{gathered} l_1=r_{1}a,l_2=r_{2}a,l_1,l_2\in J,r_1,r_2\in R,l_1-l_2=(r_{1}a-r_{2}a)=(r_1-r_2)a,由于R是环，则(r_1-r_2)\in R，故(r_1-r_2)a\in J. \\ {l}_1{l}_2=r_{1}a{r}_{2}a由于R是交换环，左式=r_1{r}_{2}aa=(r_1{r}_{2}a)a，而(r_1{r}_{2}a)\in R,故(r_1{r}_{2}a)a\in J \end{gathered}$$.
(2)证明子环J是R的理想，需证明$\forall a\in J,r\in R$使得$ar\in J,ra\in J$.
由于R是交换环，令$\forall r\in R,j\in J\subset R,rj=jr\in R，又由（1）rj\in J.$】得证。
(iii)令$R$是一个交换环，给定一个元素a最小的理想

1.35主理想的定义：令$R$是一个交换环。当$R$中一个元a使得$J=(a)$，则称$J$是元a生成的主理想。
【证明：因为理想是环的加法群的不变子群，因此，环R的理想J定义了不相交陪集的划分，称为模J的剩余类。R模J的元a 的剩余类表示为$[a]=a+J$.因为它由所有形如$a+c,a\in R,c\in J$的元组成。
】

1.47定理：令$R$是一个有单位元的交换环。则
(i)R的一个理想M是一个最大理想$⟺R/M$是一个域。
(ii)
(iii)
(iv)

3多项式环

在初等代数多项式形如$a_0+a_{1}x+a_2{x}^2+\cdots +a_n{x}^n$.$a_i$称为系数，且通常是实数或复数，$x$看做变量，即用$\alpha$代替任意数$x$,得到一个良定义的数$a_0+a_1\alpha +a_2{\alpha }^2+\cdots +a_n{\alpha }^n$.多项式的算术有熟悉的法则。多项式的概念和相关运算可以推广到常见的代数集合。
令$R$是一个任意环。环$R$上的一个多项式，形如$f(x)=\sum _{i=0}^n{a}_i{x}^i=a_0+a_{1}x+\cdots +a_n{x}^n$,$n$是非负整数，系数$a_i,0\le i\le n$,是$R$中元素，且$x$是一个文字，不属于$R$，称$R$上的一个未定元。只要清楚未定元指什么，就可以用$f$作为多项式$f(x)$。

1.48多项式环的定义：$R$上的多项式和运算构成的环，称为$R$上的多项式环，表示为$R[x]$.
$R[x]$中的零元，是系数全为0的多项式，称为零多项式，表示为0。通过上下文，可以清晰的判断0代表$R$中的零元还是$R[x]$的零多项式。
1.49定义：令$f(x)=\sum _{i=0}^n{a}_i{x}^i$是$R$上的一个非零多项式，则$a_n\ne 0$.$a_n$称$f(x)$的首项系数，$a_0$是常数项，$n$是$f(x)$的阶，$n=\text{deg}(f(x))=\text{deg}(f)$.0的阶看作$-\infty$,$\text{deg}(0)=-\infty$.阶$\le 0$的多项式，称常数多项式。若$R$有单位元1且$f(x)$的最高项是1，则称$f(x)$是首1多项式。

通过计算两多项式首项系数的和和乘积，得到以下结果。
1.50定理：令$f,g\in R[x]$,则
$$\begin{gathered} \text{deg}(f+g)\le \text{max}(\text{deg}(f),\text{deg}(g)) \\ \text{deg}(fg)\le \text{deg}(f)+\text{deg}(g) \end{gathered}$$
若$R$是一个整环，则
$\text{deg}(fg)=\text{deg}(f)+\text{deg}(g)$
如果常数多项式，常数属于$R$，则$R$可被看作$R[x]$的子环。R中的一些性质可以传递到$R[x]$中。

1.51定理：令$R$是一个环，则
(i)$R[x]$是交换的$⟺$环$R$是交换的。
(ii)$R[x]$是一个有单位元的环$⟺$环$R$有单位元。
(iii)$R[x]$是一个整环$⟺R$是一个整环。

后面的章节我们将几乎专门讨论域上的多项式。令$F$表示一个域（不一定是有限的）。整除性的概念，当专门化到环$F[x]$时。一个多项式$g\in F[x]$整除多项式$f\in F[x]$如果存在多项式$h\in F[x]$使得 $f=gh$.我们也称$g$是$f$的除数，或$f$是$g$的倍数，或$f$整除$g$.$F[x]$的单位元是常数多项式1的因子，而常数多项式恰是所有非零常数多项式。

对于整数环，域上的多项式环存在一个带余除法。
1.52定理（Division Algorithm）：令$g\ne 0$是一个$F[x]$的多项式，则$\forall f\in F[x],\exists q,r\in F[x]$使得$f=qg+r,\text{deg}(r)\le \text{deg}(g)$。

4 域的扩张

令$F$是一个域。$F$的一个子集$K$在$F$的代数运算下构成一个域，称$K$是$F$的子域。在此背景下，称$F$是$K$的扩张或扩域。若$K\ne F$,$K$是$F$的真子域。
若$K$是一个有限域${\mathbb{F}}_p$的子域，$p$是素数，则$K$一定有0和1元，且${\mathbb{F}}_p$的所有元都是由$K$在加法下封闭构成的。
则${\mathbb{F}}_p$没有真子域，引出下面的概念。
1.77定义：一个域没有真子域，称为素域。

Chapter 2 Structure of Finite Fields

这一章非常重要，包含了有限域的各种基础知识和一种构造有限域的方法。
模素数的整数域是有限域中最常见的例子，它的许多性质可以扩展到任意有限域。有限域的特征（第一章中）表明，每个有限域都是素数次阶的，反之对于每一个素数阶存在一个有限域使它的元素个数恰好是这个素数。此外，具有相同元素的有限域是同构的，因此是可以完全区分的。接下来的两节，提供了不可约多项式根的信息，引出了将有限域解释为不可约多项式分裂域，以及迹、范数和与扩张的相关基的信息。
第4节从一般场论的观点来处理统一的根源，这在第6节和第5章偶尔会需要。 第5节介绍了表示有限域元素的不同方法。 第六节给出了著名的Wedderburn定理的两个证明，根据该定理，每个有限除环都是域。
本章许多论述，将在后面章节中继续并部分概括。
1 Characterization of Finite Fields
2.1引理。令F是一个有限域且包含一个子域K，K有$q$个元。则F有$q^m$个元，这里$m=[F:K]$.
【证明：

】