参考教材
- 《近世代数》 . P22-30 . 丘维声著
前言
上一节通过引入等价关系与划分,用模
同余类去划分整数集
,从而有了
,从中我们抽象出了环的概念,又考虑到元素分零因子与可逆元两种,从而将有单位元的交换环且除了零元都是可逆元的代数结构称为域,并不是所有
都是域,只有
是素数才是,因此我们考虑更一般的情况,将
所有可逆元单独整合起来构成一个集合,最终我们有了群的概念.
本节开始,我们开始系统的研究群的结构,首先提出问题,群中的元素是否可以派出一个代表,只要用这一个代表就可以描述群中所有的元素,进而代表这个群?倘若有这种方式代表群,那么如何判断它可以有代表元素描述自身?
关于证明的学习,目前学习的内容来说,只要老老实实的学好定义即可,不需要特别的技巧性,个人并不喜欢特别花里胡哨的证明,可以欣赏但不推荐去硬学,了解即可,毕竟人生苦短,凡人都有极限.
最后,非常欢迎讨论,非常欢迎指错,对所有人都有帮助!
定义0:
- 群
有无限多个元素就称为无限群,有限个元素为有限群,此时的元素个数称为阶,记为
- 设
是一个群,对于,的可逆元为
- 若群
的运算为乘法,那么规定
- 若群
的运算为加法,那么规定
e.g.1
为整数集对于加法构成的群,零元为
e.g.2
模
剩余类环
对于加法构成群,零元为
e.g.3
上述三个群,都可以用一个元素代表
通过整数幂次(或整数倍)来描述其群中所有的元素,于是我们可以直接将
去代表这个群
定义1. 设群
的运算记做乘法(或加法) ,如果
的每一个元素能写成
中的某个元素
的整数幂次(或整数倍)的形式,那么称
为循环群,把
叫做
的一个生成元,且把