参考教材
- 《近世代数》.丘维声著
- 《近世代数》.韩士安著
- 《Algebra》.Artin著
- 《代数学引论》.聂灵沼.丁石孙著
前言
上节我们引入了循环群的概念,并且为了分类循环群,我们将在本文引入同构的概念,同构是一个非常强的条件,它的引入将使我们研究群更加的简单,对于复杂抽象的群我们只需要去解剖跟它同构的简单直观的群即可.换言之,这两个群具有相同的结构.
我将按照我自己学习的理解去编排内容,在讲解以后更深的群论内容时可以更加的自然且有动机,我也尽力去通过自己的理解去一步步讨论,让概念的引入更加的自然和富有动机,以下是目录(括号内是一些有趣或重要的定理方便指引).
目录
- 群同构
- n元对称群
- 子群(Cayley定理)
- 陪集(Lagrange定理)
- 群同态
- 正规子群
- 商群
- 群同态基本定理
1.群同构
定义:
设
与
是两个群,如果有一个
到
的一一对应(双射)
,它满足:
则称
同构于
,记作
.
例:数域
上
维线性空间上的全体可逆线性变换同构于
例:
同构,构建映射如下:
,任意一个
阶循环群与
同构,构建映射如下:
阶循环群与加法群
同构
注:
- 具体的证明只需要按照定义,证明其是映射,单射,双射,满足结构即可.
- 群同构是一个等价关系,我们通过同构将所有循环群组成的集合进行了划分,对于一般的循环群或许会很抽象,但是对于
和,确实非常具体且容易理解的.
定理:
设
是群
到
的一个同构映射,
与
分别是
和
的单位元,
是
中任意元素.则有
-
-
-
是可逆映射,其可逆映射也是到的同构映射
证:
(1)对任意的
,有
,且根据同构定义
两边右乘
得到
.
(2)对任意的
,有
,且根据同构定义
两边右乘
得到
.
(3)因为
是双射,因此其逆映射也是双射,且保持运算.
我们研究了
到
的同构,那如果
时会如何?于是讨论如下:
定义:
群到自身的同构成为自同构
通过这个定义,很自然的想到对于一个群
,存在一个集合,它包含了
的所有自同构映射,显然满足结合律,且存在恒等同构:
并且任何一个自同构都存在一个逆映射,它也是一个自同构,这就说明这个集合是一个运算为乘法的群,记作
.
观察自同构群的定义可以发现这些条件还是很苛刻的,即要求对象是群还要是同构映射,倘若我们放宽限制,考虑一个非空集合
到自身的所有双射组成的集合,同样的方法我们依然可以发现这个集合是一个群,称它为集合
的
全变换群,记作
,特别情况,当
为有限集合时,
中的元素称为
置换,为了方便起见,我们可以将集合
个元素都用编号
来代替,即
,则称这时的
为