代数笔记2：同态、同构、等价关系与陪集

同态(Homomorphisms)

同态是定义在两个群之间，可以交换运算和映射次序的映射。
对于 $G$ 到 $G^{\prime }$ 同态 $\phi$ ，$\forall a,b\in G$ ，以乘法形式表示 $G$ 与 $G^{\prime }$ 中的运算，有
$$\phi (ab)=\phi (a)\phi (b)$$
考虑 $R^n$ 空间的向量，以加法为运算定义一个群 $H$，那么一个 $n\times n$ 的矩阵便是 $H\to H$ 的同态。

对于 $\phi :G\to G^{\prime }$，定义
像(image): i m ( φ ) = { ∀ x ∈ G ′   ∣   ∃ a ∈ G ,   φ ( a ) = x   } im(\varphi) = \{ \forall x \in G'\ |\ \exist a\in G,\ \varphi(a)=x\ \} im(φ)={∀x∈G′ ∣ ∃a∈G, φ(a)=x }
核(kernel): k e r ( φ ) = { ∀ a ∈ G   ∣   φ ( a ) = 1   } ker(\varphi)=\{ \forall a\in G\ |\ \varphi(a) = 1\ \} ker(φ)={∀a∈G ∣ φ(a)=1 }
同样考虑上面 $R^n$ 空间的例子，其同态的核即为所用矩阵的零空间，而像则为所定义矩阵的值域。

同构(isomorphism)

同构是一个双射的同态。
若 $\phi :G\to G^{\prime }$ 是同态，且 k e r   φ = { e } ,   i m   φ = G ′ ker\ \varphi=\{e\},\ im\ \varphi=G' ker φ={e}, im φ=G′，则 $\phi$ 是同构。
有数学分析的知识，不难推出同构的逆仍是同构。
从数学分析的知识，$G$ 与 $G^{\prime }$ 中的元素数量相等是他们之间存在同构的必要条件。

称自身到自身的同构为自同构，$g\in G,gG{g}^{-1}$是一类常见的自同构。

若 $G,G^{\prime }$ 之间存在同构，称 $G$ 同构于 $G^{\prime }$，不难知道，同构是有传递性的：若 ${\phi }_1:G_1\to G_2,{\phi }_2:G2\to G_3$ 分别都是同构，则 ${\phi }_1\circ {\phi }_2:G_1\to G_3$ 显然是 $G_1\to G_3$ 的同构，即 $G_1$ 同构于 $G_3$ 。

等价关系和分割(Equivalence Relations and Partitions)

我们这样定义分割 $\Pi$ ，分割 $\Pi$ 是将一个集合 $S$ 分成若干不交子集的操作。
$$\Pi (S)=\overline{S}$$
$\overline{S}$ 的元素是 $S$ 的不相交的子集，且 $\bigcup _{a\in \overline{S}}a=S$ 。

同时，等价关系是由下列三条公理定义的关系：

1. 传递性：$a\sim b,b\sim c\Rightarrow a\sim c$
2. 对称性：$a\sim b\Rightarrow b\sim a$
3. 自反性：$a\sim a$

一个等价关系可以确定一个分割，一个分割也可以确定一个等价关系。
我们视在分割的同一个子分割的元素等价，显然满足等价关系的公理。
同时，定义 π ( a ) = { b ∈ S   ∣   a ∼ b } \pi(a)=\{b\in S\ |\ a\sim b\} π(a)={b∈S ∣ a∼b}，由自反性，有 $a\in \pi (a)$ ，$\pi (a)\ne \varnothing$ ，$\forall s\in S,s\in \pi (s)$ ，同时定义若 $\pi (a)=\pi (b)$ ，则是它们为同一个元素，这时，$\pi (S)=\overline{S}$ 是显然的。

对于映射 $f:S\to T$ ，我们定义其逆象 f − 1 ( t ) = { s ∈ S   ∣   f ( s ) = t } f^{-1}(t)=\{s\in S\ |\ f(s)=t\} f−1(t)={s∈S ∣ f(s)=t} ，我们也称其逆象为纤维丛。
我们称由同态相等得到的等价关系为全等，即对于同态 $\phi :G\to G^{\prime }$ ，全等 $a\equiv b$ 表示：
$$a,b\in G,\phi (a)=\phi (b)$$
若 $a\equiv b$ ，当且仅当 $b\in aK,K=ker\phi$ 。
对于 $k\in K,b=ka$ 时，上述结论并不显然，但
$$\phi (b)=a$$
$$\phi (a^{-1}b)=1\Rightarrow a^{-1}b\in K$$
$$b=a{a}^{-1}b\in aK$$
可得结论。

陪集(coset)

$H$ 是群 $G$ 的一个子群，$a\in G$ ，有
a H = { a h   ∣   h ∈ H } aH=\{ah\ |\ h\in H\} aH={ah ∣ h∈H}
我们称 $aH$ 是群 $H$ 的左陪集，右陪集同理可定义。

我们现在定义另一种全等关系
$$a\equiv b:b\in aH$$
其是等价关系证明如下：
传递性：$b\in aH,c\in bH,\exists h_1,h_2\in H,b=a{h}_1,c=b{h}_2\Rightarrow c=a{h}_1{h}_2\Rightarrow c\in aH$。
对称性：$b\in aH,\exists h\in H,b=ah\Rightarrow a=b{h}^{-1}\Rightarrow a\in bH$。
自反性：$1\in H,a=a1\Rightarrow a\in aH$。

我们知道了左陪集是等价关系，那么就知道它定义出了一个分割，即所有左陪集不交且它们并集为全集 $G$ 。
接下来，考虑子群 $H$ 到它的左陪群 $aH$ 的映射，这个映射的逆为左乘 $a^{-1}$ ，因此该映射可逆，该映射是个双射，可知所有左陪集 $aH$ 与 $H$ 有相同的阶数。
定义指数 $[G:H]$ 为 $H$ 所有左陪集的个数，有计数公式：
$$|G|=|H|[G:H]$$
对有限群非常有用。

从而有拉格朗日定理：对有限群 $G$ 与其子群 $H$，$|H|$ 可分 $|G|$ 。

对于一个素数p阶群 $G$，$\forall a\in G,a\ne 1,<a>=G$ 。
由于 $<a>$ 是 $G$ 的子群，而素数不可分，因此 $<a>$ 阶数总等于p，因此 $<a>=G$ 。

接下来，我们考虑同态 $\phi :G\to G^{\prime }$ 是从有限群到有限群的，有如下命题：

1. $|G|=|ker\phi ||im\phi |$ 。
2. $|ker\phi |$ 可分 $|G|$ 。
3. $|im\phi |$ 可分 $|G|$ 和 $|G^{\prime }|$ 。

对于1，令 k e r φ = K ,   ∀ b ∈ i m φ ,   ∃ s ∈ G ,   φ ( s ) = b ,   ∀ x ∈ { φ ( x ) = b } ,   x ∈ b K ker\varphi=K,\ \forall b\in im\varphi,\ \exist s\in G,\ \varphi(s)=b,\ \forall x\in\{\varphi(x)=b\},\ x\in bK kerφ=K, ∀b∈imφ, ∃s∈G, φ(s)=b, ∀x∈{φ(x)=b}, x∈bK ，由此，我们可以知道左陪集个数等于 $|im\phi |$ ，再由计数公式可证明该命题。
对于2，$ker\phi$ 是 $G$ 的子群，由拉格朗日定理即得结论。
对于3，1知 $|im\phi |$ 可分 $|G|$ ，又有 $|im\phi |$ 是 $G^{\prime }$ 子群，知 $|im\phi |$ 可分 $|G^{\prime }|$ 。

显然的，右陪集所形成的分割不一定会与左陪集形成的分割相同，因此下列命题等价并不显然：

1. $H$ 是一个一般子群：$\forall h\in H,\forall g\in G,gh{g}^{-1}\in H$ 。
2. $\forall g\in G,gH{g}^{-1}=H$ 。
3. $\forall g\in G,gH=Hg$ 。
4. $H$ 在 $G$ 中所有的左陪集同时也是右陪集。

对于 $1\to 2$ ，首先有 $gH{g}^{-1}\subset H$ ，又有 $g^{-1}Hg\subset H$ ，第二个式子可变为 $H\subset gH{g}^{-1}$ ，从而有 $H=gH{g}^{-1}$ 。
对于 $2\to 3$ ，有 $gH=g^{-1}(gH)g=Hg$ 。
对于 $3\to 4$ ，这是显然的。
对于 $4\to 1$ ，我们先证明 $gH$ 等于某个右陪集时，他只可能等于 $Hg$：
$g\in gH,g\in Hg$ ，由于关于 $H$ 的陪集分割 $G$ ，不同的的陪集不可能有相同的元素，因此若 $gH$ 等于某个右陪集，$gH=Hg$ 。
因此 $gH{g}^{-1}=Hg{g}^{-1}=H$ ，$\forall h\in H,gh{g}^{-1}\in gH{g}^{-1}=H$ ，即证。

最后，我们有如下定理：如果 $H$ 是 $G$ 唯一一个 $r$ 阶子群，那么 $H$ 是一般子群。
这是因为 $gH{g}^{-1}$ 也是 $r$ 阶子群，有 $gH{g}^{-1}=H$。