近世代数-群论基础一

近世代数-群论基础一

半群与群

半群：在集合，任意$x,y$经过一元运算$x\circ y$ 得到的结果依然是在该集合内的，且满足结合律

幺半群：在半群的基础上引入幺元（单位元）

定理2.1：括号的添加方式（位置）与结果无关

群：每个元素都可逆的幺半群

定义：非空集$G$按它的二元运算$\circ$，形成群当且仅当

• $G$对运算$\circ$封闭，即$a,b\in G\Rightarrow a\circ b\in G$
• 运算$\circ$ 满足结合律
• 有单位元
• 每个元都可逆，即$a\in G$时有$b\in G$使得$a\circ b=e=b\circ a$

另外，一般把集合$X$的基数记为$|X|$，对于有限集合中基数$|X|$就是$X$中的元素总个数

若群$G$中元素有限，则称为有限群，其元素总个数$|G|$称为$G$的阶，当$|G|=n$时称$G$为n阶群

在群的基础上若满足交换律，则称$G$为Abel群或交换群

定理2.3：当半群满足可除性条件，对任何$a,b\in G$，方程$ax=b$与$ya=b$在$G$中都有解，半群形成群

定理2.4：设$G$为群，则$G$中有消去律

当有限半群$G$中具有消去律，则$G$必为消去律（特殊地，自然数数集$N$按加法形成具有消去律的半群不是群）

群的例子

数论的例子

• Pell方程

G d = { x + y d : x , y ∈ Z 且 x 2 − d y 2 = 1 } G_d=\{x+y\sqrt d:x,y\in \mathbb Z且x^2-dy^2=1\} Gd​={x+yd ​:x,y∈Z且x2−dy2=1}，按数的乘法形成Abel群

线性代数的例子

• 矩阵

G L n ( R ) = { n 阶 实 方 阵 A : d e t   A ≠ 0 } GL_n(\mathbb R)=\{n阶实方阵A:det~A\neq 0\} GLn​(R)={n阶实方阵A:det A​=0}以及 S L n ( R ) = { n 阶 实 方 阵 A : d e t   A = 1 } SL_n(\mathbb R)=\{n阶实方阵A:det~A=1\} SLn​(R)={n阶实方阵A:det A=1}

按矩阵的乘法形成群；前者称为一般线性群，后者称为特殊线性群

其他

• 函数

实数区间$I$上全体连续的实函数按函数加法（$f+g$在$x\in I$处值定义为$f(x)+g(x)$）形成Abel群；此时区间$I$上零函数$O(x)=0$为连续函数，它是Abel群的加法单位元（零元）

• 整数加群

任给正整数$m$，

m Z = { m x : x ∈ Z } = { ⋯   , − 2 m , − m , 0 , m , 2 m , ⋯   } m\mathbb Z=\{mx:x\in \mathbb Z\}=\{\cdots,-2m,-m,0,m,2m,\cdots\} mZ={mx:x∈Z}={⋯,−2m,−m,0,m,2m,⋯}，按整数的加法形成Abel群，整数$0$为其加法单位元；且该群通常叫做整数加群

PS：$m$的倍数可以表示作$m\mathbb{Z}$

• 模$m$同余关系

$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$

• 集合上的等价关系

设非空集合$X$上的等价关系写作$\sim$，则该关系满足

自反性：$x\sim x$；对称性：$x\sim y\Rightarrow y\sim x$；传递性：$x\sim y\sim z\Rightarrow x\sim z$

等价类：$x\in X$所在的等价类指 { y ∈ X : x ∼ y } \{y\in X:x\sim y\} {y∈X:x∼y}；不同等价类并集为空

• $\mathbb{Z}/m\mathbb{Z}$上的加乘法

