《代数学基础与有限域》/第一章/ 1.1群

《代数学基础与有限域》

1.1 群

群是一种代数结构，它由一个集合以及一个二元运算组成，这个二元运算通常被称为群运算。这个二元运算必须满足以下四个条件，才能使得这个代数结构成为一个群：
封闭性：对于群中的任意两个元素，它们的群运算结果也必须属于这个群。
结合律：群运算必须满足结合律，即对于群中的任意三个元素$a$、$b$、$c$，有$(a•b)•c=a•(b•c)$。
单位元素：群中必须存在一个元素$e$，称为单位元素，满足对于任意群中的元素$a$，有$a•e=e•a=a$。
逆元素：对于群中的任意元素a，必须存在一个元素$a^{\prime }$，称为$a$的逆元素，使得$a•a^{\prime }=a^{\prime }•a=e$。其中，$e$表示群的单位元素，$a^{\prime }$表示元素$a$的逆元素。

对称群：由一组有限的对象的全体置换构成的集合，群运算为置换的复合，单位元素为恒等置换，逆元素为逆置换。该群满足封闭性、结合律、单位元素和逆元素的条件。
矩阵群：由所有n×n可逆实矩阵构成的集合，群运算为矩阵的乘法，单位元素为单位矩阵，逆元素为矩阵的逆。该群满足封闭性、结合律、单位元素和逆元素的条件。

群的阶指的是一个群中元素的个数，记作$|G|$。一个群中的元素可以是数字、函数、矩阵或其他类型的对象，群的阶等于群中元素的个数。

阶的应用：

• 对于一个有限群，如果知道了它的阶，可以使用群的阶定理来推断它的一些性质，比如是否是循环群或交错群等。
• 当使用一个具有非常大阶的群来加密消息时，一个攻击者要想通过暴力搜索来破解密码，需要计算大量的离散对数，这是一个非常耗时的过程。因此，选择一个合适的阶可以增加密码攻击者破解密码的困难程度，从而提高密码的安全性。
  ​
  $F_{19}$椭圆曲线$y^2=x^3+x+1$上方程：,则上的点一共有23个，因此阶是23，其中的元素分别是$(0,1)，(0,18)，（2,7），（2,12），（5,6），（5,13），（7,3），（7,16），（9,6），（9,13），（10,2），（10,17），（13,8），（13,11），（14,2），（14,17），（15,3），（15,16），（16,3），（16,16)$
  在现实应用中，加密系统选择的阶尽可能的大，GM/T003国标推荐曲线的阶
  $$n=FFFFFFFEFFFFFFFFFFFFFFFFFFFFFFFF7203DF6B21C6052B53BBF40939D54123$$
  

对于一个群$G$中的元素$g$，如果存在正整数$n$，使得$g$的$n$次方等于单位元$e$，则称$g$的阶为$n$，记作$ord(g)=n$。否则，称$a$是无限阶的元素。

有限阶
对于有限群中的元素，它的阶一定是一个有限正整数。换句话说，对于有限群 $G$ 中的每个元素 $g$，都存在一个正整数 $n$ 使得 $g$ 的$n$次方等于单位元，而且这个 $n$ 是有限的。因此，有限群中的元素都是有限阶的元素。
无限阶
而对于无限群中的元素，它的阶可能是无限大。例如，整数集合$(Z，+)$构成一个无限群，对于其中的任意一个非零元素$k$，其阶为无限大。因为对于任何正整数$n$，$nk\ne 0$，因此k的阶不可能是有限的。$(Z，+)包含有限阶和无限阶的元素$

定理：设$a$是群$G$中的一个有限阶元素，$ord(a)=m$,则对任意的整数$k$, $a^k$的阶为 $m/(k,m)$, 其中$（k,m)$表示$k$和$m$的最大因子。

定理 设$a$, $b$ 是群G中的两个元素，$ab=ba$。 如果$(o(a),o(b))=1$, 那么$o(ab)=o(a)\cdot o(b)$。

定理 设$G$是一有限交换群，$n$是$G$中元素的最大阶，则$G$中任意元素的阶一定能够整除$n$。

等价关系是指具有以下三个性质的关系：
自反性：对于任意的元素 $a$，$a$ 与自己相等，即 $a$ ~ $a$。
对称性：对于任意的元素 $a$ 和 b，如果 $a$ 与 b 相等，则 b 与 $a$ 相等，即如果 a ~ b，则 b ~ a。
传递性：对于任意的元素 a、b 和 c，如果 a 与 b 相等，b 与 c 相等，则 a 与 c 相等，即如果 a ~ b 且 b ~ c，则 a ~ c。

同余定义 假设$n$是一个正整数，对任何整数$a$，$b$，如果$n|(a-b)$，我们则称a和b模n(或 mod n)同余，记做$a\equiv bmodn$ 。$n$称为这个同余式的模.

定理 如果$H$是群$G$的一个子群，则$G$上的关系
$R_H:(a，b)\in R_H\iff a=bh$(对某个$h\in H$)是一个等价关系.

上述关系称为模$H$的左同余，同样有模$H$的右同余关系，等价类$aH$或$Hb$称为左陪集(left coset)或右陪集(right coset).

例子：$G=Z_{12}$，$H=\{[0]，[3]，[6]，[9]\}$.则$H$的陪集有：
$[0]+H=\{[0]，[3]，[6]，[9]\}$，
$[1]+H=\{[1]，[4]，[7]，[10]\}$，
$[2]+H=\{[2]，[5]，[8]，[11]\}$.

