群论入门学习笔记

群

1. 组成：集合 $G$，与集合上的运算 $\ast$
2. 性质：
   1. 封闭性：$\forall a,b\in G$，$a\ast b\in G$；
   2. 结合律：$\forall a,b,c\in G$，$(a\ast b)\ast c=a\ast (b\ast c)$；
   3. 单位元（一个）：$\exists e\in G,\forall a\in G$，$a\ast e=e\ast a=a$；
   4. 逆元（所有）： $\forall a\in G$，$\exists b\in G$, $a\ast b=b\ast a=e$，记为 $a^{-1}$；
3. 表示：若满足以上所有性质，则称 $(G,\ast )$ 是一个群，简称 $G$ 是一个群，$G$ 关于运算 $\ast$ 组成一个群
4. 例:
   1. 设 $|G|=2$，$(G,\ast )$ 是群，设 G = { e , a } G = \{ {e,a} \} G={e,a}
      则 $\begin{array}{ccc}\ast & e& a\\ e& e& a\\ a& a& e\end{array}$
   2. 设 $|G|=3$，$(G,\ast )$ 是群，设 G = { e , a , b } G = \{ {e,a,b} \} G={e,a,b}
      则 $\begin{array}{cccc}\ast & e& a& b\\ e& e& a& b\\ a& a& b& e\\ b& b& e& a\end{array}$

注：若 $a\ast b=a\ast c⟹a^{-1}\ast a\ast b=a^{-1}\ast a\ast c⟹b=c$，不符合群性质

5. 定理：一个群内，单位元唯一
   证明：
   $$\begin{gathered} \text{假设群}(G,\ast )单位元为e_1,e_2 \\ \because e_1\ast e_2=e_1=e_2⟹e_1=e_2,\text{不符合群的性质} \\ \therefore \text{一个群内，单位元唯一} \end{gathered}$$

---

半群

1. 满足群的性质 1、2
2. 定义
   • 左单位元 $e_L:\forall a\in G,e_L\ast a=a$
   • 右单位元 $e_R:\forall a\in G,a\ast e_R=a$
3. 定理：若一个半群既有 $e_L$，又有 $e_R$，则：$e_L=e_L\ast e_R=e_R⟹e_L=e_R$

---

含幺半群

1. 满足群的性质 1、2、3
2. 定义:
   • 左逆元：$a_L^{-1}\to a_L^{-1}\ast a=e$
   • 右逆元：$a_R^{-1}\to a\ast a_R^{-1}=e$
   • 定理：$a_L^{-1}=a_R^{-1}$
     证明：$a_L^{-1}=a_L^{-1}\ast e=a_L^{-1}\ast (a\ast a_R^{-1})=e\ast a_R^{-1}=a_R^{-1}$
3. 定理：
   • 逆元唯一
   • $(a^{-1}{)}^{-1}=a$
     证明：$a\ast a^{-1}=a^{-1}\ast a=e⟹(a^{-1}{)}^{-1}=a$
   • $(a\ast b{)}^{-1}=b^{-1}\ast a^{-1}$
     证明：
     $$\begin{gathered} \because e=a\ast a^{-1}=a\ast e\ast a^{-1}=a\ast b\ast b^{-1}\ast a^{-1}=(a\ast b)\ast b^{-1}\ast a^{-1} \\ \therefore (a\ast b{)}^{-1}=b^{-1}\ast a^{-1} \end{gathered}$$
   • $(a^n{)}^{-1}=(a^{-1}{)}^n$，证明过程同上

---

一些定理

