有限域
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\)两个元素