![71d6224fe25394dd4aad1f5e109a75e6.png](https://img-blog.csdnimg.cn/img_convert/71d6224fe25394dd4aad1f5e109a75e6.png)
参考教材
- 《近世代数》 . P22-30 . 丘维声著
前言
上一节通过引入等价关系与划分,用模
本节开始,我们开始系统的研究群的结构,首先提出问题,群中的元素是否可以派出一个代表,只要用这一个代表就可以描述群中所有的元素,进而代表这个群?倘若有这种方式代表群,那么如何判断它可以有代表元素描述自身?
关于证明的学习,目前学习的内容来说,只要老老实实的学好定义即可,不需要特别的技巧性,个人并不喜欢特别花里胡哨的证明,可以欣赏但不推荐去硬学,了解即可,毕竟人生苦短,凡人都有极限.
最后,非常欢迎讨论,非常欢迎指错,对所有人都有帮助!
定义0:
- 群
有无限多个元素就称为无限群,有限个元素为有限群,此时
的元素个数称为阶,记为
- 设
是一个群,对于
,
的可逆元为
- 若群
的运算为乘法,那么规定
- 若群
的运算为加法,那么规定
e.g.1
e.g.2
e.g.3
上述三个群,都可以用一个元素代表
定义1. 设群