第十五章 群与半群（代数结构）（更新中）

第十五章 半群与群

群(逆) $\subset$ 含幺半群(幺) $\subset$ 半群(结) $\subset$ 广群(闭)

15.1 半群 Semigroup

$<R,+>$	群
$<R,\times >$	含幺半群（ $0$ 无逆元）
$<M_{m,n},+>$	群

• 幂 power：设半群 $<S,\ast >$，由于 $\ast$ 满足结合律，可有幂运算。

  • 定义：对 $\forall x\in S$，$x^n=x^{n-1}\ast x=\overbrace{x\ast x\ast ...\ast x}$。若 $<S,\ast >$ 有单位元 $e$，有 $x^0=e$

  • 性质：若 $<S,\ast >$ 为半群，$m,n$ 为 $N^{+}$ ；若为含幺半群，$m,n$ 为 $N$，

    1. $a^m\ast a^n=a^{m+n}$
    2. $(a^m{)}^n=a^{mn}$

    $例$：加法运算时 $ma+na=(m+n)a,n(ma)=(mn)a$

  • 定理：有限半群 $<S,\ast >$ 必有幂等元。即存在 $a\in S,a^2=a$.

    证明：
    $$\begin{gathered} 若S有幺元e,则e为幂等元 \\ \because 有限半群\therefore \exists b^n=b^m=b^{m-n}\ast b^n \\ \therefore 对\forall t>n,有b^t=b^{m-n}\ast b^t=...=b^{k(m-n)}\ast b^t. \\ 令t=k(m-n),则有b^t=b^t\ast b^t,即b^t是幂等元 \end{gathered}$$

• 子半群：

  • 子半群：若 $<S,\ast >$ 为半群，$T$ 是 $S$ 的非空子集，且 $T$ 对 $“\ast ”$ 也是封闭的。则 $<T,\ast >$ 是半群 $<S,\ast >$ 的子半群。

  • 子含幺半群：若 $<S,\ast >$ 为含幺半群，$T\in S,e\in T$ ，且 $T$ 对 $“\ast ”$ 也是封闭的。则 $<T,\ast >$ 是含幺半群 $<S,\ast >$ 的子含幺半群。

    $例$：$<Z,\times >,<R^{+},\times >$ 等都是 $<R,\times >$ 的子半群

15.2 群与子群 Group & Subgroup

• 群 Group：

  • 两种定义：

    1. 逆元：每个元都有 逆元 的含幺半群

    2. 方程有解：若半群 $<G,\cdot >$ 中对 $\forall a,b\in G$ 都存在 $x,y\in G$ 使 $x\cdot a=a\cdot y=b$，则 $<G,\cdot >$ 是群。

       证明：

       1. 证幺元：当 $a=b$ 时，$x$ 为左幺元，$y$ 为右幺元。故 $G$ 有幺元 $e=x=y$

       2. 证逆元：当 $b=e$ 时，$x$ 为左逆元，$y$ 为右逆元。故 $a\in G$ 有逆元 $a^{-1}=x=y$

          故 $<G,\cdot >$ 为群。

       说明：

       1. 群定义中逆元和幺元的条件可用方程有解代替
       2. 幺(逆)元条件可用存在左幺(逆)元和右幺(逆)元代替

  • $实例$：

    1. 加群：整数加群 $<Z,+>$，实数加群 $<R,+>$，有理数加群 $<Q,+>$

    2. 乘群：

       1. 整数乘：$<Z,\times >$ 是含幺半群
       2. 实数乘： < R − { 0 } , × > <R{\color{red}-\{0\}},\times> <R−{0},×> 是群

    3. 剩余类：

       1. 剩余类加群： < Z k , ⊕ > , Z k = { 0 , 1 , . . , k − 1 } <Z_k,\oplus>,Z_k=\{0,1,..,k-1\} <Zk​,⊕>,Zk​={0,1,..,k−1} 是群

       2. 剩余类乘：

          1. < Z k , ⊗ > , Z k = { 0 , 1 , . . , k − 1 } <Z_k,\otimes>,Z_k=\{0,1,..,k-1\} <Zk​,⊗>,Zk​={0,1,..,k−1} 是含幺半群。

          2. < Z k − { [ 0 ] } , ⊗ > , Z k = { 0 , 1 , . . , k − 1 } <Z_k{\color{red}-\{[0]\}},\otimes>,Z_k=\{0,1,..,k-1\} <Zk​−{[0]},⊗>,Zk​={0,1,..,k−1}：若 $k$ 为素数，则是群；若 $k$ 是合数，则只是含幺半群。

             证明：运算封闭，且由于 $i$ 与 $k$ 互素，故存在整数 $x,y$ 使得 $ix+ky=1$，可得 $x\equiv i^{-1}(\mathrm{m}\mathrm{o}\mathrm{d}k)$

    4. $n$ 次对称群 $<S_n,\circ >$：$|A|=n$ 的集合 $A$ 的全体置换构成集合 $S_n$，$\circ$ 为置换运算

       置换：一个集合对其自身的双射

       证明：由于复合函数的性质，运算是封闭且可结合的。存在幺置换和每个置换的逆置换，因此 $<S_n,\circ >$ 为群

  • 性质：

    1. 消去律：若 $a\cdot b=a\cdot c$，则 $b=c$

       证明：因为有逆元

    2. 由已知群构造新群：设群 $<G,\circ >,a\in G$，对于 $\forall x\in G$ 有 $G\to G$ 上的映射 ${\phi }_a(x)=a\cdot x$。令 H = { φ a ∣ a ∈ G } H=\{\varphi_a|a\in G\} H={φa​∣a∈G}，则对于函数复合运算 $“\circ ”$，有 $<H,\circ >$ 为群。

