群论的基本概念点较多,且各概念点之间关系纵横交错,学习起来颇有本科时初学线性代数时的感觉,觉得有必要整理一下,先梳理一下群的基本定义和例子。
首先作几点说明:
1、群(group)、环(ring)、域(field)是抽象代数(abstract algebra)中基本的代数结构(algebraic structures)
2、上述这些代数结构是抽象代数(abstract algebra)的研究对象之一,另一个研究对象是通过研究这些代数结构间的保持运算的映射(态射(morphism))
3、1872年,F.Klein在被聘为埃尔朗根大学的数学教授的就职演讲中阐述了几何学统一的思想:所谓几何学,就是研究几何图形对于某类变换群保持不变的性质的学问,或者说任何一种几何学只是研究与特定的变换群有关的不变量(《埃尔朗根纲领(Erlangen Program)》)
〇、前置概念
名称 | 英文名称 | 定义 | 说明 |
---|---|---|---|
代数运算 | Algebra Calculation | 非空集合S与自己的笛卡尔积
|
在群论中通常是指所谓的二元代数运算 |
正交点变换 | 又称为保距变换(isometry) | ||
正交矩阵 | Orthogonal Matrix |
|
|
酉矩阵 | Unitary Matrix |
|
式中H为共轭转置 |
一、群的定义
1、群的基本定义
序号 | 定义 | 说明 |
---|---|---|
1 | 代数运算 | 定义了一个代数运算的非空几何 |
2 | 结合律 |
|
3 | 单位元存在律 |
|
4 | 逆元存在律 |
|
2、 群定义的衍生
名称 | 英文名称 | 定义 | 说明 |
---|---|---|---|
群 | Group | 满足前述全部4条群的基本定义的非空集合 | |
半群 | Semigroup | 仅满足前述群的基本定义中的前2条的非空集合,即: 1)定义了集合上的代数运算 2)适用结合律 但是,并不要求存在单位元和逆元 |
也有地方称为仿群 |
幺半群 | Monoid | 满足前述群的基本定义中的前3条的非空集合,即: 1)定义了集合上的代数运算 2)适用结合律 3)存在单位元 但是,并不要求存在逆元 |
|
阿贝尔群 | Abel Group | 在满足前述全部4条群的基本定义的前提下,再补充一条:群元素满足交换律 |
|
二、群的例子
1、生活中群的例子
名称 | 英文名称 | 说明 |
---|---|---|
平面晶体群 | Plane Crystallographic Group | 又被称为贴墙纸群(Wallpaper Group) 已经G.Polya在1924年完成对平面晶体群的分类:共有17种不同的平面晶体群 |
空间晶体群 | Space Crystallographic Group | Fedorov和Schonflies分别独立地证明了空间晶体群共有230个 |
魔方群 | Rubik’s Cube group | https://en.wikipedia.org/wiki/Rubik%27s_Cube_group |
2、数集中群的例子
名称 | 符号 | 定义 | 说明 |
---|---|---|---|
整数加群 | |||
实数加群 | |||
n次单位根群 |
|
|
3、几何中群的例子
中文名称 | 英文名称 | 符号 | 定义 | 说明 |
---|---|---|---|---|
欧几里得群 | Euclidean Group |
|
|
|
二面体群 | Dihedral Group |
|
正
|
4、代数中群的例子
中文名称 | 英文名称 | 符号 | 定义 | 说明 |
---|---|---|---|---|
模n剩余类环 |
|
|
该群的生成元是
|
|
|
|
|
|
该群的生成元是
|
|
|
当m为素数p时,
|
该群是一个abel群 当m为素数时,根据欧拉定理 |
|
一般线性群 | General Linear Group |
|
域F上所有n级可逆矩阵组成的集合,对于矩阵的乘法所成的群 | 是矩阵群(Matrix Group)的一种 |
特殊线性群 | Special Linear Group |
|
在一般线性群定义的基础上再补充定义,所有的矩阵行列式为1 | 是矩阵群(Matrix Group)的一种 |
正交群 | Orthogonal Group |
|
实数域上所有n级正交矩阵(
|
是矩阵群(Matrix Group)的一种 |
特殊正交群 | Special Orthogonal Group |
|
在正交群定义的基础上再补充定义,所有的矩阵行列式为1 | 是矩阵群(Matrix Group)的一种 通常 它所指定的旋转对应的旋转轴可以通过求解一个线性方程组的基础解析来计算得到 |
酉群 | Unitary Group |
|
复数域上所有n级酉矩阵组成的集合,对于矩阵乘法所成的群 | |
特殊酉群 | Special Unitary Group |
|
在酉群定义的基础上再补充定义,所有的矩阵行列式为1 | |
集合
|
Full Transformation Group on Set
|
|
非空集合
|
|
n元对称群 | Symmetric Group on n letters |
|
|
这时其中的每一个元素(是一个双射)被称为 并且对于置换进一步引入了由其等价的对换分解式中的对换的个数的奇偶性确定的奇置换或偶置换 |
n元交错群 | Alternating Group on n letters |
|
|
References
- 丘维声,抽象代数基础
- F. Klein,A comparative review of recent researches in geometry,http://arxiv.org/abs/0807.3161
- https://en.wikipedia.org/wiki/Group_(mathematics)
- https://en.wikipedia.org/wiki/Rubik%27s_Cube_group