离散数学学习笔记-2-群 子群

群的第一定义
非空封闭结合律 有一有逆
满足前三个叫做半群,
离散数学学习笔记-2-群 子群_第1张图片
第二定义的推导
离散数学学习笔记-2-群 子群_第2张图片
离散数学学习笔记-2-群 子群_第3张图片
第二定义:
离散数学学习笔记-2-群 子群_第4张图片
推导第一定义:推导过程
首先证明 a和a-1满足交换律,这样就可以证明 左单位就是右单位
离散数学学习笔记-2-群 子群_第5张图片

群的分类

在这里插入图片描述
在这里插入图片描述

叫做阿贝尔群

在这里插入图片描述

性质: 单位元和逆元唯一性

离散数学学习笔记-2-群 子群_第6张图片
离散数学学习笔记-2-群 子群_第7张图片
阶数的定义 : 这个就要注意了,群的运算不确定,这个次方表示连续运算m次,
并且是最小的正整数
运算可能是加法噢
不同元的阶数可能不同(但是有规律)
离散数学学习笔记-2-群 子群_第8张图片
有逆元代表满足消去律------那么有逆元是不是就没有零因子了
那么三者就是等价的咯(前提是有限群)
离散数学学习笔记-2-群 子群_第9张图片
离散数学学习笔记-2-群 子群_第10张图片
有限群的另一个定义就是消去律 和 有解是等价,有解不就要有逆了(无限群大部分元素没有逆)
在这里插入图片描述
群的同态
==========这里只说同态,默认是满同态就行了
在这里插入图片描述

离散数学学习笔记-2-群 子群_第11张图片
上面证明可以得到;
离散数学学习笔记-2-群 子群_第12张图片
变换
离散数学学习笔记-2-群 子群_第13张图片
在这里插入图片描述
在这里插入图片描述
重点来了: (复合运算) 注意这个集合说的是 所有变换 而不是所有一一变换
离散数学学习笔记-2-群 子群_第14张图片
请注意集合是所有变换,单位元是 恒等变换
在这里插入图片描述
离散数学学习笔记-2-群 子群_第15张图片
===========很显然一一映射就可以解决了
证明来了—已知满射,证明单射
离散数学学习笔记-2-群 子群_第16张图片
离散数学学习笔记-2-群 子群_第17张图片
变换群登场-----元素 A集合的一一映射
离散数学学习笔记-2-群 子群_第18张图片
离散数学学习笔记-2-群 子群_第19张图片
在这里插入图片描述
离散数学学习笔记-2-群 子群_第20张图片
重点来了!!! 怎么看怎么像轮换
也就是同构的那个变换群是 A集合的所有一一变换的一部分!
离散数学学习笔记-2-群 子群_第21张图片
置换群
离散数学学习笔记-2-群 子群_第22张图片
这个就验证之前的说法 全体置换是对称群,那么上面同构的只是子群
在这里插入图片描述
离散数学学习笔记-2-群 子群_第23张图片
表示方法
把第一行看成自变量 第二行就是因变量
离散数学学习笔记-2-群 子群_第24张图片
离散数学学习笔记-2-群 子群_第25张图片
离散数学学习笔记-2-群 子群_第26张图片

循环置换
离散数学学习笔记-2-群 子群_第27张图片
分解
离散数学学习笔记-2-群 子群_第28张图片
在这里插入图片描述
离散数学学习笔记-2-群 子群_第29张图片
离散数学学习笔记-2-群 子群_第30张图片
循环群
离散数学学习笔记-2-群 子群_第31张图片
也就是一个循环群肯定和一个加群同构
离散数学学习笔记-2-群 子群_第32张图片
离散数学学习笔记-2-群 子群_第33张图片
子群
在这里插入图片描述
离散数学学习笔记-2-群 子群_第34张图片
离散数学学习笔记-2-群 子群_第35张图片
合并一下条件 关键是找出单位元(很多证明都是利用单位元搞事情)
离散数学学习笔记-2-群 子群_第36张图片
子群条件
离散数学学习笔记-2-群 子群_第37张图片
在这里插入图片描述
生成子群
离散数学学习笔记-2-群 子群_第38张图片

陪集

在这里插入图片描述
离散数学学习笔记-2-群 子群_第39张图片
离散数学学习笔记-2-群 子群_第40张图片
离散数学学习笔记-2-群 子群_第41张图片
这个说明陪集的元素个数等于子群的元素个数
因为有逆,所以可以推导出来
拉格朗日定理
离散数学学习笔记-2-群 子群_第42张图片

在这里插入图片描述

不变子群 商群

离散数学学习笔记-2-群 子群_第43张图片
满足交换律的元素组成的群就是中心
离散数学学习笔记-2-群 子群_第44张图片
不变子群的条件
离散数学学习笔记-2-群 子群_第45张图片
离散数学学习笔记-2-群 子群_第46张图片

离散数学学习笔记-2-群 子群_第47张图片

=========
商集
离散数学学习笔记-2-群 子群_第48张图片
离散数学学习笔记-2-群 子群_第49张图片

同态定理
离散数学学习笔记-2-群 子群_第50张图片
在这里插入图片描述

离散数学学习笔记-2-群 子群_第51张图片
离散数学学习笔记-2-群 子群_第52张图片
在这里插入图片描述
离散数学学习笔记-2-群 子群_第53张图片
离散数学学习笔记-2-群 子群_第54张图片
离散数学学习笔记-2-群 子群_第55张图片
离散数学学习笔记-2-群 子群_第56张图片

你可能感兴趣的:(离散学习)