1. 定理一：半群 $(G,\ast )$ 是群的充要条件，同时满足两条：

   1. 有左单位元 $e_L,\forall a\in G,e_L\ast a=a$
   2. $\forall a\in G$，有如下形式的左逆元 $a^{-1}\in G,a_L^{-1}\ast a=e_L$

   证明：

   • 必要性（$\text{群}⟹\text{1、2}$）：
     $$\begin{gathered} \because (G,\ast )是群 \\ \therefore \text{由群的性质3、4可知1、2成立} \end{gathered}$$
   • 充分性（$\text{1、2}⟹\text{群}$）：
     $$\begin{gathered} \forall a\in G,\because a_L^{-1}\ast a=e_L(a_L^{-1}{)}_L^{-1}\ast a_L^{-1}=e_L \\ \therefore a\ast a_L^{-1}=e_L\ast a\ast a_L^{-1}=(a_L^{-1}{)}_L^{-1}\ast a_L^{-1}\ast a\ast a_L^{-1}=(a_L^{-1}{)}_L^{-1}\ast e_L\ast a_L^{-1}=(a_L^{-1}{)}_L^{-1}\ast a_L^{-1}=e_L \\ \therefore a_L^{-1}\text{是 }a\text{ 的逆元} \\ \forall a\in G,\because a\ast e_L=a\ast a_L^{-1}=e_L\ast a=a \\ \therefore e_L\text{是单位元} \\ \therefore (G,\ast )\text{是群} \end{gathered}$$

2. 定理二：半群 $(G,\ast )$ 是群的充要条件：

   1. $\forall a,b\in G,a\ast x=b,y\ast a=b\text{均有解}$

   证明：

   • 必要性（$\text{群}⟹\text{1}$）：
     $$\begin{gathered} \because (G,\ast )\text{ 是群} \\ \therefore x=a^{-1}\ast b,y=b\ast a^{-1} \end{gathered}$$
   • 充分性（$\text{1}⟹\text{群}$）：
     $$\begin{gathered} \text{取 }b=a,\text{解 }y\ast a=b,\text{得 }y=e\text{ (注:这里的e是未知数)} \\ \forall c\in G,\text{解 }a\ast x=c,\text{得 }x=d \\ \therefore e\ast c=e\ast a\ast d=a\ast d=c \\ \therefore e\text{ 为左单位元} \\ \because \forall c\in G,\text{解 }y\ast c=e,\text{得 }y=c^{-1} \\ \therefore G\text{有左逆元} \\ \therefore \text{由定理一得：}(G,\ast )\text{ 是群} \end{gathered}$$

3. 定理三：有限半群 $(G,\ast )$ 是群的充要条件（左右消去律成立）：

   1. $a\ast x=a\ast y⟹x=y$
   2. $x\ast a=y\ast a⟹x=y$

   证明：

   • 必要性（$\text{群}⟹\text{1、2}$）：
     $$\begin{gathered} \because (G,\ast )\text{ 是群} \\ \therefore a\ast x=a\ast y⟹a^{-1}\ast a\ast x=a^{-1}\ast a\ast y⟹e\ast x=e\ast y⟹x=y \\ \text{同理},x\ast a=y\ast a⟹x=y \end{gathered}$$
   • 充分性（$\text{1、2}⟹\text{群}$）：
     设  G = { a 1 , a 2 , a 3 , . . . , a n } ∀ a ∈ G , 令 G ′ = { a ∗ a 1 , a ∗ a 2 , a ∗ a 3 , . . . , a ∗ a n } , G ′ ⊆ G 若  a ∗ a i = a ∗ a j , 则  a i = a j ∴ ∣ G ′ ∣ = n = ∣ G ∣ ∴ G ′ = G ∴ ∀ b ∈ G , ∃ a ∗ x ∈ G ′ , a ∗ x = b , 同理 , y ∗ a = b 有解 根据定理二可以得出 , ( G , ∗ )  是群 \text{设 } G = \{ a_1,a_2,a_3,...,a_n \} \\ \forall a \in G , \text{令} G' = \{ a * a_1,a * a_2,a * a_3,...,a * a_n \} , G' \subseteq G \\ \text{若 } a * a_i = a * a_j , \text{则 } a_i = a_j \\ \therefore |G'| = n = |G| \\ \therefore G' = G \\ \therefore \forall b \in G , \exist a * x \in G' , a * x = b , \text{同理} , y * a = b \text{有解} \\ \text{根据定理二可以得出} , (G , *) \text{ 是群} 设 G={a1​,a2​,a3​,...,an​}∀a∈G,令G′={a∗a1​,a∗a2​,a∗a3​,...,a∗an​},G′⊆G若 a∗ai​=a∗aj​,则 ai​=aj​∴∣G′∣=n=∣G∣∴G′=G∴∀b∈G,∃a∗x∈G′,a∗x=b,同理,y∗a=b有解根据定理二可以得出,(G,∗) 是群h

