抽象代数学习笔记

这里是本人的抽象代数学习笔记, 由于还在学习中, 观点比较肤浅, 还望见谅.

正在持续更新中, 如果发现错误欢迎指出qwq

参考文献

  • 《抽象代数基础 (第二版)》丘维声
  • 《近世代数》丘维声
  • 《代数学基础 (第二版)》张英伯, 王恺顺
  • 《Algebra Chapter 0 (2nd printing)》Paolo Aluffi
  • 《代数学方法 (网络版)》李文威
  • nLab

目录

  1. 1.1 群的基本概念

    1.2 置换、对称群

    1.3 陪集、商集

    1.4 群的同态、同构、直积、正规子群、商群

    1.5 可解群、单群、Jordan-Hölder 定理

    1.6 群在集合上的作用

1. 群

1.1 群的基本概念

定义1.1.1 群 (Group)

设 $G$ 是一个非空集合, 如果在 $G$ 上定义了一个代数运算 ($\cdot:G\times G\to G,(a,b)\mapsto a\cdot b$, 简记为 $ab$ ), 并且它适合下列条件:

  1. 结合律 (associative law): $\forall a,b,c\in G,\ (ab)c=a(bc)$.

  2. 存在单位元 (identity element): $\exists e\in G,\forall a\in G,ae=ea=a$.

  3. 存在逆元 (inverse): $\forall a\in G,\exists a^{-1}\in G,aa^{-1}=a^{-1}a=e$.

则称 $(G,\cdot)$ 是一个群, 简写为 $G$.

如果一个群 $G$ 上的运算满足交换律 (commutative law), 即 $\forall a,b\in G,ab=ba$, 则称 $G$ 为 Abel 群 (abelian group).

我们定义 ($n\in \mathbb{Z}^+$):

$a^n:=\underbrace{aa\cdots a}_n$

$a^{-n}:=\underbrace{a^{-1}a^{-1}\cdots a^{-1}}_n$

$a^0:=e$

则利用结合律, 显然有 ($n,m\in \mathbb{Z}$):

$a^na^m=a^{n+m}$

$(a^n)^m=a^{nm}$

证明群 $G$ 中有且仅有一个单位元, 对于每个元素 $x$, 有且仅有一个逆元:

Proof.

  • 单位元: 若 $e_1,e_2\in G$ 均为 $G$ 的单位元, 则 $e_1=e_1e_2=e_2$.

  • 逆元: 若 $x^{-1}_1,x_2^{-1}\in G$ 均为 $x$ 的逆元, 则 $x_1^{-1}=x^{-1}_1e=x^{-1}_1xx^{-1}_2=ex_2^{-1}=x_2^{-1}$. $\square$

一些群的例子:

  • 整数加群 $(\mathbb {Z},+)$.

  • 有理数加群 $(\mathbb {Q},+)$ 和有理数乘法群 $(\mathbb {Q^*},\cdot)$.

    其中 $\mathbb {Q}^*:=\mathbb {Q}\backslash\{0\}$.

  • 模 $p$ 意义下的剩余类加群 $(\mathbb {Z}_p,+)$, 以及去掉所有没有乘法逆元的元素得到的模 $p$ 意义下的剩余类乘法群 $(\mathbb {Z}_p^*,\cdot)$.

    其中 $\mathbb {Z}_p^*:=\{[a]\in \mathbb {Z}_p|\exists [a]^{-1}\in \mathbb {Z}_p,[a][a]^{-1}=[1]\}$.

  • 矩阵加法群 $(\mathrm {M}_n(F),+)$.

  • 一般线性群 $(\mathrm {GL}_n(F),\cdot)$, 特殊线性群$(\mathrm {SL}_n(F),\cdot)$.

    其中 $\mathrm {GL}_n(F):=\{A\in\mathrm {M}_n(F)\mid|A|\ne 0\},\mathrm {SL}_n(F):=\{A\in\mathrm {M}_n(F)\mid|A|=1\}$.

定义1.1.2 群的等价定义1

设 $G$ 是一个非空集合, 如果在 $G$ 上定义了一个代数运算, 并且它适合下列条件:

  1. 结合律: $\forall a,b,c\in G,\ (ab)c=a(bc)$.

  2. 存在右单位元: $\exists e\in G,\forall a\in G,ae=a$.

  3. 存在右逆元: $\forall a\in G,\exists a^{-1}\in G,aa^{-1}=e$.

则称 $G$ 是一个群.

等价证明 ($1.1.1 \Leftrightarrow 1.1.2$):

Proof.

  • ($\Rightarrow$)

    显然成立.

  • ($\Leftarrow$)

    左单位元和右单位元相等: $ee=e\Rightarrow e(xx^{-1})=xx^{-1}\Rightarrow exx^{-1}(x^{-1})^{-1}=xx^{-1}(x^{-1})^{-1}\Rightarrow ex=x$.

    左逆元和右逆元相等: $x^{-1}xx^{-1}=ex^{-1}=x^{-1}\Rightarrow x^{-1}xx^{-1}(x^{-1})^{-1}=x^{-1}(x^{-1})^{-1}=e\Rightarrow x^{-1}x=e$. $\square$

定义1.1.3 群的等价定义2

设 $G$ 是一个非空集合, 如果在 $G$ 上定义了一个代数运算, 且 $\forall a,b\in G$, 方程 $ax=b$ 和 $ya=b$ 均有解.

等价证明 ($1.1.2\Leftrightarrow 1.1.3$):

