抽象代数精解【10】

子群与商群

正规子群

• { 1 } 是 G 的子群，在 G 中指数为 ∣ G ∣ ， [ G : 1 ] \{1\}是G的子群，在G中指数为|G|，[G:1] {1}是G的子群，在G中指数为∣G∣，[G:1]
• $设H是有限群G的子群，则有$
  $[G:1]=[G:H][H:1]=>|G|=[G:H]|H|$
• 有限群G的任一个元素a的阶是G的阶的因子
• < a > = { a n : n ∈ Z } , < a > 是 k 阶群， < a > = { 1 , a , . . . , a k − 1 } <a>=\{a^n:n\in Z\},<a>是k阶群，<a>=\{1,a,...,a^{k-1}\} <a>={an:n∈Z},<a>是k阶群，<a>={1,a,...,ak−1}
• $<a>是由生成的G的子群$
• $G=<a>,G是循环群,G由a生成，a是G的一个生成元。$
• $$\begin{gathered} 设H是群G的子群，则G中由 \\ aRb,a^{-1}b\in H \\ 所定义的关系R为同余关系的充要条件是： \\ gh{g}^{-1}\in H,\forall g\in G,h\in H \\ 此时，称H为G的正规子群，记为H⊲G。 \\ 商群G/H对同余关系R导出的运算构成群，称为G对H的商群。 \end{gathered}$$
• $G为有限群，H⊲G，商群G/H的幺元为1，1\cdot H=H$

生成子群

• S 是群 G 的一个非空子集，令 M 表示 G 中所有包含 S 的子群所组成的集合 , 即： M = { H < G ∣ S ⊆ H } K = ∩ H ∈ M H k 是 G 的子群， K 为群 G 的由子集 S 所生成的子群，简称生成子群，记作 < S > < S > = ∩ S ⊆ H < G H 子集 S 称为 < S > 的生成元组。 S是群G的一个非空子集，令M表示G中所有包含S的子群所组成的集合,即： \\M=\{H < G|S \subseteq H\} \\K=\cap_{H \in M}H \\k是G的子群，K为群G的由子集S所生成的子群，简称生成子群，记作<S> \\<S>=\cap_{S\subseteq H \lt G}H \\子集S称为<S>的生成元组。 S是群G的一个非空子集，令M表示G中所有包含S的子群所组成的集合,即：M={H<G∣S⊆H}K=∩H∈M​Hk是G的子群，K为群G的由子集S所生成的子群，简称生成子群，记作<S><S>=∩S⊆H<G​H子集S称为<S>的生成元组。

• 生成子群是群论中的一个重要概念，它指的是由群中的某些元素通过“乘法”（在群的意义下，可以是任意二元运算）、“取逆”等运算所得到的子群。以下是生成子群的形式化定义：

定义

设$G$是一个群，$S$是$G$的一个非空子集。则包含$S$的$G$的所有子群的交仍是$G$的一个子群，称它为由$S$生成的子群，记为$⟨S⟩$。换句话说，$⟨S⟩$是$G$中包含$S$的最小子群。

性质

1. 最小性：$⟨S⟩$是包含$S$的所有子群中最小的一个，即如果$H$是$G$的包含$S$的子群，那么$⟨S⟩\subseteq H$。
2. 封闭性：$⟨S⟩$对于$G$的运算（乘法、取逆等）是封闭的，即如果$a,b\in ⟨S⟩$，那么$a\cdot b$（乘法运算）和$a^{-1}$（取逆运算）也都在$⟨S⟩$中。
3. 单位元：$⟨S⟩$包含$G$的单位元$e$，因为$e$是任何子群的元素。
4. 生成元：$S$中的元素称为$⟨S⟩$的生成元。特别地，当$S$是有限集时，称$⟨S⟩$为有限生成的。

例子

• 在整数加法群$\mathbb{Z}$中，由元素$2$生成的子群是 ⟨ 2 ⟩ = { … , − 4 , − 2 , 0 , 2 , 4 , … } \langle 2 \rangle = \{ \ldots, -4, -2, 0, 2, 4, \ldots \} ⟨2⟩={…,−4,−2,0,2,4,…}，即所有偶数组成的集合。
• 在有限群（如循环群）中，生成子群可能是整个群本身，也可能是群的一个真子集。

• 生成子群的定义依赖于群的运算和子群的概念，因此在实际应用中需要明确群的运算和子群的性质。

• 在不同的群中，相同的生成元集可能生成不同的子群，这取决于群的运算和结构。

• 生成元组（Generating Set）和生成子群（Generated Subgroup）是两个核心概念。

生成元组