模$m$同余关系是整数集$\mathbb{Z}$上的等价关系，$a\in \mathbb{Z}$所在的等价类为
a ˉ = a + m Z = { x ∈ Z : x ≡ a ( m o d m ) } \bar a = a + m\mathbb{Z} = \{x\in \mathbb{Z}:x\equiv a\pmod m\} aˉ=a+mZ={x∈Z:x≡a(modm)}
称$a$所在的模$m$剩余类在集合
Z / m Z = { a ˉ = a + m Z : a ∈ Z } = { 0 ˉ , 1 ˉ , ⋯   , m − 1 ‾ } \mathbb{Z}/m\mathbb{Z}=\{\bar{a} = a + m\mathbb{Z}:a\in \mathbb{Z}\} = \{\bar 0 ,\bar 1,\cdots,\overline{m-1}\} Z/mZ={aˉ=a+mZ:a∈Z}={0ˉ,1ˉ,⋯,m−1​}
上，定义其加法与乘法为：
$$\bar{a}+\bar{b}=\overline{a+b},\bar{a}\bar{b}=\overline{ab}$$
证明定义的合理性

若$a,c$为$\bar{a}$剩余类中的元素，而$b,d$为$\bar{b}$剩余类中的元素；则
$$\begin{gathered} a\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}m)且b\equiv d(\mathrm{m}\mathrm{o}\mathrm{d}m) \\ \Rightarrow a+b\equiv c+d(\mathrm{m}\mathrm{o}\mathrm{d}m)且ab\equiv cd(\mathrm{m}\mathrm{o}\mathrm{d}m) \end{gathered}$$
以此类推，分别遍历$\bar{a}$与$\bar{b}$中剩余类的所有元素得到以上类似同余式，所以
$$\overline{a+b}=\overline{c+d}且\overline{ab}=\overline{cd}$$
以上加乘法满足结合律与交换律

故$\mathbb{Z}/m\mathbb{Z}$按剩余类的加法形成$m$阶Abel群，加法单元为$\bar{0}=m\mathbb{Z}$

• 单射与满射（数学表达）

设$f$是集合$X$到集合$Y$的映射，若
$$f(x_1)=f(x_2)\Rightarrow x_1=x_2$$
则称映射$f:X\to Y$是单射

若 { f ( x ) : x ∈ X } = Y \{f(x):x\in X\}=Y {f(x):x∈X}=Y，则称$f：X\to Y$是满射

当$f:X\to Y$既是单射又是双射时，称$f$为$X$到$Y$的双射

---

对称群

设非空集$X$到ta自身的双射叫$X$上的置换，所有$X$上的置换按照映射的复合构成群，其单位元是$X$上的单位元为恒等映射$I_x:x\mapsto x$；该群称为$X$上的对称群，记为$S(X)$

对称群中的置换

$n$元集 X = { x 1 , ⋯   , x n } X=\{x_1,\cdots,x_n\} X={x1​,⋯,xn​}上的一个置换相应于$x_1,\cdots ,x_n$的一个全排列；

$|X|=n$时$|S(X)|=n!$；对于正整数$n$，对称群 S ( { 1 , ⋯   , n } ) S(\{1,\cdots,n\}) S({1,⋯,n})简记成$S_n$

一般表示作
$$\sigma =\left(\begin{array}{ccc}1& 2& 3\\ 2& 3& 1\end{array}\right)$$
代表着$\sigma (1)=4,\sigma (3)=6,\cdots$

PS：$|X|$表示$X$的阶；恒等映射$⟺$ 单位元

对称群 Groupe symétrique - 知乎 (zhihu.com)

---

复数的几何形式

Hamilton四元数（四维超复数）
$$z=a+bi+cj+dk,其中a,b,c,d为实数$$
其乘法的特殊之处

要求$i^2=j^2=k^2=ijk=-1$，则
$$\begin{gathered} ij=k,jk=i,ki=j \\ ji=-k,kj=-i,ik=-j \end{gathered}$$
（很显然不满足交换律）

故 D = { ± 1 , ± i , ± j , ± k } D=\{\pm 1,\pm i,\pm j,\pm k\} D={±1,±i,±j,±k}按乘法形成$8$阶非交换群

Reference

近世代数_中国大学MOOC(慕课) (icourse163.org)