《信息安全数学基础》第二章:群

群 (easy)

群的定义

S 是一个非空集合,在 S 上定义一个代数运算,称为乘法 ,记 ab,而且这个运算满足以下条件,那么 (S,  ) 称为一个——

  1. 封闭性a,bS,abS
  2. 结合律a,b,cS,a(bc)=(ab)c

——半群

  1. 左单位元aS,eS. s.t. ea=a
  2. 左逆元aS,a1S. s.t. a1a=e

——

  1. 交换律:a,bS,ab=ba

——Abel群/交换群

交换群存在右单位元和右逆元,且左单位元(逆元)同时也是右单位元(逆元),即:

存在唯一单位元、逆元,不区分左右

G 元素个数无限:群 G无限群;群 G 元素个数有限:群 G 是有限群。

G 中元素个数称为 G 的阶,记为 |G|

消去律

G 是乘法群,则乘法一定满足消去律,即设 a,x,x,y,yG

左消去律:若 ax=ax,则 x=x

右消去律:若 ya=ya,则 y=y

任意代数系统中,由于交换律不一定成立,所以左消去律成立不能保证右消去律成立。

群的判别

定理

G 是一个群, a,bG,方程 ax=b,ya=b 有解;方程 ax=b,ya=b 在非空集合 G 中有解,且运算封闭满足结合律 G 是一个群

要求封闭:因为方程中 x 不是任意的,方程有解的条件不能满足封闭性,所以需要额外增加封闭条件

推论(换一种表述)

非空集合 G 中运算封闭满足结合律,则:

G 是一个群, a,bG,方程 ax=b,ya=b 有解

定理

非空有限集合 G 中运算封闭满足结合律,则:

G 是一个群, G 满足消去律

为何有限?

——无限集合可以与它的真子集形成一一对应关系,如整数集 Z2Z

子群 (easy)

子群定义

一个群 G 的一个非空子集 H 若对于 G 的乘法构成群,则称为 G子群,记为 HG

任意群 G 至少含两个子群:平凡子群—— G{e}真子群——其他子群。

子群性质

一个群 G 的它的子群 H 有:

  1. GH 的单位元同一
  2. aH,a1aG 中逆元,则 a1H

子群判定

  1. 一个群 G 的一个非空子集 H 构成一个子群

    (1)a,bH,abH,(2)aH,a1H

  2. 一个群 G 的一个非空子集 H 构成一个子群

    a,bH,ab1H

  3. 一个群 G 的一个非空有限子集 H 构成一个子群

    a,bH,abH 即只要满足封闭性

同态与同构 (medium)

同态与同构定义

设代数系统 (A, )(B, ),若存在映射 f ,把 A 中元素映射到 B 中,且:

a,bA, f(ab)=f(a)f(b)

这个映射属于同态映射

“同态”理解为同样形态,但不一定是相同的运算

+{

  • G=G,同态 f 称为自同态,同构映射 f 称为自同构映射
  • f 是从 GG 的映射,f 是同构映射,则称 GG 同构,记为 GG;若 G=G,则称 G 自同构

同态的性质

GG 是两个群,在 GG 的一个(同态映射)f 之下:

  1. G 的单位元 e 的像 f(e)G 的单位元,即:f(e)=e
  2. G 中任意元素 a 的逆元 a1 的像 f(a1)f(a) 的逆元,即:f(a1)=f(a)1
  3. Gf 下像的集合 { f(a) | aG} 称为 f 的像子群

同态映射的核/核子群

完全反像:集合 {aG | f(a)=a}a1 的完全反像

ker(f) :单位元 e 的完全反像,ker(f)={aG | f(a)=e}

定理

  1. ker(f)G 的子群,称为 f 的核子群

  2. GG 的同态 f 是单同态 ker(f)={e}

    证明

    1. 充分性(反证):设 f(a)=f(b),abG,ab

      f(a)f(b)1=ef(ab1)=e,ab1=eab 矛盾

    2. 必要性:若 ker(f){e},eker(f) ,则 ker(f) 包含其他元素,则 f 不是单射

posted @   IrisHyaline  阅读(325)  评论(0编辑  收藏  举报
相关博文:
阅读排行:
· 阿里最新开源QwQ-32B,效果媲美deepseek-r1满血版,部署成本又又又降低了!
· 开源Multi-agent AI智能体框架aevatar.ai,欢迎大家贡献代码
· Manus重磅发布:全球首款通用AI代理技术深度解析与实战指南
· 被坑几百块钱后,我竟然真的恢复了删除的微信聊天记录!
· 没有Manus邀请码?试试免邀请码的MGX或者开源的OpenManus吧
点击右上角即可分享
微信分享提示