生成元组是群 $G$ 中的一个非空子集 $S$，其通过群运算能够生成整个群 $G$。换句话说，群 $G$ 中的每一个元素都可以表示为 $S$中元素的有限乘积（允许重复，并且可能需要使用群的逆元）。这样的集合 $S$ 被称为群 $G$ 的一个生成元组。

生成子群

给定群 $G$ 和其一个子集 $S$，包含 $S$ 的最小子群被称为由 $S$ 生成的子群，记作 $⟨S⟩$。具体来说，$⟨S⟩$ 包含 $S$ 中的所有元素，以及 $S$中元素通过群运算（包括单位元、逆元和乘积）能够得到的所有元素。换言之，$⟨S⟩$ 是包含 $S$的所有子群中的最小者。

例子

假设 $G$ 是整数集 $\mathbb{Z}$ 关于加法构成的群。

• 如果 S = { 1 } S = \{1\} S={1}，则 $⟨S⟩=⟨1⟩=\mathbb{Z}$，因为通过加法和取反（即加法逆元），你可以从 1 生成任何整数。
• 如果 S = { 2 , 3 } S = \{2, 3\} S={2,3}，则 $⟨S⟩$ 是由 2 和 3 通过加法和它们的加法逆（即减去整数倍的 2 和 3）生成的子群。这个子群包含形如 $2a+3b$（其中 $a,b\in \mathbb{Z}$）的所有整数，但不包含所有整数（例如，1不能通过只加2和3来得到）。

性质

• 生成元组中的元素不一定都是不同的；即，可能有重复的元素。
• 生成子群 $⟨S⟩$ 是群 $G$ 的一个子群，并且它包含了 $S$ 中所有可能的组合（通过群运算）。
• 如果 $S$ 本身就是群 $G$ 的一个子群，那么 $⟨S⟩=S$。

群论中的这些概念在代数、数论、密码学等领域中都有广泛的应用。

• 生成元组与生成子群的例子和例题

一、生成元组的定义与例子

定义：

在群论中，如果群G的元素可以由其某个非空子集S中元素的乘积（或有限次运算）生成，则称S为G的一个生成元组（或生成集）。简单来说，生成元组是群G中能够“生成”G中所有元素的最小集合。

例子：

1. 循环群Z_n：对于模n剩余类加群Z_n = {0, 1, …, n-1}，其中n为正整数，单元素集合{1}（或{n-1}）就是一个生成元组。因为对于任意k ∈
   Z_n，都可以通过1的k次加法（模n）得到k，即k = 1 + 1 + … + 1（k个1相加，模n）。

2. 对称群S_3：考虑三阶对称群S_3，其元素可以表示为集合{(1), (12), (13), (23), (123), (132)}。其中，{(12), (123)}是一个生成元组。因为通过这两个元素的乘积（或复合），可以生成S_3中的所有元素。

二、生成子群的定义与例子

定义：

设S是群G的一个非空子集，G中所有包含S的子群的交集称为由S生成的子群，记作〈S〉。简单来说，〈S〉是G中包含S的最小子群。

例子：

1. 整数加群Z中的生成子群：考虑整数加群Z，对于任意非零整数n，集合{n, 2n, 3n, …}是Z的一个子群，称为由n生成的循环子群，记作〈n〉。例如，〈2〉 = {2k | k ∈ Z} = {…,-4, -2, 0,
   2, 4, …}。

2. 模n剩余类加群Z_n中的生成子群：对于模n剩余类加群Z_n，任意非零元素a生成的子群是〈a〉 = {ak | k ∈ Z, ak对n取模}。例如，在Z_6中，〈2〉 = {0, 2, 4}（因为2^1=2, 2^2=4, 2^3=8=2(mod 6)=2,
   …，循环出现）。

三、例题

例题：设G是一个有限群，S是G的一个非空子集。证明：〈S〉是G的子群。

证明：

1. 首先，由于S非空且S ⊆ G，显然G至少包含一个包含S的子群，因此M（G中所有包含S的子群的集合）非空。

2. 令K为M中所有子群的交集，即K = ∩{H | S ⊆ H, H < G}。由于交集运算保持子群的性质（子群的交仍然是子群），K是G的一个子群。

3. 接下来证明K = 〈S〉。由于K包含所有包含S的子群的元素，因此S ⊆ K。又因为K是子群，所以S的逆元也都在K中，进而S中元素的乘积（或有限次运算结果）也都在K中。因此，由S生成的所有元素都在K中，即〈S〉 ⊆
   K。

4. 另一方面，由于〈S〉是G中包含S的最小子群（根据生成子群的定义），所以任何包含S的子群都必须包含〈S〉。因此，K（作为所有包含S的子群的交集）也必须包含〈S〉，即K
   ⊆ 〈S〉。

