伽罗华有限域_信息论与编码：有限域

有限域

1. 群

1.1 基本概念

定义：一个集合\(G\)以及定义在集合\(G\)上的二元运算 \(*\) 称为群(group)，若满足以下条件：

\(*\) 运算满足结合律

\(G\)有单位元

对于任意\(a \in G\)，\(a\)有逆元

若群上的运算满足交换律，则称该群为可交换群或阿贝尔群。

群是一个二元组\((G, *)\)，有时候为了方便就直接用\(G\)表示群。

定义：群\(G\)称为有限群，若群中的元素数量是有限的；对于有限群，元素数量称作群的阶(order)，记作\(\left|G\right|\)。

有限群可以通过凯莱表(Cayley table)来描述。

1.2 有限群

加法群：\(G = \left\{0, 1, \dots, m-1\right\}\)在模\(m\)加法下构成有限群，记作\((G, +)\)。

乘法群：\(G = \left\{1, \dots, p-1\right\}\)在模\(p\)乘法下构成有限群，其中\(p\)为素数，记作\((G, \cdot)\)。

定义：对于一个群\(\left(G, *\right)\)，若存在\(a \in G\)使得\(G = \left\{a^{i}|i \in \mathbb{Z}\right\}\)，则称\((G, *)\)是循环群。我们只考虑有限循环群，对任意素数\(p\)，模\(p\)整数乘法群都是循环群。

定义：对于群\(\left(G, *\right)\)，若存在一个\(G\)的非空子集\(H\)，使得\(\left(H, *\right)\)构成一个群，则称\((H, *)\)是\((G, *)\)的一个子群(subgroup)。

根据定义，若\(H\)是\(G\)的子群，则\(e \in H\)。\(\left\{e\right\}\)和\(G\)是\(G\)的平凡子群(trivial subgroup)。

定义：\(H\)是\(G\)的子群，\(a \in G\)，定义\(a * H = \left\{a*h\mid h \in H\right\}\)，\(H * a = \left\{h*a\mid h \in H\right\}\)，称\(a * H\)和\(H * a\)分别是\(H\)的左陪集和右陪集(left and right cosets)。可交换群的左右陪集相同。

拉格朗日定理：\(G\)是有限群，\(H\)是\(G\)的子群，\(\left|G\right| = n, \left|H\right| = m\)，则\(m \mid n\)。\(H\)在\(G\)中不同的陪集的数量是\(n/m\)，\(H\)的所有陪集构成的集族是\(G\)的一个划分(partition)。

2. 域

2.1 基本概念

首先我们给出环(ring)的定义：

定义：\(\mathcal{R}\)是一个集合， \(+\) 和 \(\cdot\) 是定义在\(\mathcal{R}\)上的两个二元运算，分别称作加法和乘法，\((\mathcal{R}, +, \cdot)\)称为环(ring)，若满足：

\((\mathcal{R}, +)\)构成一个阿贝尔群，\((\mathcal{R}, +)\)的单位元记为\(0\)

\((\mathcal{R}, \cdot)\)构成一个幺半群(即\(\mathcal{R}\)在 \(\cdot\) 运算下封闭，存在单位元，且 \(\cdot\) 满足结合律)，\((\mathcal{R}, \cdot)\)的单位元记为\(1\)

对于任意\(a, b, c \in \mathcal{R}\)，\(a \cdot (b + c) = a \cdot b + a \cdot c\)，即乘法对加法满足分配律

定义：\(F\)是一个集合， \(+\) 和 \(\cdot\) 是定义在\(F\)上的两个二元运算，分别称作加法和乘法。\((F, +, \cdot)\)称为域(field)，若满足：

\((F, +, \cdot)\)构成一个环，且\(0\)和\(1\)是不同的元素

\((F - \left\{0\right\}, \cdot)\)构成可交换群

显然，一个域至少要包含\(0\)和\(1\)两个元素