Proof.

  • ($\Rightarrow$)

    $\forall a,b\in G$, 令 $x=a^{-1}b,y=ba^{-1}$, 则有 $ax=b,ya=b$. 即方程 $ax=b$ 和 $ya=b$ 均有解.

  • ($\Leftarrow$)

    任取 $a\in G$, 令 $e$ 为 $ax=a$ 的解.

    • 先证明 $\forall b\in G,be=b$:

      令 $x_0$ 为 $xa=b$ 的解, 则有 $be=(x_0 a)e=x_0(ae)=x_0a=b$.

    • 再证明右逆元存在:

      $\forall b\in G$, 方程 $bx=e$ 有解所以右逆元存在. $\square$

定义 1.1.4 半群 (Semigroup)、幺半群 (Monoid)

设 $G$ 是一个非空集合, 如果在 $G$ 上定义了一个代数运算.

  1. 结合律: $\forall a,b,c\in G,\ (ab)c=a(bc)$.

  2. 存在单位元: $\exists e\in G,\forall a\in G,ae=ea=a$.

如果这个代数运算满足 (1), 则称 $G$ 为半群, 如果满足 (1) 和 (2), 则称 $G$ 是幺半群.

定义1.1.5 有限群、无限群

如果群 $G$ 是有限集合, 则称 $G$ 是有限群, 它的元素个数称为 $G$ 的阶 (order), 记作 $|G|$.

如果群 $G$ 是无限集合, 则称 $G$ 是无限群.

定义1.1.6 子群 (Subgroup)

$G$ 是一个群, 如果 $H\subset G\land H\ne \emptyset$, 且 $H$ 关于群 $G$ 的代数运算构成一个群 (该运算需要在 $H$ 上封闭, 即 $\forall a,b\in H,ab\in H$), 则称 $H$ 是 $G$ 的子群, 记作 $H<G$.

命题1.1.1 一个群的子群和其具有相同的单位元且同一元素在两群中的逆元相同

Proof.

设 $G$ 是一个群, $H<G$.

  • 具有相同的单位元:

    任取 $a\in H$, 则 $ae_{H}=a\Rightarrow a^{-1}ae_H=a^{-1}a\Rightarrow ee_H=e\Rightarrow e_H=e$.

  • 同一元素在两群中的逆元相同

    任取 $a\in H$, 则 $aa^{-1}_H=e_H=e\Rightarrow a^{-1}_H=a^{-1}$. $\square$

命题1.1.2 $G$ 是一个群, $H\subset G$ 且 $H\ne \emptyset$, 则 $H<G\Leftrightarrow (\forall a,b\in H, ab^{-1}\in H)$

Proof.

  • ($\Rightarrow$)

    任取 $a,b\in H$, 由命题 1.1.1 知 $b^{-1}\in H$, 所以 $ab^{-1}\in H$.

  • ($\Leftarrow$)

    任取 $a\in H$, 有 $e=aa^{-1}\in H$.

    再任取 $b\in H$, 有 $b^{-1}=eb^{-1}\in H$.

    所以 $H$ 关于 $\cdot$ 构成群, $H< G$. $\square$

命题1.1.3 设 $H,K$ 都是 $G$ 的子群, 则 $H\cap K$ 是 $G$ 的子群.

Proof.

任取 $a,b\in H\cap K$, 则有 $ab^{-1}\in H$ 且 $ab^{-1}\in K$

所以 $ab^{-1}\in H\cap K$, 由命题 1.1.2 知 $H\cap K$ 是 $G$ 的子群. $\square$

命题1.1.4 设 $H,K$ 都是群 $G$ 的子群, 令 $HK:=\{hk|h\in H,k\in K\}$, 则 $HK$ 为子群当且仅当 $HK=KH$.

Proof.

  • ($\Rightarrow$)

    任取 $h\in H,k\in K$, 则

    因为 $h^{-1}k^{-1}\in HK\land HK$ 是群 $\Rightarrow (h^{-1}k^{-1})^{-1}\in HK\Rightarrow kh\in HK$.

    所以 $KH\subset HK$.

    因为 $k^{-1}h^{-1}\in HK\Rightarrow \exists h_1\in H,k_1\in K, h_1k_1=k^{-1}h^{-1}\Rightarrow hk=(h_1k_1)^{-1}=k_1^{-1}h_1^{-1}\in KH$

    所以 $HK\subset KH$.

    所以 $HK=KH$.

  • ($\Leftarrow$)

    任取 $h_1,h_2\in H,k_1,k_2\in K$

    由 $HK=KH$ 知 $k_2^{-1}h_2^{-1}\in HK$ 所以 $\exists h_3\in H,k_3\in K,h_3k_3=k_2^{-1}h_2^{-1}$.

    所以 $h_1k_1k_2^{-1}h_2^{-1}=h_1k_1h_3k_3$. 由 $HK=KH$ 知 $\exists h_4\in H,k_4\in K,h_4k_4=k_1h_3$

    所以 $h_1k_1k_2^{-1}h_2^{-1}=h_1h_4k_4k_3\in HK$. 由命题 1.1.2 知 $HK$ 为 $G$ 的子群. $\square$

定义1.1.7 循环群 (Cyclic Group)

$G$ 是一个群, 如果 $\exists \xi\in G,\forall a\in G,\exists k\in \mathbb{Z},\xi^k=a$. 则称 $G$ 是一个循环群, 记作 $\left< \xi\right> $. 其中, $\xi$ 被称为 $G$ 的生成元 (generator).

定义1.1.8 元素的阶 (Order)

一个元素的阶即能使得 $a^n=e$ 的最小正整数 $n$, 记作 $|a|=n$.

如果 $\forall n\in \mathbb Z^+,a^n\ne e$, 则记作 $|a|=\infty$.

如果 $|a|\ne \infty$, 显然有 $\left|\left<a\right>\right|=|a|$.

如果 $a^n=e$, 则有 $|a|\mid n$.

Proof.

若 $a^n=e$, 做带余除法得 $n=k|a|+r$.

则有 $e=a^n=a^{k|a|+r}=a^r$.