5. 综合以上两点，得出K = 〈S〉，即〈S〉是G的子群。

• 更详细解释

1. 生成元组的定义
   在群论中，设 $G$ 是一个群， $S$ 是 $G$ 的一个子集。由 $S$ 生成的群（或称为生成元组）记作 $⟨S⟩$，是指由 $S$ 中的元素通过有限次的群运算（乘积、逆元等）构成的最小子群。

形式化定义： ⟨ S ⟩ = { s 1 n 1 s 2 n 2 ⋯ s k n k ∣ s i ∈ S , n i ∈ Z , k ≥ 0 } \langle S \rangle = \{ s_1^{n_1} s_2^{n_2} \cdots s_k^{n_k} \mid s_i \in S, n_i \in \mathbb{Z}, k \geq 0 \} ⟨S⟩={s1n1​​s2n2​​⋯sknk​​∣si​∈S,ni​∈Z,k≥0} 换句话说， $⟨S⟩$ 是包含 $S$ 且包含于 $G$ 的所有子群中最小的一个子群。

2. 生成子群的定义
   生成子群是指由给定集合 $S$ 生成的群。换句话说，生成子群就是包含集合 $S$ 的所有元素并且是 $G$ 的子群的最小群。

3. 例子

• 例子 1：在整数群 $\mathbb{Z}$ 中，集合 { 2 } \{2\} {2} 生成的子群是 2 Z = { … , − 4 , − 2 , 0 , 2 , 4 , … } 2\mathbb{Z} = \{ \ldots, -4, -2, 0, 2, 4, \ldots \} 2Z={…,−4,−2,0,2,4,…}，即所有偶数的集合。

• 例子 2：在循环群 $\mathbb{Z}/6\mathbb{Z}$ 中，元素 2 生成的子群是 ⟨ 2 ⟩ = { 0 , 2 , 4 } \langle 2 \rangle = \{0, 2, 4\} ⟨2⟩={0,2,4}。

• 例子 3：在对称群 $S_3$ 中，集合 $S=\{(12),(13)\}$ 生成的子群是 $S_3$ 自身，因为 $S_3$ 是由 $S$ 中的元素生成的。

4. 例题

例题 1: 证明整数群 $\mathbb{Z}$ 中元素 3 生成的子群是 $3\mathbb{Z}$。

解答: 设 $H=⟨3⟩$ 是由 3 生成的子群。根据定义，$H$ 是所有 3 的整倍数的集合，即 H = { n ⋅ 3 ∣ n ∈ Z } = 3 Z = { … , − 9 , − 6 , − 3 , 0 , 3 , 6 , 9 , … } . H = \{ n \cdot 3 \mid n \in \mathbb{Z} \} = 3\mathbb{Z} = \{ \ldots, -9, -6, -3, 0, 3, 6, 9, \ldots \}. H={n⋅3∣n∈Z}=3Z={…,−9,−6,−3,0,3,6,9,…}. 因此，$H=3\mathbb{Z}$。

例题 2: 给定 $\mathbb{Z}/12\mathbb{Z}$，计算由元素 4 生成的子群 $⟨4⟩$。

解答: 在 $\mathbb{Z}/12\mathbb{Z}$ 中，计算： $$4\cdot 0=0,4\cdot 1=4,4\cdot 2=8,4\cdot 3=12\equiv 0(\text{mod }12).$$ 所以， ⟨ 4 ⟩ = { 0 , 4 , 8 } \langle 4 \rangle = \{0, 4, 8\} ⟨4⟩={0,4,8}，这是
$\mathbb{Z}/12\mathbb{Z}$ 中由 4 生成的子群。

这些定义和例题帮助理解生成元组与生成子群在群论中的重要性和应用。

• $在整数加群Z，证明：<m>=<n>当且仅当m=\pm n$
  1. 必要性 < m > = < n > , < m > = { a m : a ∈ Z } , < n > = { a n : a ∈ Z } m ∣ a n , a ∈ Z n ∣ a m , a ∈ Z m = ± n 2. 充分性 m = ± n < m > = { ± a n : a ∈ Z } = < n > 1. 必要性 \\<m>=<n>, \\<m>=\{am:a\in Z\},<n>=\{an:a \in Z\} \\m|an,a \in Z \\n|am,a \in Z \\m=\pm n \\2.充分性 \\m=\pm n \\<m>=\{\pm an:a \in Z\}=<n> 1.必要性<m>=<n>,<m>={am:a∈Z},<n>={an:a∈Z}m∣an,a∈Zn∣am,a∈Zm=±n2.充分性m=±n<m>={±an:a∈Z}=<n>

参考文献

1.文心一言,chatgpt
2.《近世代数》