---

置换类群

1. 置换：$\left(\begin{array}{c}1,2,3,4\\ 4,1,3,2\end{array}\right)$，指 $1\to 4,2\to 1,3\to 3,4\to 2$
   $\text{n阶置换：}\left(\begin{array}{c}1,2,3,...,n\\ t_1,t_2,t_3,...,t_n\end{array}\right)\text{逆：}\left(\begin{array}{c}{t}_1,t_2,t_3,...,t_n\\ 1,2,3,...,n\end{array}\right)\text{其中 }{t}_1,t_2,t_3,...,t_n\text{是 }[1,n]\text{ 的全排列}$
2. 定义：
   $S_n=\left\{\left(\begin{array}{c}1,2,3,...,n\\ t_1,t_2,t_3,...,t_n\end{array}\right)|t_1,t_2,t_3,...,t_n\text{是 }[1,n]\text{ 的全排列}\right\}$
   $\text{运算 }\ast \text{：}\left(\begin{array}{c}{t}_1,t_2,t_3,...,t_n\\ u_1,u_2,u_3,...,u_n\end{array}\right)\ast \left(\begin{array}{c}1,2,3,...,n\\ t_1,t_2,t_3,...,t_n\end{array}\right)=\left(\begin{array}{c}1,2,3,...,n\\ u_1,u_2,u_3,...,u_n\end{array}\right)$ 运算顺序从右往左
3. $S_n$ 关于运算 $\ast$ 构成群，我们可称其为 $n$ 次对称群
   1. 封闭性显然
   2. 满足结合律
   3. 有单位元：$\left(\begin{array}{c}1,2,3,...,n\\ 1,2,3,...,n\end{array}\right)$
   4. 有逆元
4. 若 $G\subseteq S_n$，且 $(G,\ast )$ 为群，则称 $(G,\ast )$ 为 $n$ 次置换群
   例：
   • $G=\left\{\begin{array}{c}\left(\begin{array}{c}1,2,3,...,n\\ 1,2,3,...,n\end{array}\right)\end{array}\right\}$
   • $G=\left\{\left(\begin{array}{c}1,2,3,...,n\\ a_1,a_2,a_3,...,a_n\end{array}\right)|a_{i+1}=a_i+1\text{ 或 }{a}_{i+1}=a_i-(n-1)\right\}$

---

子群

1. 定义：设 $(G,\ast )$ 是群，若 $S\subseteq G,(S,\ast )$ 是群，则称 $S$ 是 $G$ 的一个子群（集合必须有包含关系）

2. 若 $S\subseteq G$，且 $S\ne G$，则 $S$ 是 $G$ 的真子群（$S\le G$ 表示 $S$ 是 $G$ 的子群）
   例：

   1. $n$ 次置换群是 $n$ 次对称群的一个子群

   2. 令 H 2 = {   2 ∗ a ∣ a ∈ Z   } , H 3 = {   3 ∗ a ∣ a ∈ Z   } , H m = {   m ∗ a ∣ a ∈ Z   } H_2 = \set{2 * a | a \in Z} , H_3 = \set{3 * a | a \in Z} , H_m = \set{m * a | a \in Z} H2​={2∗a∣a∈Z},H3​={3∗a∣a∈Z},Hm​={m∗a∣a∈Z}
      则 $$\begin{gathered} H_2\in Z⟹H_2\in Q,H_2\in R \\ {H}_3\in Z⟹H_3\in Q,H_3\in R \\ \text{当 }m\in Z,H_m\in Z\text{当 }m\in Q,H_m\in Q\text{当 }m\in R,H_m\in R \end{gathered}$$

   3. 设 $S\in Z:\forall a,b\in S,a\ast x+b\ast y\in S(x,y\in Z),(a,b)\in S$

      1. $(a,b)|a\ast x+b\ast y$
      2. $\forall v\in Z,(a,b)|v,\exists x,y\in Z,\text{使得}a\ast x+b\ast y=v$
      3. 设 $m$ 是除 $0$ 以外，$S$ 中绝对值最小的正数，则 $S=H_m$

      证明：

      • 当 $m$ 不存在时：
        S = { 0 } , S = H 0 S = \{ 0 \} , S = H_0 S={0},S=H0​
      • 当 $m$ 存在时：
        $$\begin{gathered} \forall v\in S,\text{设 }m/|v,\text{则 }(m,|v|)\in S \\ \text{而 }0<(m,|v|)<m,\text{矛盾} \\ \text{故 }S=H_m \end{gathered}$$