由于 $r<|a|$ 且 $a^r=e$, 所以 $r=0$. $\square$

命题1.1.5 $G$ 是一个群, $a,b\in G$, 若 $(|a|,|b|)=1$ 且 $ab=ba$, 则 $|ab|=|a||b|$

Proof.

设 $n=|a|,m=|b|,s=|ab|$.

做带余除法得 $s=k_1n+r_1,s=k_2m+r_2$.

$e=(ab)^s=a^sb^s=a^{k_1n+r_1}b^{k_2m+r_2}=a^{r_1}b^{r_2}$.

则有 $a^{r_1}=b^{-r_2}\Rightarrow (a^{r_1})^m=(b^{-r_2})^m\Rightarrow a^{r_1m}=b^{-r_2m}=e$.

所以 $n\mid r_1m$ 又因为 $(n,m)=1$, 所以 $n\mid r_1$.

又由于 $r_1<n$ 所以 $r_1=0$.

同理得 $r_2=0$.

所以 $m\mid s$ 且 $n\mid s$ $\Rightarrow mn\mid s\Rightarrow s\ge mn$.

又因为 $(ab)^{mn}=a^{mn}b^{mn}=e$, 所以 $s=mn$. $\square$

命题1.1.6 若 $G$ 是一个有限 Abel 群, 则 $\exists x\in G,\forall a\in G,|a|\mid |x|$

Proof.

令 $x$ 为 $G$ 中阶最大的元素, 且 $|x|=n$.

假设 $\exists a\in G$, $|a|=m$ 且 $m\nmid n$.

即 $\exists p$ ($p$ 是素数), $n=k_1p^{r_1},m=k_2p^{r_2}(k_1,k_2,r_1,r_2\in \mathbb N,p\nmid k_1,p\nmid k_2)$, $r_2>r_1$.

由于 $|a|=k_1p^{r_1}$ 所以 $|a^{p^{r_1}}|=k_1$.

由于 $|b|=k_2p^{r_2}$ 所以 $|b^{k_2}|=p^{r_2}$.

因为 $p\nmid k_1\Rightarrow (k_1,p^{r_2})=1$.

由命题 1.1.2 知 $|a^{r_1}b^{k_2}|=k_1p^{r_2}>k_1p^{r_1}=n$, 与 $x$ 是阶最大的元素产生矛盾.

所以 $\forall a\in G,|a|\mid n$. $\square$

命题1.1.7 若 $G$ 为有限 Abel 群, 则 $G$ 中存在一个元素, 则 $G$ 为循环群当且仅当 $\forall m\in\mathbb {Z}^+$, 方程 $x^m$ 的根的个数不超过 $m$.

Proof.

  • ($\Rightarrow$)

    因为 $G$ 是循环群, 所以 $\exists a\in G$, 使得 $G=\left<a\right>$.

    设 $n=|a|$.

    则方程 $x^m=e$ 的解的个数即关于 $k$ 的方程 $a^{km}=e\ (0\le k<n)$ 的解的个数.

    则有 $n|km$, 即 $\frac{n}{(m,n)}|k$, 在范围内满足条件的数有 $n\cdot \frac{(m,n)}{n}=(m,n)$ 个, 而 $(m,n)\le m$.

  • ($\Leftarrow$)

    由命题 1.1.6 可知, $\exists a\in G$, $|a|$ 的阶是其它所有元素的阶的倍数.

    设 $n=|a|$. 由于 $n$ 是其它所有元素的阶的倍数, 所以 $\forall x\in G,x^n=e$.

    所以 $\forall x\in G,x$ 都是方程 $x^n=e$ 的解, 其个数不超过 $n$ 个所以 $|G|\le n$.

    又因为 $\left|\left< a\right>\right|=|a|=n$ 且 $\left<a\right>\subset G$, 所以 $|G|=\left|\left<a\right>\right|=n$, 所以 $G=\left<a\right>$. $\square$

定义 1.1.9 生成子群

设 $G$ 是一个群, $S$ 是 $G$ 的非空子集. 记
$$\left< S\right>=\{a_1^{\varepsilon_1}a_2^{\varepsilon_2}\cdots a_s^{\varepsilon_s}\in S|a_1,a_2,\dots,s_s\in S,\varepsilon_1,\varepsilon_2,\dots,\varepsilon_n=\pm 1,s\in \mathbb{Z}^+\}
$$
显然 $\left<S\right>$ 是 $G$ 的一个子群, 称为 $G$ 的由 $S$ 生成的子群 (subgroup generated by $S$).

特别地, 如果 $G=\left<S\right>$, 则称群 $G$ 是由 $S$ 生成的, $S$ 叫做 $G$ 的一个生成元集 (generator set), 如果 $S=\{a_1,a_2,\dots,a_n\}$ 是一个有限集, 那么就称 $G$ 是有限生成的 (finitely generated), 记作 $G=\left<a_1,a_2,\dots,a_n\right>$.

例:

  • 循环群是由一个元素生成的群.
  • 二面体群 (dihedral group) $D_n:=\left<\rho_1,\tau_0\right>$, 其中 $|\rho_1|=n,|\tau_0|=2,\rho_1\tau_0\rho_1=\tau_0$.

1.2 置换、对称群

定义1.2.1 置换 (Permutation)

非空集合 $\Omega$ 到自身的所有双射组成的集合, 对于映射的乘法成一个群, 称它为集合 $\Omega$ 的全变换群 (full transformation group), 记作 $S_{\Omega}$.

特别的, 当 $\Omega$ 是有限集合时, $\Omega$ 到自身的一个双射叫做 $\Omega$ 的一个置换. 设 $\Omega$ 含有 $n$ 个元素, 不妨设 $\Omega=\{1,2,\dots,n\}$, 这时 $\Omega$ 的一个置换称为 $n$ 元置换 (permutation on n letters), 并且称 $\Omega$ 的全变换群为 $n$ 元对称群 (symmetric group on n letters), 记作 $S_n$.

