定义10.1

(1) 设V=<S, ∘ >是代数系统,∘为二元运算,如果∘运算是可结合的,则称V为半群.

(2) 设V=<S,∘>是半群,若eS是关于∘运算的单位元,则称V是含幺半群,也叫做独异点. 有时也将独异点V 记作 V=<S,∘,e>.

(3) 设V=<S,∘>是独异点,eS关于∘运算的单位元,若 aSa1S,则称V是群. 通常将群记作G.

定义10.2 (1) 若群G是有穷集,则称G是有限群,否则称为无限群. 群G 的基数称为群 G 的阶,有限群G的阶记作|G|.

(2) 只含单位元的群称为平凡群.

(3) 若群G中的二元运算是可交换的,则称G为交换群或阿贝尔 (Abel) 群.

定义10.3 设G是群,aGnZ,则an次幂.

定义10.4 设G是群,aG,使得等式 ak=e 成立的最小正整数k 称为a 的阶,记作|a|=k,称 ak 阶元. 若不存在这样的正整数 k,则称 a 为无限阶元.

定理10.1设G 为群,则G中的幂运算满足:

(1) aG,(a1)1=a

(2) a,bG,(ab)1=b1a1

(3) aGanam = an+mn, m∈Z

(4) aG,(an)m = anmn, m∈Z

(5) 若G为交换群,则 (ab)n = anbn.

定理10.2 G为群,a,bG,方程ax=bya=bG中有解且仅有惟一解.

定理10.3 G为群,则G中适合消去律,即对任意a,b,cG

(1) 若 ab = ac,则 b = c.

(2) 若 ba = ca,则 b = c.

定理10.4 G为群,aG且 |a| = r. 设k是整数,则

(1) ak = e当且仅当r | k

(2 )|a1| = |a|

定义10.5设G是群,HG的非空子集,

(1) 如果H关于G中的运算构成群,则称HG的子群, 记作HG.

(2) 若HG的子群,且HG,则称HG的真子群,记作H<G.

对任何群G都存在子群. G和{e}都是G的子群,称为G的平凡子群. 

定义10.6设G为群,aG,令H={ak| k∈Z},则HG的子群,称为由 a 生成的子群,记作<a>.

定义10.8设G为群, 令

L(G) = {H | HG的子群}

则偏序集< L(G),  >称为G的子群格

定义10.10 设G是群,若存在aG使得

 G={ak| k∈Z}

则称G是循环群,记作G=<a>,称 aG 的生成元.

循环群的分类:n 阶循环群和无限循环群.

G=<a>是循环群,若an 阶元,则

G = { a0=e, a1, a2, … , an1 }

那么|G| = n,称 Gn 阶循环群.

a 是无限阶元,则

G = { a0=e, a±1, a±2, … }

G 为无限循环群. 

定理10.13 设G=<a>是循环群. 

(1) 若G是无限循环群,则G只有两个生成元,即aa1.

(2) 若Gn 阶循环群,则G含有(n)个生成元. 对于任何小

n且与 n 互质的数r∈{0,1,…,n-1}, arG的生成元.

定理10.14 设G=<a>是循环群. 

(1) 设G=<a>是循环群,则G的子群仍是循环群.

(2) 若G=<a>是无限循环群,则G的子群除{e}以外都是无限循环群.

(3) 若G=<a>是n阶循环群,则对n的每个正因子d,G恰好含有一个d 阶子群.

定理10.5(判定定理一)

G为群,HG的非空子集,则HG的子群当且仅当

(1) a,bHabH

(2) aHa1H.

定理10.6 (判定定理二)

G为群,HG的非空子集. HG的子群当且仅当a,bH

ab1H

定理10.7 (判定定理三)

G为群,HG的非空有穷子集,则HG的子群当且仅当

a,bHabH.

定义10.7设G为群,令

C={a| aG∧xG(ax=xa)},

CG的子群,称为G的中心.

定义10.9 设HG的子群,aG.令

Ha={ha | hH}

Ha是子群HG中的右陪集. 称aHa的代表元素.

定理10.8设H是群G的子群,则

(1) He = H

(2) aGaHa

定理10.9设H是群G的子群,则a,bG

  aHb ab1H Ha=Hb

定理10.10设H是群G的子群,在G上定义二元关系R

a,bG, <a,b>∈R ab1H

RG上的等价关系,且[a]R = Ha.

推论

H是群G的子群, 则

(1) a,bGHa = HbHaHb = 

(2) ∪{Ha | aG} = G

定理10.11 设H是群G的子群,则aGHHa

通过以上定理和推论可以知道:给定群G的一个子群H,H的所有右陪集的集合{Ha|a G}恰好构成G的一个划分,而且可以进一步证明这个划分的所有划分块都与H等势。

定义10.12 设<R,+,·>是代数系统,+和·是二元运算. 如果满足

以下条件:

(1) <R,+>构成交换群

(2) <R,·>构成半群

(3) · 运算关于+运算适合分配律

则称<R,+,·>是一个环.

通常称+运算为环中的加法,·运算为环中的乘法.

环中加法单位元记作 0,乘法单位元(如果存在)记作1.

对任何元素 x,称 x 的加法逆元为负元,记作x.

x 存在乘法逆元的话,则称之为逆元,记作x1.

定理10.16 设<R,+,·>是环,则

(1) aRa0 = 0a = 0

(2) a,bR,(a)b = a(b) = ab

(3) a,b,cRa(bc) = abac, (bc)a = baca