3. 平凡子群： S = { 单位元 } G ≤ G S = \{ \text{单位元} \} \kern{2pc} G \leq G S={单位元}G≤G

4. 设 $S$ 是 $G$ 的非空子集，则以下三条等价：

   1. $S\le G$
   2. $\forall a,b\in S,\text{有 }a\ast b\in S,a^{-1}\in S$
   3. $\forall a,b\in S,\text{有 }a\ast b^{-1}\in S$

   证明：

   • $1⟹2$：
     $$\begin{gathered} \because S\text{ 是群} \\ \therefore 2\text{ 成立} \end{gathered}$$
   • $2⟹3$：
     $$\begin{gathered} \because b\in S\therefore b^{-1}\in S \\ \therefore a,b^{-1}\in S\therefore a\ast b^{-1}\in S \\ \therefore 3\text{ 成立} \end{gathered}$$
   • $3⟹1$：
     $$\begin{gathered} \forall a\in S,\text{在 }G\text{ 中},\text{有 }e\ast a=a\ast e=a \\ \therefore \text{在 }S\text{ 中},e\text{ 是 }S\text{ 的单位元} \\ \forall a\in S,e\in S,\text{有 }e\ast a^{-1}=a^{-1}\in S \\ \therefore S\text{ 中的每个元素都有逆元} \\ \forall a,b\in S,\text{有 }{b}^{-1}\in S \\ \therefore a\ast (b^{-1}{)}^{-1}\in S⟹a\ast b\in S \\ \therefore S\text{ 中的运算满足封闭性} \\ \text{综上所述},S\text{ 是 }G\text{ 的子群} \\ \therefore 1\text{ 成立} \end{gathered}$$

5. 定理：设 $G$ 是有限群，$S\subseteq G$，$S$ 非空，$\forall a,b\in S$，有 $a\ast b\in S$，则 $S\in G$
   证明：
   $$\begin{gathered} \forall a\in S: \\ \therefore 1a=a\in S \\ 2a=a\ast a\in S \\ 3a=2a\ast a\in S \\ ...... \\ \text{设 }|S|=n \\ \because 1a,2a,...,(n+1)a\in S \\ \therefore \exists i<j,\text{使得 }ia=ja=ia\ast (j-i)a \\ \text{令 }b=ia,f=(j-i)a\in S \\ \text{则 }b=b\ast f \\ \text{在群 }G\text{ 中},b^{-1}\in G \\ \therefore b^{-1}\ast b=b^{-1}\ast b\ast f \\ \therefore f=ee=(j-i)a\text{ 是 }S\text{ 的单位元} \\ \text{当 }j=i+1: \\ e=(i+1-i)a,\text{即 }a=e \\ \therefore a^{-1}=e\in S \\ \text{当 }j>i+1: \\ a\ast (j-i-1)a=(j-i)a=e \\ \therefore a^{-1}=(j-i-1)a\in S \\ \text{综上所述},S\le G \end{gathered}$$

6. 设 $(G,\ast )$ 是群，满足：$a^n=\underset{n\text{ 个 }a}{\underbrace{a\ast a\ast ...\ast a}}=e$ 的最小正整数 $n$ 称为元素 $a$ 的阶（周期），记为 $o(a)$