@Coding: Typora+LaTeX
@Author : DorinXL（博客）
@Time : 2023/8/4
目录
- Chapter1 群的定义、性质
- Chapter2 构造子群
- Chapter3 有限阿贝尔群的特征
- Chapter4 狄利克雷特征
Chapter1 群的定义、性质
Section1 群
-
Definition：
- 群：一个群是由元素和二元运算组成的非空集合。我们用\(\cdot\)表示这种二元运算，群是满足下列条件的代数结构(algebraic structure)
- 封闭性：\(\forall a,b \in G,a \cdot b \in G;(Z,\div)\)不是封闭性
- 结合性：\(\forall a,b,c \in G,a \cdot(b\cdot c) = (a \cdot b)\cdot c\)
- 单位元：\(\exist e \in G,\forall a \in G,a \cdot e = e \cdot a = a\)
- 逆元：\(\forall a \in G,\exist b \in G,a \cdot b = b\cdot a = e. a的逆元记为a^{-1}\)
- 群：一个群是由元素和二元运算组成的非空集合。我们用\(\cdot\)表示这种二元运算，群是满足下列条件的代数结构(algebraic structure)
-
Examples:
- \((Z,+)\)（满足群的定义）
- 封闭性：整数相加还是整数
- 结合律：整数相加满足加法结合律
- 单位元：0
- 逆元：整数的相反数
- \((Q,\times)\)（不满足群的定义）
- 封闭性：有理数相乘还是有理数
- 结合律：有理数相乘满足乘法结合律
- 单位元：1
- 逆元：有理数的倒数（0除外）
- \((Q/\{0\},\times)\)排除0的集合满足群的定义。
- \((Z_p^{*},\times)\)
- 封闭性：相乘再模p，还是集合里的元素
- 结合律：模运算满足乘法结合律
- 单位元：1
- 逆元：乘法逆元
- \((Z,+)\)（满足群的定义）
-
Theorem:
- Th1:群里的单位元是唯一的。
Proof:反证法：
假设存在两个单位元\(e\),\(e'\in G，e\ne e'\)
根据单位元的运算：\(e*e' = e' = e\)，出现矛盾
- Th2:每个群里只有唯一的逆元。
Proof:反证法：
假设\(a \in G\)存在两个不相等的逆元\(b,c\)
\(b=b*e\)，而\(a*c=e\)，所以有\(b=b*e=b*(a*c)=(b*a)*c=e*c=c\)
所以\(b=c\)，矛盾。
- Th4:（消去律）\(a*b=a*c \Rightarrow b=c\)
Proof:
\[\begin{align*} a*b&=a*c\\ a^{-1}*a*b&=a^{-1}*a*c\\ e*b&=e*c\\ b&=c\\ \end{align*} \]- Th5:方程\(a*x=b\)有唯一解\(x \in G\)
Proof:
需要注意的是，这是个群的方程，运算符号不代表乘号。
\[\begin{align*} a*x&=b\\ a^{-1}*a*x&=a^{-1}*b\\ e*x&=a^{-1}*b\\ x&=a^{-1}*b \end{align*} \]- Th6:\((a*b)^{-1}=b^{-1} * a^{-1}\)
Proof:
思路是证明一个元素是另一个元素的逆元：
\[\begin{align*} &(a*b)*(b^{-1}*a^{-1})\\ &=a*(b*b^{-1})*a^{-1}\\ &=a*e*a^{-1}\\ &=a*a^{-1}\\ &=e \end{align*} \]- Th7:\((a^{-1})^{-1}=a\)
因为\(a^{-1}*a=e\),所以\(a^{-1}\)的逆元就是\(a\)
Note:
群里只有一个元素时，称为平凡群，这唯一的元素就是单位元。如\((\{1\},\times)\)
Section2 阿贝尔群（Abelian Group）
-
Definition：
- 阿贝尔群又叫交换群（commutative group），如果对于群G中的任意元素\(a,b \in G\)，都有\(a*b=b*a\)，那么G称为阿贝尔群。由此，阿贝尔群就是在群的性质上添加了交换律。所以一个阿贝尔群满足以下性质：
- 封闭性、结合律、单位元、逆元、交换律。
- 之前提到的\((Z,+),(Z_P^*,\times),(Q/\{0\},\times)\)都满足交换律，所以都是阿贝尔群。
- 阿贝尔群又叫交换群（commutative group），如果对于群G中的任意元素\(a,b \in G\)，都有\(a*b=b*a\)，那么G称为阿贝尔群。由此，阿贝尔群就是在群的性质上添加了交换律。所以一个阿贝尔群满足以下性质：
-
Theorem:
- Th1:群G是阿贝尔群，当且仅当，\(\forall a,b \in G\)，有\((a*b)^2 = a^2 * b^2\)
Proof:
必要性\(\Rightarrow\)：群G是阿贝尔群，有\(a*b=b*a\)
于是\(a*a*b*b=a*b*a*b\)
所以\(a^2*b^2=(a*b)^2\)
充分性\(\Leftarrow\)：
群G满足\(a^2*b^2=(a*b)^2\)
于是展开得到\(a*a*b*b=a*b*a*b\)
分别消去前后的\(a,b\)得到\(a*b=b*a\)正好是交换律的式子
-
Th2：语法糖
-
\(a^t=a*a*a*\cdots*a\)
-
\(a^{-t}=a^{-1}*a^{-1}*a^{-1}*\cdots*a^{-1}\)
-
\((a^t)^m=a^{tm}\)
\[\begin{align*} &(a^t)^m\\ &=(a*a*\cdots*a)*\cdots*(a*a*\cdots*a)\\ &=a*a*\cdots*a*\cdots*a*a*\cdots*a\\ &=a^{tm} \end{align*} \] -
\(a^t * a^m= a^{t+m}\)
-
\((a^{-1})^t=(a^t)^{-1}\)
\[\begin{align*} &(a^{-1})^t*(a^t)^{-1}\\ &=a^{-1}*a^{-1}*\cdots*a^{-1}*a*a*\cdots*a\\ &=a^{-1}*a^{-1}*\cdots*e*a*\cdots*a\\ &=e \end{align*} \]
-
-
Th3:G是阿贝尔群，\(\forall a,b \in G,\)有\((a*b)^t=a^t*b^t\)
\[\begin{align*} (a*b)^t&=(a*b)*(a*b)*\cdots*(a*b)\\ &=a*b*a*b*\cdots*a*b\\ &=(a*a*\cdots*a)*(b*b*\cdots*b)\\ &=a^t*b^t \end{align*} \]将t=2，就和Th1相等了。
Section3 子群（subgroup）
-
Definition：
- 设\((G,*)\)是群，H是G的非空子集，如果\((H,*)\)是一个群，那么\((H,*)\)是\((G,*)\)的子群。
- 平凡子群：\((G,*),(\{e\},*)\)
-
Theorem:
- Th1:（群的单位元也是其子群的单位元）H是群G的子群，\(e\in G\)是单位元，则\(e\)也是子群H的单位元。
Proof:
假设H的单位元是\(e'且e'\ne e\)，对于\(a\in H\)来说，有
\(e'*a=a=e*a\)
根据消去律，我们的得到\(e'=e\)，矛盾。
-
Th2：（元素在子群中，其逆元也必然在子群中）\(H\)是群\(G\)的子群，\(a\in H\)那么\(a^{-1} \in H\)
Proof：
假设\(b\in H,b \ne a^{-1},a*b=e\)
那么有\(a*a^{-1}=e=a*b\)
根据消去律，我们得到\(a^{-1}=b\)，矛盾
-
Th3:如何判断子群？
-
\(H\)是群\(G\)的子群，\(\forall a,b \in H\)。都有\(a*b^{-1}\in H\)，那么\(H\)是\(G\)的子群。
Proof:
对\(\forall a \in H\),有\(e=a*a^{-1}\in H\)，所以G的单位元也是H的单位元
对\(\forall a \in H\),有\(a^{-1}=e*a^{-1}\in H\)，所以a的逆元也在H中
对\(\forall a,b \in H\),有\(b^{-1}\in H\)，所以\(a*b=a*(b^{-1})^{-1} \in H\),所以H是封闭的。
G有结合律，他的子集一定也有结合律
-
如果\(G'\)是\(G\)的一个非空子集，那么\(G'\)是\(G\)的一个子群，当且仅当，\(G'\)满足封闭性和逆元存在性。
- 封闭性：\(\forall a,b, \in G',ab\in G'\)
- 逆元存在性：\(a,\in G',a^{-1} \in G'\)
如果\(G'\)是子群，那么子群肯定满足封闭性和逆元存在性。
反过来，如果\(G'\)满足封闭性和逆元存在性，我们只需要证明满足结合性和单位元就能证明他是个子群。
\(G\)是满足结合性的，那么\(G'\)中的元素肯定也满足结合性。
因为\(G'\)非空，所以取其中一个元素\(a\)，已经知道\(a^{-1} \in G'\)，再根据封闭性：\(aa^{-1}=e\in G'\)得到单位元存在。
-
Chapter2 构造子群
Section1 针对阿贝尔群的两种构造方法
Theorem:
- Th1:G是阿贝尔群，\(m\in Z\)，那么\(G^{m}:=\{a^m | a\in G\}\)是G的子群
- 例如\(G^{3}:={a^3 | a\in G},G^{-3}:={(a^{-1})^{3} | a\in G},G^{0}:={e | e\in G}\)
Proof:
\(a,b \in G\),那么如果是子群的话，在子群里表示为\(a^m,b^m\in G^m\)。
根据子群的判断方法，只需要证明\(a^m*(b^m)^{-1} = a^m*(b^{-1})^m = (a*b^{-1})^m \in G^m\)
因为G是封闭的，所以\((a*b^{-1})\)是G里的元素
举个简单的例子：
对于\((Z,+)\)来说，\(Z^m\)其实就是\(mZ:=\{mz | z \in Z\}=\{0,\pm m,\pm2m,\cdots\}\)
对于\((Z_n,+)\)来说,他是个阿贝尔加法群，\(Z^m\)其实就是\(mZ_n:=\{mz \bmod n | z \in Z_n\}\)
\(Z_{15}\) 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 \(2Z_{15}\) 0 2 4 6 8 10 12 14 1 3 5 7 9 11 13 \(3Z_{15}\) 0 3 6 9 12 0 3 6 9 12 0 3 6 9 12 \(4Z_{15}\) 0 4 8 12 1 5 9 13 2 6 10 14 3 7 11 \(5Z_{15}\) 0 5 10 0 5 10 0 5 10 0 5 10 0 5 10 \(6Z_{15}\) 0 6 12 3 9 0 6 12 3 9 0 6 12 3 9
-
Th2：G是阿贝尔群，\(m\in Z\)，则\(G\{m\}:={a\in G|a^m=e}\)是G的子群。(挑出来m次运算后等于单位元的数)
Proof：
首先\(a,b \in G,a^m = b^m = e\),那么\(a,b \in G\{m\}\)。
\((a*b^{-1})^m=a^m * (b^{-1})^m = a^m * (b^m)^{-1}=e*e=e\)
所以\(a*b^{-1} \in G\),\(G\{m\}\)是G的一个子集。
举个简单的例子：
对于\((Z_n,+)\)来说,他是个阿贝尔加法群，\(Z^m\)其实就是\(mZ_n:=\{mz \equiv0 \bmod n | z \in Z_n\}\)（0是单位元）
把z看成未知数，\(d=(m,n)\)，\(mz \equiv0 \pmod n \Rightarrow z \equiv 0 \pmod{\dfrac{n}{d}}\)
可见，\(Z_n\)中的元素只有在是\(\dfrac{n}{d}\)的倍数的时候，才是子集中的元素。
根据同余方程的性质，子集中的元素一共有d个，分别是\(\{0,\dfrac{n}{d},\dfrac{2n}{d},\cdots,\dfrac{(d-1)n}{d}\}\)
根据第一种构造方法，上面的集合就等于\(\dfrac{n}{d}Z_n\)。
而且，上面的集合中的元素乘d后就是n的倍数，模n为0，于是又可以写成\(Z_n\{d\}\)
于是\(Z_N\{m\}=Z_n\{d\}=\dfrac{n}{d}Z_n,d=(m,n)\)这三个子集相同。
对照上表印证结论\(Z_{15}\{6\}=Z_{15}\{3\}=\dfrac{15}{3}Z_{15}=\{0,5,10\},3=(6,15)\)。
Section2 子群的结构
-
Definition：
- 一个群如果是有限集合，就称为是有限群，这时G的元素的个数叫做G的阶，记为\(|G|\)
- 如果\(G'\)是有限群\(G\)的一个子群，那么对G的任意元素\(a\)，有一个整数\(n\)，使\(a^n \in G'\),我们称这个n为a在G中的指数。
-
Theorem:
-
Th1:令\(G'\)是有限阿贝尔群G的一个子群，并且\(G'\ne G\),在G中挑选一个元素\(a\)，\(a \notin G'\)，并设\(h\)是\(a\)在\(G'\)中的指数。那么乘积的集合\(G''=\{xa^k | x\in G' 且k=0,1,2,\cdots,h-1\}\)这样一个集合是\(G\)的一个包含\(G'\)的子群，而且\(G''\)的阶是\(G'\)的h倍，即\(|G''| = h|G'|\)
Proof：
首先证明\(G''\)是一个子群。我们通过证明\(G''\)集合拥有封闭性和逆元存在性来证明他是\(G\)的一个子集。
证明封闭性：
在\(G''\)中任取两个元素\(xa^k,ya^j;x,y\in G',0\le k<h,0\le j<h\)。
既然\(G\)是阿贝尔群，所以元素都满足交换律，所以
\[(xa^k)(ya^j)=(xy)a^{k+j} \]将\(k+j\)改写为带余除法的形式\(k+j=qh+r,0\le r<h\)，有
\[a^{k+j}=a^{qh}a^r \]而\(a^{qh}=(a^h)^q\in G'\),我们发现\(a^{qh}a^r\)满足\(G''\)集合的定义，所以证明了\(G''\)满足封闭性条件。
证明逆元存在：
在\(G''\)中任取一个元素\(xa^k\)，如果\(k=0\)，那这个元素的逆元\(x^{-1}\in G'\)。
如果\(0<k<h\)，这个元的逆元就变成了\(ya^{h-k},y=x^{-1}(a^h)^{-1}\)，这个形式也满足集合\(G''\)的定义，所以证明了逆元也是\(\in g''\)的。
确定\(G''\)的阶：
令\(m=|G'|\)，因为\(x\in G'\)，所以\(x\)可以有m种取法。而\(0\le k\le h-1\)，k有h种取法。组合起来\(xa^k\)应该是有\(mh\)种形式的，也就是有mk个。只要我们能证明这mk个元素两两互不相同，便可以证明\(G''\)的阶是mh。
假设两个元素相等\(xa^k=ya^j \quad (0\le j\le k < h)\)，那么\(a^{k-j}=x^{-1}y\)。
而\(x^{-1}y\in G'\)，所以\(a^{k-j} \in G'\)。所以只能取\(e\)，那么\(k=j，x=y\)，最后两个元素其实还是一个元素。
-
Chapter3 有限阿贝尔群的特征
-
Definition：
- 令\(G\)是任意一个群，定义在\(G\)上的一个复值函数（\(Z\rightarrow C\)，从整数到复数）\(f\)，如果这个函数是积性的且非0，即\[\forall a,b \in G,f(ab)=f(a)f(b)\\ \exist c,f(c)\ne0 \]那么\(f\)就称为\(G\)的一个特征。
- 令\(G\)是任意一个群，定义在\(G\)上的一个复值函数（\(Z\rightarrow C\)，从整数到复数）\(f\)，如果这个函数是积性的且非0，即
-
Theorem:
-
Th1:如果\(f\)是一个具有恒等元e的有限群G的一个特征，那么\(f(e)=1\)，并且每个函数值\(f(a)\)是一个单位根。特别的，如果\(a^n=e,f(a)^n=1\)
Proof：
\(G\)中选\(c,f(c)\ne0\)。因为\(ce=c\)，所以\(f(c)f(e)=f(c)\)，所以\(f(e)=1\)。
如果\(a^n=e\)，那么\(f(a)^n=f(a^n)=f(e)=1\).
-
Th2:阶为n的有限阿贝尔群有且仅有n个不同的特征。
Proof：
证明思路：
通过上面的一个定理我们知道如何通过一个已知的子群\(G'\ne G\)去构造一个包含\(G'\)的新子群\(G''\)，而且\(G''\)中至少有一个元素不在\(G'\)中。
\[我们将G''表示为<G';a>=\{xa^k:x\in G',0\le k < h\},h是a在G'中的指数 \]现在我们将最小的子群\(\{e\}\)拿出来作为\(G_1\)，如果\(G_1 \ne G\)，那么我们可以通过多次构造来得到一个有限集合和相对应子群的集合。
\[G_{r+1}=<G_r;a_r>\\ G_1\subset G_2\subset \cdots\subset G_{r+1}=G \]我们拥有这样一个子序列后，再通过归纳法即可证明。
\(G_1\)显然有且仅有一个特征\(f(e)=1\)。假设对\(G_r\)的阶是\(m\)并且由且仅有\(m\)个特征。
考虑\(G_{r+1}=<G_r,a_r>\)并设h是\(a_r\)在\(G_r\)中的指数（h是让\(a_r^h\in G\)的最小正整数）。
如果能证明有且仅有\(h\)种不同的方法把\(G_r\)的每个特征\(f\)扩大到\(G_{r+1}\)的一个特征，并且\(G_{r+1}\)的每一个特征一定是\(G_r\)的某个特征的扩大，那么就说明\(G_{r+1}\)有\(mh\)个特征，并且\(G_{r+1}\)的阶是mh，所以归纳法证明成立。
先假设能把\(G_r\)的一个特征扩大为\(G_{r+1}\)的一个特征\(F\)。根据积性得到：
\[F(xa_r^k)=F(x)F(a_r)^k \]\(x\in G\)，所以\(F(x)=f(x)\)。于是我们有
\[F(xa_r^k)=f(x)F(a_r)^k \]所以只要确定\(F(a)^k\)，就能确定\(F(xa^k)\)
令\(c=a_r^h\)，因为\(c\in G_r\)，所以\(F(c)=f(c)\)并且由于\(F\)是积性的，\(F(c)=F(a)^h\)
所以\(F(a_r)^h=f(c)\)，我们可以确定\(F(a_r)\)是\(f(c)\)的一个\(h\)次根。所以\(F(a_r)\)有h种选择。
总结一下，如果\(f\)是\(G_r\)的一个已经确定的特征，我们选择\(f(c),(c=a_r^h)\)的h词根中的一个，确定\(F(a_r)\)就是这个数，所以我们用\(F(xa_r^k)=f(x)F(a_r)^k\)来确定\(G_{r+1}\)中不属于\(G_r\)那部分元素的特征\(F\)。=所以我们有\(h\)种方式去确定\(F(xa_r^k)\)
4
现在我们需要验证这个\(F\)是否满足可积，不然他不能成为一个特征。
选择两个元素，我们有
\[F(xa_r^k \cdot ya_r^j)=F(xya_r^{k+j})=f(xy)F(a_r)^{k+j}=f(x)f(y)F(a_r)^kF(a_r)^j=F(xa_r^k)F(ya_r^j) \]所以F确实是G的一个特征。
不可能有两个被扩大的F,G相等，因为如果这样的话，扩大他们的f和g就会相等。
所以\(G_r\)的m个特征里的每一个都能被h种方式扩大到\(G_{r+1}\)的特征。
-
Chapter4 狄利克雷特征
现在我们专门研究模为一个固定的正整数k的简化剩余类群。
-
Definition：
- 令\(G\)是模k的简化剩余类群，对应于\(G\)上的每一个特征\(f\)，我们定义如下一个数论函数\(\chi=\chi_f\)\[\chi(n)=f(\hat n) \quad if(n,k)=1\\ \chi(n)=0 \quad\quad if(n,k)>1 \]称\(\chi\)是模k的狄利克雷特征，主特征\(\chi_1\)有如下特征：\[\chi_1(n)= \begin{cases} 1,&if(n,k)=1\\ 0,&if(n,k)>1 \end{cases} \]
- 令\(G\)是模k的简化剩余类群，对应于\(G\)上的每一个特征\(f\)，我们定义如下一个数论函数\(\chi=\chi_f\)
-
Theorem:
-
Th1:模k的全体简化剩余类的集合是一个阶为\(\varphi(k)\)的有限阿贝尔群，恒等元是剩余类\(\hat{1}\)，\(\hat a\)的逆元是\(\hat b\)，满足\(ab \equiv 1 \pmod k\)
Proof：
剩余类有\(\varphi(k)\)个，所以阶是\(\varphi(k)\)。
剩余类的封闭性是满足的，而且是有限剩余类，是阿贝尔群。
类\(\hat1\)是恒等元，\(\hat a\)的逆元是\(\hat b\)，因为如果\((a,k)=1\)存在唯一的\(b,ab\equiv 1 \pmod k\)。
-
Th2:有\(\varphi(k)\)个不同的狄利克雷特征模k，并且都是完全积性的、周期性的，即
\[\chi(mn)=\chi(m)\chi(n)\\ \chi(n+k)=\chi(n) \]反之，如果\(\chi\)是完全积性的并且以k为周期循环，并且当\((n,k)>1\)有\(\chi(n)=0\)，则\(\chi\)一定是个模k的狄利克雷特征。
Proof：
模k的简化剩余系阶是\(\varphi(k)\)，所以有\(\varphi(k)\)个特征\(f\)。于是模k有\(\varphi(k)\)个\(\chi_f\)。
证明完全积性：如果\(m,n\)都和\(k\)互素，那么根据群特征\(f\)可以得到\(\chi(mn)=\chi(m)\chi(n)\);
如果\(m,n\)中有一个与k不互素，那么\(mn\)与k也不会互素，于是\(0=\chi(mn)=\chi(m)\chi(n)=0\)
证明周期性：由定义知道\(\chi(n)=f(\hat n)\)，而在简化剩余系中\(f(\hat n+k)=f(\hat n)\)
反过来，如果\(\chi\)满足\(\chi(n)=f(\hat n) \quad if(n,k)=1\)这个条件，那么就符合狄利克雷特征的定义。
根据阿贝尔群特征\(f\)的定义，我们让\(f(\hat n)=\chi(n) \quad if(n,k)=1\)，这就定义了群\(G\)上的函数\(f\)作为群的一个特征，自然满足\(\chi\)的需求，所以\(\chi\)是一个狄利克雷特征。
-
-
Example:
-
k=3,\(\varphi(k)=2\):
n 1 2 3 \(\chi_1(n)\) 1 1 0 \(\chi_2(n)\) 1 -1 0 -
k=4,\(\varphi(k)=2\):
n 1 2 3 4 \(\chi_1(n)\) 1 0 1 0 \(\chi_2(n)\) 1 0 -1 0 -
k=5,\(\varphi(k)=4\):
n 1 2 3 4 5 \(\chi_1(n)\) 1 1 1 1 0 \(\chi_2(n)\) 1 -1 -1 1 0 \(\chi_3(n)\) 1 i -i -1 0 \(\chi_4(n)\) 1 -i i -1 0 -
k=6,\(\varphi(k)=2\):
n 1 2 3 4 5 6 \(\chi_1(n)\) 1 0 0 0 1 0 \(\chi_2(n)\) 1 0 0 0 -1 0 -
k=7,\(\varphi(k)=6\):
n 1 2 3 4 5 6 7 \(\chi_1(n)\) 1 1 1 1 1 1 0 \(\chi_2(n)\) 1 1 -1 1 -1 -1 0 \(\chi_3(n)\) 1 \(w^2\) \(w\) \(-w\) \(-w^2\) -1 0 \(\chi_4(n)\) 1 \(w^2\) \(-w\) \(-w\) \(w^2\) 1 0 \(\chi_5(n)\) 1 \(-w\) \(w^2\) \(w^2\) \(-w\) 1 0 \(\chi_6(n)\) 1 \(-w\) \(-w^2\) \(w^2\) \(w\) -1 0
-