(4) a1,a2,...,an,b1,b2,...,bmR (n,m≥2)

定义10.13设<R,+,·>是环

(1) 若环中乘法 · 适合交换律,则称R是交换环

(2) 若环中乘法 · 存在单位元,则称R是含幺环

(3) 若a,bRab=0 a=0∨b=0,则称R是无零因子环

(4) 若R既是交换环、含幺环、无零因子环,则称R是整环

(5) 设R是整环,且R中至少含有两个元素. 若aR*,其中

R*=R{0},都有a-1R,则称R是域.

1.1:r,自于二么少二e高t/r

↳。七二心)上似"二e》rlt

G与〈。">:日akcG,G"二们一片

G三(0-'>{G口。。的一

•2个:假设G:<b)

→::a=b本

刁的b=am」

G=Gmt

消去:Gm山二e

无限阶必有mt=1

从而治""二,

•同三七二一/

互质是公约数只有1的两个整数,叫做互质整数。

离散数学-10 群与环相关推荐

  1. 【离散数学】群、环和域的关系

    原图和出处:https://blog.csdn.net/cw397265362/article/details/116269398 本文章图片对原图进行了重置.

  2. 离散数学 群,环和域

    群,环和域 二元运算 binary operation 代数系统 algebraic system 等幂元 idempotent element 左幺元 left identity element 右 ...

  3. 密码学数学基础——群、环、域

    在密码学中,很多密码学知识都涉及大不少数学知识,其中群.环.域这三种集合经常会被许多概念提及,在此做以总结. 一.基础概念 幺元 ,若对于一个二元运算+(+并不是指一般意义的加法,它可以指代任何二元运 ...

  4. 群、环、域的概念,定义和理解.

    群.环.域的概念,定义和理解. 以下链接很好的解释了群环域的概念. http://sparkandshine.net/algebraic-structure-primer-group-ring-fie ...

  5. 集合、群、环、域、空间简介

    集合.群.环.域.空间简介 集合   集合是指具有某种特定性质的具体的或者抽象的对象汇总而成的集体,构成集合的这些对象称为该集合的元素.   代数系统是建立在集合上的一种运算系统.由一个非空集合,与其 ...

  6. 密码学基础:群、环、域概念总结

    群 简而言之,群的概念可以理解为:一个集合以及定义在这个集合上的二元运算,满足群的四条公理,封闭性.结合性.单位元.反元素.具体理解为: 封闭性:在集合上作任意二元运算,不会诞生新的运算,这个集合已经 ...

  7. 群、环、域的概念总结

    很容易看懂 群 简而言之,群的概念可以理解为:一个集合以及定义在这个集合上的二元运算,满足群的四条公理,封闭性.结合性.单位元.反元素.具体理解为: 封闭性:在集合上作任意二元运算,不会诞生新的运算, ...

  8. 第九章 代数系统 + 群、环、域 + 格,布尔代数

    1.二元运算:设 为集合, 函数 称为 上的 二元运算. 两个性质:唯一性(函数 ),  封闭性(定义) 符号记为: 2.一元运算:设 为集合, 函数 称为 上的一元运算 符号记为:  二元运算的性质 ...

  9. 【数学】《离散数学中“群”的概念》

    文章目录 离散数学中群的概念 群的定义 举例 几种常见的群 群的由来 补充 群能解决什么问题(行业应用) 离散数学中群的概念 群的定义 说起群,首先要引出一个更大的概念--代数系统(什么是代数系统就不 ...

最新文章

  1. 项目管理六大制约因素_知道了这7点,软件项目管理会变得更简单!
  2. Document Builder: 如何将structure level的field加入到word document的table中
  3. 6.22打包建立ISS虚拟目录,安装完运行你想运行的程序
  4. homebrew Mac 相关问题
  5. scala数据类型_Scala数据类型示例教程
  6. OpenCV之基础图像容器Mat(2)
  7. 58. 格式化字符串
  8. (附源码)Springboot宠物医院管理系统 毕业设计 180923
  9. electron选mysql的优缺点_大型Electron应用本地数据库技术选型
  10. WebGIS学习资源推荐(包含学习路线、软件和数据资源推荐)
  11. Nginx主要用来干什么
  12. MFC CFile 读写文件
  13. KATEX简易语法:
  14. 利用Fiddler抓包解析,轻松下载m3u8格式网络视频
  15. 【翻译】开发者体验门户 后台 如何解决Spotify的复杂性问题
  16. 管家婆软件批量导入商品信息教程
  17. 意云丰到底是一个怎么样的赚钱软件?今天就带大家来解读一下
  18. 3DMax基础:渲染的小技巧(做好笔记!)
  19. 微积分提纲+公式整理(大一上)
  20. 用burpsuite实现在谷歌中对百度抓包

热门文章

  1. python编程:从入门到实践(持续更新)
  2. 第十三天 06-文本编辑器VI的使用修改网卡等
  3. Lawnmower(除草)
  4. 孟岩:想抓住EOS的机会,从这四个方向入手吧!
  5. Linux 最大文件名
  6. Websocket和PHP Socket编程
  7. ERR! configure error gyp ERR! stack Error: Can't find Python executable python
  8. 服务器发布Java jar包
  9. 解决java虚拟机内存不足的错误 java.lang.OutOfMemoryError: PermGen space 没有文件TOMCAT_HOME/bin/catalina.sh
  10. cuda安装正常,nvcc -V却没有任何显示