【几何学笔记】商群与同构

最新推荐文章于 2023-05-01 14:06:00 发布

rxlfnng

最新推荐文章于 2023-05-01 14:06:00 发布

阅读量4.1k

点赞数 4

分类专栏：几何学笔记

本文链接：https://blog.csdn.net/rxlfnng/article/details/110111283

版权

几何学笔记专栏收录该内容

4 篇文章 0 订阅

订阅专栏

商群：

设为一个群，为的一个子群，记 $G/N\left ( G mod N \right )$ 为一个集合 $G/N = \left \{ \right.aN|a\in G\left. \right \}$ ，为的左陪集，即 G/N 是一个集合的集合。

若 G/N 是一个群，叫做商群，其群乘积定义为 $a,b\in G,aH\star bH = (ab)H$ ，则需要先证明 G/N 是个群，先证明 abN 是由,唯一确定，而与陪集代表元的选择无关，需要证明若 $a_{1}N = a_{2}N, b_{1}N = b_{2}N$ ，则 $\left ( a_{1}b_{1} \right )N = \left ( a_{2}b_{2} \right )N$ 。

由于 $a_{1}N = a_{2}N, b_{1}N = b_{2}N$ ，则必有 $v,u\in N$ ，使得 $a_{1} = a_{2}v,b_{1} = b_{2}u$ , $a_{1}b_{1} = a_{2}vb_{2} u$ ，由于 $vu\in N$ ，若要得到 $a_{1}b_{1} = a_{2}b_{2} vu$ 的结果，则 $vb_{2} = b_{2}v$ ，即的左右陪集相等，即为正规子群。若不是正规子群，则 G/N 为一个线性空间。

其他封闭性，逆元等证明易证。其余如商集合，商空间(粘合空间)，商拓扑同理。

举个例子：实数加群与其子群整数加群做商， $R/Z = \left \{\right.aZ|a\in R\left. \right \}$ ，当 $a\in \left [ 0 \right, \left 1 \right )$ 所获得的集合与a每加(减)一个整数所得到的集合相等， $0+Z = 1 + Z = 2 + Z\cdots$ ， $0.1+Z = 1.1 + Z = 2.1 + Z\cdots$ 以此类推， $0.9+Z = 1.9 + Z = 2.9 + Z\cdots$ ，对来说有用的只有 $\left [ 0 \right, \left 1 \right )$ 中的元素，商群相当于作了信息压缩，这个商群同构于圆群即特殊正交群 $SO(2) = \left \{ e^{2\pi ix} \right.|x\in R\left. \right \}$ 。

群同态(homomorphism)：

给定两个群 G,H ,从到之间的群同态是指有映射 $f:G\rightarrow H$ ，使得对于中的所有元素 u,v 都有 f(uv) = f(u)f(v) 。记作 $G\sim H$ ，同态于。

同态像：

若 $f:G\rightarrow H$ 为群同态，则 $Img(f) = \left \{f(g)|g\in G \right \}$ 为在映射下的像，记作的同态像。

在微分流形中， $\alpha = d\beta$ ， $\alpha$ 是微分算子的像，叫作恰当形式。

同态核：

若 $f:G\rightarrow H$ 为群同态，则 $Ker(f) = \left \{ g\in G|f(g) = e' \right \}$ ，为的同态核。

在微分流形中， $\alpha$ 是微分算子的核，即 dα = 0 。叫作闭形式。

群同构(isomorphism)：

若到同态，且为双射，即一一映射，则到之间同构，记作 $G\cong H$ 。

群同态定理：

若 $f:G\rightarrow H$ 为群同态，则 $G/Ker(f) \cong Img(f)$ 。这个定理通过构造商群，以同构(单满同态)表达式联系了同态的像(Image)与核(Kernel)。单满同态为同构，同构视为等效。同态的核体现了单射的程度，同态的像体现了满射的程度，两者一起描述了同态偏离同构的程度。可以理解为 $G \cong Img(f)\oplus Ker(f)$ ，即群同构于同态核与同态像的直积。