《信息安全数学基础》第二章:群
群 (easy)
群的定义
设
- 封闭性:
- 结合律:
——半群
- 左单位元:
- 左逆元:
——群
- 交换律:
——Abel群/交换群
交换群存在右单位元和右逆元,且左单位元(逆元)同时也是右单位元(逆元),即:
存在唯一单位元、逆元,不区分左右
群
消去律
设
左消去律:若
右消去律:若
任意代数系统中,由于交换律不一定成立,所以左消去律成立不能保证右消去律成立。
群的判别
定理
要求封闭:因为方程中
不是任意的,方程有解的条件不能满足封闭性,所以需要额外增加封闭条件
推论(换一种表述)
若非空集合
定理
若非空有限集合
为何有限?
——无限集合可以与它的真子集形成一一对应关系,如整数集
和
子群 (easy)
子群定义
一个群
任意群
子群性质
一个群
和 的单位元同一- 若
是 在 中逆元,则
子群判定
-
一个群
的一个非空子集 构成一个子群 (1) ,(2) -
一个群
的一个非空子集 构成一个子群 -
一个群
的一个非空有限子集 构成一个子群 即只要满足封闭性
同态与同构 (medium)
同态与同构定义
设代数系统
这个映射属于同态映射
“同态”理解为同样形态,但不一定是相同的运算
- 若
,同态 称为自同态,同构映射 称为自同构映射 - 若
是从 到 的映射, 是同构映射,则称 与 同构,记为 ;若 ,则称 自同构。
同态的性质
设
的单位元 的像 是 的单位元,即: 中任意元素 的逆元 的像 是 的逆元,即: 在 下像的集合 称为 的像子群
同态映射的核/核子群
完全反像:集合
核:
定理
-
是 的子群,称为 的核子群 -
到 的同态 是单同态证明:
-
充分性(反证):设
则
即 与 矛盾 -
必要性:若
,则 包含其他元素,则 不是单射
-
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 阿里最新开源QwQ-32B,效果媲美deepseek-r1满血版,部署成本又又又降低了!
· 开源Multi-agent AI智能体框架aevatar.ai,欢迎大家贡献代码
· Manus重磅发布:全球首款通用AI代理技术深度解析与实战指南
· 被坑几百块钱后,我竟然真的恢复了删除的微信聊天记录!
· 没有Manus邀请码?试试免邀请码的MGX或者开源的OpenManus吧