• 子群 Subgroup：设 $<G,\cdot >$ 是群，$S$ 是 $G$ 的非空子群

  • 定义：若 $<S,\cdot >$ 也是群，则称 $S$ 是 $G$ 的子群

  • $实例$：

    1. 每个群都有两个子群：群自身和幺元子群(平凡子群) < { e } , ⋅ > <\{e\},\cdot> <{e},⋅>

    2. 生成子群：设群 $<G,\circ >,a\in G$，记 S = { a n ∣ n ∈ Z } \color{red}S=\{a^n|n\in Z\} S={an∣n∈Z}，则 $<S,\circ >$ 是 $<G,\circ >$ 的子群，记为 $(a)$

       证明：首先，$<S,\cdot >$ 运算封闭且是可结合的。其次，$S$ 有幺元 $e=a^0$，有逆元 $a^n\cdot a^{-n}=e$.

  • 性质：

    1. 同幺元：子群的幺元与群的幺元相同

    2. 判别子群：设 $<G,\cdot >$ 是群，$S$ 是 $G$ 的非空子集，则 $<S,\cdot >$ 是 $<G,\cdot >$ 的子群 $⟺\forall a,b\in S,a\cdot b^{-1}\in S$
       证：

       1. 幺：当 $a=b$ 时，$a\cdot b^{-1}=e\in S$. 故有幺元
       2. 逆：当 $a=e$ 时，$a\cdot b^{-1}=b^{-1}\in S$. 故每个元素有逆元
       3. 结：结合律继承于群 $<G,\cdot >$
       4. 闭：$a\cdot b=a\cdot (b^{-1}{)}^{-1}\in S$. 故 $a\cdot b\in S$

       $例题$：设 $<G,\cdot >$ 是群，定义 H = { h ∣ h ∈ G ⋀ ( ∀ x ) [ x ∈ G → x ⋅ h = h ⋅ x ] } H=\{h|h\in G\bigwedge(\forall x)[x\in G\rightarrow x\cdot h=h\cdot x] \} H={h∣h∈G⋀(∀x)[x∈G→x⋅h=h⋅x]}，即 $H$ 由 $G$ 中可和每个元交换的运算的元素构成的集合。证明 $<H,\cdot >$ 是 $G$ 的一个子群。

       解：
       $$\begin{gathered} 首先幺元e\in H，所以H\ne \varnothing \\ 设\forall a,b\in H,对\forall x\in G,若b\cdot x=x\cdot b,则有x\cdot b^{-1}=b^{-1}\cdot x \\ 从而(a\cdot b^{-1})\cdot x=a\cdot x\cdot b^{-1}=x\cdot (a\cdot b^{-1}),即a\cdot b^{-1}\in H \\ 故H是G的一个子群 \end{gathered}$$

    3. 有限群判别子群：子集 $S$ 是有限群 $G$ 的子群 $⟺$ $S$ 是封闭的（$\forall a,b\in S$，有 $a\cdot b\in S$）

15.3 交换群和循环群

• 交换群 Abelian Group：
  • 定义：$<G,\cdot >$ 的运算满足交换律
  • 性质：群 $<G,\cdot >$ 是交换群 $⟺\forall a,b\in G,(a\cdot b{)}^2=a^2\cdot b^2$
• 循环群：
  • 定义：存在元 $a$ 属于群 $<G,\cdot >$，使得 $G$ 能由 $a$ 生成，即 $G=(a)$，则称 $G$ 为循环群，称 $a$ 是 $G$ 的生成元。
  • $实例$：
    1. 存在 $i\ne j$ 使得 $a^i=a^j$：剩余类加群 $<Z_k,\oplus >$ 的生成元 $[a]$ 满足 $\gcd (a,k)=1$
    2. 任何 $i\ne j$，都有 $a^i\ne a^j$：整数加群 $<Z,+>$ 的生成元有 $1,-1$
  • 元素周期：设 $<G,\cdot >$ 是群，$a\in G$，称使得 $a^n=e$ 的最小正整数 $n$ 为元素 $a$ 的周期。若不存在则 $a$ 的周期为 $\infty$
    • 性质：$a^m=e⟺n|m$，$a^i=a^j⟺n|(i-j)$， ( a ) = { e , a , a 2 , . . . , a n − 1 } (a)=\{e,a,a^2,...,a^{n-1}\} (a)={e,a,a2,...,an−1}
  • 阶：群中元素数目

15.4 陪集与拉格朗日定理

15.5 正规子群与商群

15.6 同态与同构

性质：$a^m=e⟺n|m$，$a^i=a^j⟺n|(i-j)$， ( a ) = { e , a , a 2 , . . . , a n − 1 } (a)=\{e,a,a^2,...,a^{n-1}\} (a)={e,a,a2,...,an−1}
- 阶：群中元素数目