1.2 节未完待续
才不是懒得写呢!

1.3 陪集、商集

定义1.3.1 陪集 (Coset)

$G$ 是一个群, $H<G$, 任取 $a\in G$, 称 $aH:=\{ah|h\in H\}$ 为 $H$ 的一个左陪集 (left coset), 称 $Ha:=\{ha|h\in H\}$ 为 $H$ 的一个右陪集 (right coset).

$(ah_1=ah_2\Rightarrow h_1=h_2)\Rightarrow |aH|=|H|$.

命题1.3.1及1.3.2省略 $G$是一个群, $H<G$的前提条件.

命题1.3.1 $aH=bH\Leftrightarrow b^{-1}a\in H$

Proof.

  • ($\Rightarrow $)

    任取 $ah_1\in aH$, 则有 $ah_1\in bH$, 则可以得到 $\exists h_2\in H,ah_1=bh_2$.

    那么 $b^{-1}a=h_2h_1^{-1}\in H$.

  • ($\Leftarrow$)

    任取 $ah\in aH$, 有 $ah=a(a^{-1}b)(b^{-1}a)h=b(b^{-1}a)h$.

    因为 $(b^{-1}a)h\in H$ 所以 $ah=b(b^{-1}a)h\in bH$.

    所以 $aH\subset bH$, 同理得 $bH\subset aH$, 所以有 $aH=bH$. $\square$

命题1.3.2 $aH= bH\Leftrightarrow aH\cap bH\ne \emptyset$

(该命题等价于 $aH\ne bH\Leftrightarrow aH\cap bH= \emptyset$)

Proof.

  • ($\Rightarrow $)

    显然.

  • ($\Leftarrow$)

    因为 $aH\cap bH\ne \emptyset$, 任取 $c\in aH\cap bH$.

    则 $\exists h_1,h_2\in H,ah_1=bh_2=c$.

    那么 $ab^{-1}=h_2h_1^{-1}\in H$, 由命题 1.3.1 知, $aH=bH$. $\square$

定义1.3.2 商集 (Quotient Set)

$(G/H)_l:=\{aH|a\in G\}$ 称为 $G$ 关于 $H$ 的左商集 (left quotient set).

$(G/H)_r:=\{Ha|a\in G\}$ 称为 $G$ 关于 $H$ 的右商集 (right quotient set).

由命题 1.3.2 知 $G=\coprod_{A\in(G/H)_l} A$. ( $\coprod$ 表示不交并)

定义 $[G:H]:=|(G/H)_l|$.

命题1.3.3 (Lagrange 定理) $G$ 是一个有限群, $H<G$, 则$|G|=|H|[G:H]$.

Lagrange 定理的另一种表示方式是 $|H|\mid|G|$.

Proof.

因为 $G=\coprod_{A\in(G/H)_l} A$, 所以 $|G|=\sum_{A\in(G/H)_l} |A|=\sum_{A\in(G/H)_l} |H|=|H|[G:H]$. $\square$

命题1.3.4 如果 $G$ 是一个有限群, 则有 $\forall a\in G,a^{|G|}=e$.

Proof.

$\left<a\right>$ 是 $G$ 的子群, 所以由 Lagrange 定理知 $\left|\left<a\right>\right|\mid|G|$.

又因为 $|a|=\left|\left<a\right>\right|$, 所以 $|a|\mid |G|$.

所以 $a^{|G|}=e$. $\square$

命题1.3.5 (Fermat 小定理) 如果 $p$ 是素数, 且 $p\not\mid a$, 则有 $a^{p-1}\equiv 1\pmod p$.

Proof.

因为 $p$ 是素数, 且 $p\not\mid a$, 所以 $[a]\in \mathbb {Z}_p^*$.

由于 $\mathbb {Z}_p^*$ 关于剩余类乘法构成群, 所以 $[a]^{|\mathbb{Z}_p^*|}=[1]$ 即 $[a]^{p-1}=[1]$. $\square$

命题1.3.6 (Euler 定理) 如果 $(a,p)=1$ 则有 $a^{\varphi(p)}\equiv 1\pmod p$.

$\varphi$ 被称为欧拉函数, 其定义是 $\varphi :\mathbb {Z^+}\to \mathbb {N}, p\mapsto \varphi(p):=|\{a\in \mathbb {Z}|0<a<p\land (a,p)=1\}|$.

Proof.

因为 $(a,p)=1$, 所以 $[a]\in \mathbb {Z}_p^*$.

由于 $\mathbb {Z}_p^*$ 关于剩余类乘法构成群, 所以 $[a]^{|\mathbb{Z}_p^*|}=[1]$ 即 $[a]^{\varphi(p)}=[1]$. $\square$

命题1.3.7 设 $H,K$ 都是群 $G$ 的有限子群, 则 $|HK|=\frac {|H|\cdot|K|} {|H\cap K|}$.

Proof.

$HK=\bigcup_{h\in H}hK=\coprod_{A\in\{hK|h\in H\}}A$.

所以 $|HK|=\sum_{A\in\{hK|h\in H\}}|A|=\sum_{A\in\{hK|h\in H\}}|K|=|\{hK|h\in H\}|\cdot|K|$.

而 $\forall h_1,h_2\in H,(h_1K=h_2K\Leftrightarrow h_1^{-1}h_2\in K\Leftrightarrow h_1^{-1}h_2\in H\cap K)$.

所以 $|\{hK|h\in H\}|=|\{h(H\cap K)|h\in H\}|=|(H/(H\cap K))_l|=[H:H\cap K]=\frac{|H|}{|H\cap K|}$.