定理1.17 如果$H$是$G$的一个有限子群，则$H$每一个(左或右)陪集都和$H$有同样多的元素.

定义1.17 如果群$G$的子群$H$只构造出有限多个模$H$的陪集，则这个陪集的个数称为$H$在$G$中的指数.

定理1.18 (Lagrange)：一个有限群$G$的阶正好等于任何一个子群$H$的阶乘乘以$H$在$G$中的指数。特别的，$H$的阶整除群$G$的阶，任一元素的阶整除$G$的阶。

拉格朗日定理是群论中最基本的定理之一，它告诉我们一个有限群的阶和它所有子群的阶之间的关系，同时也给出了子群阶和群阶的整除关系。

例1.1.8 (欧拉(Euler)定理) 设$n$是一正整数，考察由模$n$的等价类构成的集合$G=\{[a]|(a，n)=1\}$. 则$G$在模$n$的乘法运算下构成一有限群，阶为$|G|=\varphi (n)$. 对任给$a\in Z，(a，n)=1$，则$[a]\in G$，所以[a]的阶是|G|的因子，因此$[a{]}^{\varphi (n)}=1$，也就是$a^{\varphi (n)}=1(\mathrm{mod}n)$。

证明：若设$(x_1,x_2,\cdots ,x_{\varphi }(n))$是模$n$的一个简化剩余系，那么$(a{x}_1,a{x}_2,\cdots ,a{x}_{\varphi }(n))$ 也是模$n$的一个简化剩余系。
$$\sum _{i=1}^{\varphi (n)}{x}_i=\sum _{i=1}^{\varphi (n)}a\cdot x_i\mathrm{mod}n$$
由于$(x_i^{\prime }，n)=1$, ${\sum }_{i=1}^{\varphi (n)}{x}_i=1\mathrm{mod}n$。
因此结论成立。

定义1.1.8 群G的一个子群H称为正规子群，如果对任何$a\in G$，$h\in H$，有$ah{a}^{-1}\in H$. 如果H是G的正规子群，我们记成$H⊲G$.

定理1.1.9 设H是群G的子群，则下列条件彼此等价：

1. $H⊲G$;
2. 对于每个$g\in G$，$gH{g}^{-1}=H$；
3. H的每个左陪集都是右陪集.事实上，对于每个$g\in G$，gH=Hg.

定理1.1.10 如果群G的子群 H 是正规的，则模H的陪集的集合在运算(aH).(bH)=(ab)H下构成一个群.

定义1.1.10 设H是G的正规子群，定理1.1.10中由H的陪集定义的群称为G关于H 的商群，记作G/H.

例子：整数群的商群：考虑整数群Z和它的子群2Z（由所有偶数组成），则Z/2Z表示由偶数与奇数构成的两个等价类组成的群，其中群运算是对应元素的加法运算。
$0+0=0$
$0+1=1$
$1+0=1$
$1+1=0$

定理1.1.11 如果G是有限群，则|G/H|=|G|/|H|.

定义1.1.10 一个群G称为循环群，如果存在一个元素$a\in G$使得G=(a).这样的元素a称为G的生成元.

对于一个循环群G，离散对数问题是指找到一个整数k，使得G的生成元素a的k次幂等于另一个给定的元素b。这个问题在密码学中非常重要，因为它是很多加密算法的基础，如Diffie-Hellman密钥交换、ElGamal加密算法等。

同构是指两个代数结构之间存在一个双射（一一映射）以及这个双射保持原有的代数结构运算。具体来说，如果两个代数结构A和B之间存在一个双射f，使得对于A中的任意元素a和b，f(a+b)=f(a)+f(b)和f(ab)=f(a)f(b)都成立，那么我们就称A和B是同构的。
同构可以理解为两个代数结构在代数结构上完全相同的概念。

同态：描述了两个代数结构之间的结构保持映射。具体来说，如果有两个代数结构A和B以及它们之间的映射f：A→B，如果对于A中的任意两个元素a1和a2，f(a1·a2)=f(a1)·f(a2)成立，其中“·”表示A中的运算，那么f就是一个同态映射。这意味着，映射f保持了A中元素之间的运算关系，并且将A中的单位元素映射到B中的单位元素。

同态基本定理：设$\phi :G_1\to G_2$是一个群同态，其中$G_1$和$G_2$是两个群。那么，同态基本定理给出了以下结论：

1. { im ⁡ ( φ ) = φ ( g ) ∣ g ∈ G 1 } \{\operatorname{im}(\varphi) = {\varphi(g) | g \in G_1} \} {im(φ)=φ(g)∣g∈G1​}是$G_2$的一个子群，即$\mathrm{im}(\phi )\le G_2$；
2. { ker ⁡ ( φ ) = g ∈ G 1 ∣ φ ( g ) = e G 2 } \{\ker(\varphi) = {g \in G_1 | \varphi(g) = e_{G_2}}\} {ker(φ)=g∈G1​∣φ(g)=eG2​​}是$G_1$的一个正规子群；
3. 存在一个同构$\psi :G_1/\ker (\phi )\to \mathrm{im}(\phi )$，使得$\psi (g\ker (\phi ))=\phi (g)$对于任意$g\in G_1$成立。