离散数学·代数结构【群的定义与性质】

有几道练习，放在文末

群的定义

比独异点多一个——每一个元素存在逆元

例子

群的等价定义

群的术语

交换群即满足交换律的群

性质

代入学过的乘法就很好理解

 群不含零元

 

练习

第2题

注意题目条件给出了——G是群，然后在G上定义了新的运算，问G关于新运算是否构成群

暗含已知条件——G原运算满足分配律，原运算封闭，G有单位元（所以u的逆与u进行计算会得到单位元）

细节：证明单位元时，要证明——ea=a，ae=a（位于左和右都要进行相应的证明）

这道题比较好，涉及到了很多知识点

可能并没有涉及到这一章学的那些证明方法，可能证明群就是像这样证的，证封闭、结合、单位元、逆元

14题

证明子群的问题：显而易见的，需要从e开始，先证明e属于子群，这样就满足了子群非空

接着，证明子群的问题再从，判断子群的定理入手（3个定理），一般来说，往往需要带--逆--来运算，用到定理2

首先，独立写一下，发现有点写不出来，看看答案，主要是积累方法——在第3步那，提 逆 出来，后面再用到，题目中给出的条件（交换律）

具体到这道题中，题目条件给出了a^2=e——说明a的阶是2（a的阶为1或2说明a=a的逆），那么a=a的逆