所以 $|HK|=\frac {|H|\cdot|K|} {|H\cap K|}$. $\square$

1.4 群的同态、同构、直积、正规子群、商群

定义1.4.1 同态映射 (Homomorphism)

设 $G$ 和 $G'$ 是两个群, 如果映射 $\sigma:G\to G'$ 满足 $\sigma(ab)=\sigma(a)\sigma(b)$, 则称 $\sigma$ 是一个同态映射.

如果 $\sigma$ 是单射, 则称为单同态 (injective homomorphism).

如果 $\sigma$ 是满射, 则称为满同态 (surjective homomorphism).

$\mathrm {Im}(\sigma):=\{\sigma(a)|a\in G\}$, 被称为 $\sigma$ 的 (image).

$\mathrm {Ker}(\sigma):=\{a\in G|\sigma(a)=e'\}$, 被称为 $\sigma$ 的 (kernel). ($e'$ 为 $G'$ 的单位元)

命题1.4.1 设 $\sigma$ 是群 $G$ 到群 $G'$ 的同态映射, 则 $\mathrm {Im}(\sigma)<G'$.-

Proof.

任取 $a',b'\in \mathrm {Im}(\sigma),\exists a,b\in G,\sigma(a)=a',\sigma(b)=b'$.

因为方程 $ax=b$ 在 $G$ 中有解 $x_0$, 所以 $\sigma(ax_0)=\sigma(b)\Rightarrow \sigma(a)\sigma(x_0)=\sigma(b)\Rightarrow a'\sigma(x_0)=b'$.

所以方程 $a'x'=b'$ 在 $\mathrm {Im}(\sigma)$ 中有解.

同理得方程 $y'a'=b'$ 在 $\mathrm {Im}(\sigma)$ 中有解.

所以 $\mathrm {Im}(\sigma)$ 关于 $G'$ 的运算构成群, $\mathrm {Im}(\sigma)<G'$. $\square$

命题1.4.2 设 $\sigma$ 是群 $G$ 到群 $G'$ 的同态映射, 则 $\sigma(e)=e',\sigma(a^{-1})=\sigma(a)^{-1}$.

(其中 $e$ 为 $G$ 的单位元, $e'$ 为 $G'$ 的单位元)

Proof.

  • 先证 $\sigma(e)=e'$.

    $\forall a'\in \mathrm {Im}(\sigma),\exists a\in G,\sigma(a)=a'$.

    $\sigma(e)a'=\sigma(e)\sigma(a)=\sigma(ea)=\sigma(a)=a'$, 同理得 $a'\sigma(e)=a'$

    所以 $\sigma(e)$ 是群 $\mathrm {Im}(\sigma)$ 的单位元, 又因为 $\mathrm {Im}(\sigma)<G$, 所以 $\sigma(e)=e'$.

  • 再证 $\sigma(a^{-1})=\sigma(a)^{-1}$.

    $\forall a\in G,\sigma(a^{-1})\sigma(a)=\sigma(a^{-1}a)=\sigma(e)=e'$.

    同理得 $\sigma(a)\sigma(a^{-1})=e'$.

    所以 $\sigma(a^{-1})=\sigma(a)^{-1}$. $\square$

命题1.4.3 设 $\sigma$ 是群 $G$ 到群 $G'$ 的同态映射, 则 $\sigma$ 是单射当且仅当 $\mathrm {Ker}(\sigma)=\{e\}$.

Proof.

  • ($\Rightarrow $)

    $\forall a\in \mathrm {Ker}(\sigma),\sigma(a)=e'=\sigma(e)\Rightarrow a=e$.

  • ($\Leftarrow$)
    $$ \begin{align}
    \sigma(a)=\sigma(b) &\Rightarrow \sigma(a)\sigma(b^{-1})=\sigma(b)\sigma(b^{-1})\\
    &\Rightarrow \sigma(ab^{-1})=e'\\
    &\Rightarrow ab^{-1}\in \mathrm {Ker}(\sigma)=\{e\}\\
    &\Rightarrow ab^{-1}=e\\
    &\Rightarrow a=b\ \square
    \end{align}
    $$

命题1.4.4 设 $\sigma$ 是群 $G$ 到群 $G'$ 的一个单同态, 则 $\forall a\in G,|a|=|\sigma(a)|$.

Proof.

  • 若 $|a|<\infty$

    则有 $e'=\sigma(e)=\sigma(a^{|a|})=\sigma(a)^{|a|}$.

    所以 $\left|\sigma(a)\right|\mid |a|$.

    因为 $\sigma$ 是单同态, 所以 $\mathrm {Ker}(\sigma)=\{e\}$.

    又有 $e'=\sigma(a)^{|\sigma(a)|}=\sigma(a^{|\sigma(a)|})$.

    所以 $a^{|\sigma(a)|}\in \mathrm {Ker}(\sigma)\Rightarrow a^{|\sigma(a)|}=e\Rightarrow |a|\mid|\sigma(a)|$.

    所以 $|a|=|\sigma(a)|$.

  • 若 $|a|=\infty$

    则 $\forall n\in \mathbb {Z},a^n\ne e$.

    所以 $a^n\notin \mathrm {Ker}(\sigma)\Rightarrow \sigma(a)^n=\sigma(a^n)\ne e'$.

    所以 $|\sigma(a)|=\infty$. $\square$

定义1.4.2 同构 (Isomorphism)

设 $G$ 和 $G'$ 是两个群, 如果存在一个 $G$ 到 $G'$ 的双射是同态映射, 则称 $G$ 和 $G'$ 是同构的 (isomorphic), 记作 $G\cong G'$.

称 $\sigma$ 是 $G$ 到 $G'$ 的同构映射 (isomorphism), 简称为同构.

下证同构关系 ($\cong$) 是等价关系:

Proof.

  • 自反性:

    取恒等映射 $1_G$, 满足 $1_G(ab)=ab=1_G(a)1_G(b)$ 且 $1_G$ 是双射, 所以 $G\cong G$

  • 对称性:

    若 $G\cong G'$, 则 $\exists$ 同构映射 $\sigma:G\to G'$

    任取 $a',b'\in G',\exists a,b\in G,\sigma(a)=a',\sigma(b)=b'$

    则由 $\sigma(ab)=a'b'$ 知 $\sigma^{-1}(a'b')=ab$

    所以 $\sigma^{-1}(a'b')=ab=\sigma^{-1}(a')\sigma^{-1}(b')$.

    又因为 $\sigma^{-1}$ 是双射, 所以 $\sigma^{-1}$ 是 $G'$ 到 $G$ 的同构映射, $G'\cong G$.

  • 传递性:

    若 $G\cong H,H\cong K$, 则 $\exists$ 同构映射 $\sigma:G\to H,\pi:H \to K$.

    则 $\sigma\circ\pi(ab)=\sigma(\pi(a)\pi(b))=\sigma\circ\pi(a)\sigma\circ\pi(b)$.

    又因为 $\sigma,\pi$ 均为双射, 所以 $\sigma\circ \pi$ 也为双射, 所以 $\sigma\circ\pi$ 是 $G$ 到 $K$ 的同构映射, $G\cong K$. $\square$

命题1.4.5 任意一个无限循环群都与 $\mathbb {Z}$ 同构, 任意一个 $m$ 阶循环群都与 $\mathbb {Z}_m$ 同构.

Proof.

  • 若 $G$ 是一个无限循环群 $\xi$ 是 $G$ 的一个生成元.
    建立映射 $\sigma: \mathbb {Z}\to G,n\mapsto \xi^n$, 则有

    • 先证明 $\sigma$ 是单射:
      $\sigma(n)=\sigma(m)\Rightarrow \xi^n=\xi^m\Rightarrow \xi^{n-m}=e$.
      由 $|\xi|=\infty$ 知 $n-m=0$, 所以 $n=m$.

    • 再证明 $\sigma$ 是满射:

      $\forall a\in G$, 因为 $G=\left<\xi\right>$, 所以 $\exists n\in\mathbb {Z},\xi^n=a$, 所以 $\sigma(n)=\xi^n=a$.

    所以 $\sigma$ 是双射.

    因为 $\sigma (n+m)=\xi^{n+m}=\xi^n\xi^m=\sigma(n)\sigma(m)$, 所以 $\sigma$ 是同态映射.

    由上可知 $\sigma$ 是同构映射, 所以 $\mathbb {Z}\cong G$.

  • 若 $G$ 是一个 $m$ 阶生成群, $\xi$ 是 $G$ 的一个生成元, 则 $|\xi|=m$.

    建立映射 $\sigma: \mathbb {Z}_m\to G,[i]\mapsto \xi^i$, 则

    若 $[i]=[j]\Rightarrow i=j+km\ (\exists k\in \mathbb {Z})\Rightarrow \xi^i=\xi^{i+km}=\xi^j$

    所以 $[i]=[j]\Rightarrow \sigma([i])=\sigma([j])$, $\sigma$ 是良定义的.

    • 先证明 $\sigma$ 是单射:

      $\sigma([i])=\sigma([j])\Rightarrow \xi^i=\xi^j\Rightarrow \xi^{i-j}=e$.

      所以 $m\mid (i-j)\Rightarrow j\in [i]\Rightarrow [i]=[j]$.

    • 再证明 $\sigma$ 是满射:

      $\forall a\in G,\exists i\in \mathbb {Z},\xi^i=a$, 则有 $\sigma([i])=\xi^i=a$.

    所以 $\sigma$ 是双射.

    因为 $\sigma([i]+[j])=\sigma([i+j])=\xi^{i+j}=\xi^i\xi^j=\sigma([i])\sigma([j])$, 所以 $\sigma$ 是同态映射.

    由上可知 $\sigma$ 是同构映射, 所以 $\mathbb {Z}_m\cong G$. $\square$

定义1.4.3 直积 (Direct Product)

设 $G$ 和 $G'$ 是两个群, 在 $G\times G'$ 上定义一个运算 ($\cdot$):
$$(g_1,g_1')\cdot(g_2,g_2'):=(g_1g_2,g_1'g_2')
$$
显然这个运算满足结合律, 有单位元 $(e,e')$, 每个元素 $(g,g')$ 都有逆元 $(g^{-1},(g')^{-1})$.

因此 $G\times G'$ 构成一个群, 称它为 $G$ 和 $G'$ 的直积, 仍记作 $G\times G'$.

如果 $G$ 和 $G'$ 上的运算是加法, 有时也称为直和 (direct sum), 记作 $G\oplus G'$.

如果 $G$ 和 $G'$ 都是有限群, 显然有 $|G\times G'|=|G||G'|$

命题1.4.6 $\mathbb {Z}_m\times \mathbb {Z}_n$ 是循环群当且仅当 $(m,n)=1$, 从而 $\mathbb {Z}_m\times \mathbb {Z}_n\cong \mathbb {Z}_{mn}$ 当且仅当 $(m,n)=1$.

Proof.

  • ($\Rightarrow $)

    假设 $(m,n)=d\ne 1$, 令 $m=m'd,n=n'd$, 则有

    $\forall([a],[b])\in \mathbb {Z}_m\times \mathbb {Z}_n, m'n'd([a],[b])=(m'n'd[a],m'n'd[b])=(n'm[a],m'n[b])=([0],[0])$

    所以 $|([a],[b])|\le m'n'd< mn$ 与 $\mathbb {Z}_m\times \mathbb {Z}_n$ 是循环群产生矛盾.

  • ($\Leftarrow$)

    因为 $([1],[0])+([0],[1])=([0],[1])+([1],[0])=([1],[1])$

    并且 $|([1],[0])|=m,|([0],[1])|=n,(n,m)=1$

    由命题 1.1.5 知 $|([1],[1])|=mn$, 又因为 $|\mathbb {Z}_m\times \mathbb {Z}_n|=mn$

    所以 $\mathbb {Z}_m\times \mathbb {Z}_n=\left<([1],[1])\right>$. $\square$

命题1.4.7

设 $G$ 是一个群, $H,K$ 是 $G$ 的两个子群. 如果:

  1. $G=HK$

  2. $H\cap K=\{e\}$

  3. $\forall h\in H,\forall k\in K,hk=kh$.

则有 $G\cong H\times K$.

Proof.

建立映射 $\sigma:H\times K\to G,(h,k)\mapsto hk$.

  • 先证 $\sigma$ 是同态

    $\sigma(h_1h_2,k_1k_2)=h_1h_2k_1k_2=h_1k_1h_2k_2=\sigma(h_1,k_1)\sigma(h_2,k_2)$.

  • 再证 $\sigma$ 是单射

    若 $\sigma(h,k)=e$ 则 $hk=e\Rightarrow h=k^{-1}\in H\cap K=\{e\}$

    所以 $h=k=e\Rightarrow \mathrm{Ker}(\sigma)=\{(e,e)\}$

    所以 $\sigma$ 是单同态.

  • 再证 $\sigma$ 是满同态.

    $\forall g\in G=HK,\exists h\in H,k\in K$, 满足 $hk=g$.

    所以 $\sigma(h,k)=hk=g$.

所以 $\sigma$ 是同构映射 $G\cong H\times K$.

定义1.4.4 共轭子群 (Conjugate Subgroup)

设 $G$ 是一个群, $H<G$, 对于给定 $g\in G$, 称 $gHg^{-1}$ 是 $H$ 的一个共轭子群.

下证 $gHg^{-1}$ 是 $G$ 的子群:

Proof.

$\forall h_1,h_2\in H,gh_1g^{-1}(gh_2g^{-1})^{-1}=gh_1g^{-1}gh_2^{-1}g^{-1}=gh_1h_2^{-1}g^{-1}\in gHg^{-1}$

所以 $gHg^{-1}<G$. $\square$

定义1.4.5 正规子群 (Normal Subgroup)

设 $G$ 是一个群, $N<G$, 如果 $N$ 的所有共轭子群都等于其自身 (即 $\forall g\in G,gNg^{-1}=N$), 则称 $N$ 是 $G$ 的正规子群, 记作 $N\lhd G$.

命题1.4.8 $N$ 是 $G$ 的正规子群当且仅当 $gN=Ng(\forall g\in G)$.

Proof.

任取 $g\in G$, 则

$gNg^{-1}=N\Leftrightarrow (gNg^{-1})g=Ng\Leftrightarrow gN(g^{-1}g)=Ng\Leftrightarrow gN=Ng$. $\square$

命题1.4.9 设 $\sigma$ 是 $G$ 到 $G'$ 的一个同态, 则 $\mathrm {Ker}(\sigma)\lhd G$.

Proof.

$\forall g\in G,\forall x\in \mathrm {Ker}(\sigma)$

$\sigma(gxg^{-1})=\sigma(g)\sigma(x)\sigma(g^{-1})=\sigma(g)\sigma(g^{-1})=e'$.

所以 $gxg^{-1}\in \mathrm {Ker}(\sigma)$.

所以 $g\mathrm {Ker}(\sigma)g^{-1}=\mathrm {Ker}(\sigma)$. $\square$

命题1.4.10 设 $H$ 是 $G$ 的子群, 若 $[G:H]=2$, 则 $H\lhd G$.

Proof.

任取 $a\in G\backslash H$, 则因为 $[G:H]=2$,

所以 $G=H\coprod aH=H\coprod Ha$.

所以 $aH=Ha$. $\square$

定义1.4.6 商群 (Quotient group)

设 $G$ 是一个群, $N\lhd G$, 则有 $(G/N)_l=(G/N)_r$, 记作 $G/N$, 在 $G/N$ 中定义运算 ($\cdot$):
$$(aN)\cdot(bN):=abN
$$
若 $aN=bN,cN=dN$, 则 $b^{-1}a\in N,(cN=dN\Rightarrow Nc=Nd\Rightarrow cd^{-1}\in N)\Rightarrow b^{-1}acd^{-1}\in N$.

又由于 $N\lhd G$, 所以 $d^{-1}(b^{-1}acd^{-1})d\in N\Rightarrow (bd)^{-1}ac\in N$.

所以 $bdN=acN$, $\cdot$ 是良定义的.

称 $(G/N,\cdot)$ 为群 $G$ 对于它的正规子群 $N$ 的商群.

定义1.4.7 自然同态 (Natural Homomorphism)

设 $G$ 是一个群, $N\lhd G$, 称 $\pi:G\to G/N,a\mapsto aN$, 为自然同态, 或者标准同态 (canonical homomorphism).

容易验证 $\pi$ 是满同态.

命题1.4.11 (群同态基本定理) 设 $\sigma$ 是 $G$ 到 $G'$ 的一个同态, 则 $\mathrm{Im}(\sigma)\cong G/\mathrm {Ker}(\sigma)$.

Proof.

建立映射 $\pi:G/\mathrm {Ker}(\sigma)\to \mathrm {Im}(\sigma),a\mathrm {Ker}(\sigma)\mapsto \sigma(a)$.

若 $a\mathrm {Ker}(\sigma)=b\mathrm {Ker}(\sigma)$, 则有 $a^{-1}b\in \mathrm {Ker}(\sigma)$.

所以 $\pi(a\mathrm {Ker}(\sigma))=\sigma(a)=\sigma(a)\sigma(a^{-1}b)=\sigma(b)=\pi(b\mathrm {Ker}(\sigma))$, $\pi$ 是良定义的.

  • 先证 $\pi$ 是同态.

    $\pi((a\mathrm {Ker}(\sigma))(b\mathrm {Ker}(\sigma)))=\pi(ab\mathrm {Ker}(\sigma))=\sigma(ab)=\sigma(a)\sigma(b)=\pi(a\mathrm {Ker}(\sigma))\pi(b\mathrm {Ker}(\sigma))$.

  • 再证 $\pi$ 是单射.

    $\forall a\mathrm {Ker(\sigma)}\in \mathrm {Ker}(\pi),\pi(a\mathrm {Ker}(\sigma))=e'\Rightarrow \sigma(a)=e'\Rightarrow a\in \mathrm {Ker}(\sigma)$.

    所以 $a\mathrm {Ker}(\sigma)=e\mathrm {Ker}(\sigma)\Rightarrow \mathrm {Ker}(\pi)=\{e\mathrm {Ker}(\sigma)\}$.

    以 $\pi$ 是单同态.

  • 再证 $\pi$ 是满射.

    $\forall a'\in \mathrm {Im}(\sigma),\exists a\in G,\sigma(a)=a'\Rightarrow \pi(a\mathrm {Ker}(\sigma))=\sigma(a)=a'$.

由上可知, $\pi$ 为同构, 所以 $\mathrm{Im}(\sigma)\cong G/\mathrm {Ker}(\sigma)$. $\square$

命题1.4.12 第一群同构定理

设 $G$ 是一个群, $H<G,N\lhd G$, 则

  1. $HN<G$
  2. $H\cap N\lhd H$ 且 $ H/H\cap N \cong HN/N$.

Proof.

  1. 任取 $h\in H$ 有 $N\lhd N\Rightarrow hN=Nh$

    所以 $HN=NH$, 由命题 1.1.4 知 $HN<G$.

  2. 由于 $HN<G$ 且 $N\lhd G$,所以 $N\lhd HN$.

    建立映射 $\sigma:H\to HN/N,h\mapsto hN$.

    易得 $\sigma$ 是同态映射.

    $h\in \mathrm {Ker(\sigma)}\Leftrightarrow \sigma(h)=hN=eN\Leftrightarrow h\in N\cap H$.

    所以 $\mathrm {Ker}(\sigma)=N\cap H\xRightarrow{命题1.4.9} N\cap H\lhd H$.

    $\forall h\in H,n\in N$, 有 $hnN=hN$, 所以 $\sigma(h)=hN=hnN$.

    所以 $\sigma$ 是满同态, 即 $\mathrm {Im}(\sigma)=HN/N$.

    由群同态基本定理知 $\mathrm {Im}(\sigma)\cong H/\mathrm {Ker}$, 即 $HN/N\cong H/H\cap N$. $\square$

命题1.4.13 (第二群同构定理) 设 $G$ 是一个群 $N\lhd G$ 且 $H\lhd G$ 且 $N \lhd H$, 则 $H/N\lhd G/N$ 且 $(G/N)/(H/N)\cong G/H$.

Proof.

建立映射 $\sigma:G/N\to G/H,aN\mapsto aH$.

$aN=bN\Rightarrow b^{-1}a\in N\subset H\Rightarrow aH=bH\Rightarrow \sigma(aN)=\sigma(bN)$, 所以 $\sigma$ 是良定义的.

易得 $\sigma$ 是同态映射.

$aN\in \mathrm {Ker}(\sigma)\Leftrightarrow \sigma(aN)=eH\Leftrightarrow a\in H\Leftrightarrow aN\in H/N$, 所以 $\mathrm {Ker}(\sigma)=H/N$.

$\forall aH\in G/H,\sigma(aN)=aH$, 所以 $\mathrm {Im}(\sigma)=G/H$.

由群同态基本定理知 $\mathrm {Im}(\sigma)\cong (G/N)/\mathrm {Ker}(\sigma)$, 即 $G/H\cong (G/N)/(H/N)$. $\square$

评论

  1. qwq
    2周前
    2022-9-20 17:43:04

    好!

发送评论 编辑评论


				
|´・ω・)ノ
ヾ(≧∇≦*)ゝ
(☆ω☆)
(╯‵□′)╯︵┴─┴
 ̄﹃ ̄
(/ω\)
∠( ᐛ 」∠)_
(๑•̀ㅁ•́ฅ)
→_→
୧(๑•̀⌄•́๑)૭
٩(ˊᗜˋ*)و
(ノ°ο°)ノ
(´இ皿இ`)
⌇●﹏●⌇
(ฅ´ω`ฅ)
(╯°A°)╯︵○○○
φ( ̄∇ ̄o)
ヾ(´・ ・`。)ノ"
( ง ᵒ̌皿ᵒ̌)ง⁼³₌₃
(ó﹏ò。)
Σ(っ °Д °;)っ
( ,,´・ω・)ノ"(´っω・`。)
╮(╯▽╰)╭
o(*////▽////*)q
>﹏<
( ๑´•ω•) "(ㆆᴗㆆ)
😂
😀
😅
😊
🙂
🙃
😌
😍
😘
😜
😝
😏
😒
🙄
😳
😡
😔
😫
😱
😭
💩
👻
🙌
🖕
👍
👫
👬
👭
🌚
🌝
🙈
💊
😶
🙏
🍦
🍉
😣
Source: github.com/k4yt3x/flowerhd
颜文字
Emoji
小恐龙
花!
上一篇