认识：广群、半群、含幺半群、子半群、群、有限群、无限群、子群、平凡子群、交换群、循环群、生成子群

1. 基础概念

(1) 广群 (Magma)

• 定义：非空集合 S ，配备一个封闭的二元运算 ∗:S×S→S。
• 性质：仅要求运算封闭，无需满足结合律或其他条件。
• 示例：集合{a, b}，定义运算 a * a = b ，a * b = a， b * a = a， b * b = b 。

(2) 半群 (Semigroup)

• 定义：广群(S, *) ，且运算满足结合律，即∀a,b,c∈S,(a∗b)∗c=a∗(b∗c)。
  

(3) 含幺半群 (Monoid)

• 定义：半群(M, *) ，存在单位元 e∈ M，使得∀a∈M,a∗e=e∗a=a)。
• 性质：单位元唯一。
• 示例：自然数集N与加法（单位元为0）或乘法（单位元为1）。

2. 群 (Group)

(1) 群的定义

• 定义：含幺半群(G, *)，且每个元素有逆元，即 ∀a∈G,∃b∈G, 使得 a∗b=b∗a=e。
• 关键性质：
  • 运算封闭、结合律成立、存在单位元、每个元素有逆元。
  • 满足消去律：若 ab = ac ，则 b = c （左消去）；同理右消去。

(2) 有限群与无限群

• 有限群：群 G 的元素个数有限，记为 |G| （群的阶）。
  • 示例：模 n 的整数加法群 Zn = {0, 1, …, n-1}，阶为 n 。
• 无限群：群 G 的元素无限。
  • 示例：整数加法群 (Z, +) 。

(3) 交换群 (Abelian Group)

• 定义：群 G，运算满足交换律，即 ∀a,b∈G,a∗b=b∗a。
• 性质：
  • 所有循环群都是交换群。
  • 运算可写成加法形式（如 a + b ），但非必须。
• 示例：实数加法群 (R, +)。

(4) 循环群 (Cyclic Group)

• 定义：存在一个元素 g∈G，使得 G = { g k ∣ k ∈ Z } G=\{ g^k∣k∈\mathbb Z \} G={gk∣k∈Z}，即群中所有元素均可由 g 生成。
• 性质：
  • 循环群必为交换群。
  • 有限循环群的阶等于生成元的阶。
• 示例：
  • 无限循环群：$(\mathbb{Z},+)$，生成元为1 或 -1。
  • 有限循环群：${\mathbb{Z}}_n$，生成元为与n 互质的数。

3. 子结构

(1) 子半群 (Subsemigroup)

• 定义：半群 S 的非空子集 T ，且 T 对原运算封闭。
• 示例：正偶数集 $2{\mathbb{Z}}^{+}$ 是半群$({\mathbb{Z}}^{+},+)$ 的子半群。

(2) 子群 (Subgroup)

• 定义：群 G的非空子集H，且 H 对运算封闭、包含单位元、每个元素有逆元。
  • 等价条件：$\forall a,b\in H,a\ast b^{-1}\in H$。
• 平凡子群 (Trivial Subgroup)：仅包含单位元的子群 {e}，以及G 本身。
• 示例：$n\mathbb{Z}$是$(\mathbb{Z},+)$的子群。

(3) 生成子群 (Generated Subgroup)

• 定义：由群 G 的子集 S 生成的最小（包含 S 的）子群，记为 $⟨S⟩$。
  • 形式： ⟨ S ⟩ = { s 1 k 1 s 2 k 2 ⋯ s m k m ∣ s i ∈ S , k i ∈ Z } \langle S \rangle = \{ s_1^{k_1} s_2^{k_2} \cdots s_m^{k_m} \mid s_i \in S, k_i \in \mathbb{Z} \} ⟨S⟩={s1k1​​s2k2​​⋯smkm​​∣si​∈S,ki​∈Z}。
• 性质：若 S = { g } S = \{g\} S={g}，则 KaTeX parse error: Can't use function '\)' in math mode at position 19: …ngle g \rangle \̲)̲ 是循环群。
• 示例：在${\mathbb{Z}}_6$中， ⟨ 2 ⟩ = { 0 , 2 , 4 } \langle 2 \rangle = \{0, 2, 4\} ⟨2⟩={0,2,4}。

4. 概念关系总结

5. 核心性质对比

1. 半群 vs 群

   • 半群只需结合律，无需单位元和逆元；群需三者。
   • 半群可能无解方程（如$a\ast x=b$），群中方程恒有解。

2. 循环群 vs 交换群

   • 所有循环群都是交换群，但反之不成立（如克莱因四元群是交换群但非循环群）。

3. 子群 vs 生成子群

   • 子群是任意满足条件的子集；生成子群是通过特定子集构造的“最小”子群。