版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、第二讲 半群、群和子群,定义 一个代数系统,其中S是非空集合,*是S上的 一个二元运算,如果运算*是封闭的,则称代数系统 为广群。,一. 广群,二. 半群,定义 一个代数系统,其中S是非空集合,*是S上的 一个二元运算,如果 1)运算*是封闭的。 2)运算*是可结合的,即对任意的x,y,zS,满足 (x * y) * z = x * (y * z) 则称代数系统 为半群。,例,设集合Sk=x|x I xk,k0,那么是一个 半群吗?(其中+是普通加法运算),分析 因为加法运算在Sk上是封闭的,并且该运算可结合, 所以是一个半群。,若k0,则运算+在Sk上是不封闭的。,? 代数系统是半群吗?呢?
2、,注意,定理,设是一个半群,B S且*在B上是封闭的,那 末也是一个半群。通常称是半群的 子半群。,证明 因为*在S上是可结合的,而B S 所以*在B上也是可 结合的,又*在B上是封闭的,因此, 也是一个半群。,例 代数系统 ,都是的 子半群。,结合性是可继承的。,定理,设是一个半群,如果S是一个有限集,则必有 aS,使得a*a=a。,证明 因为是一个半群。对于bS ,由*的封闭性可知 b*bS,记b2=b*b b2*b=b*b2S,记b3=b2*b=b*b2 由于S是有限集,所以必存在 ji,使得bi=bj 令p=ji,有bi=bp*bi,所以对qi,有bq=bp*bq 因为p1,所以总可以
3、找到k1,使得kpi 就有bkp= bp*bkp = bp*(bp*bkp) = b2p*bkp = b2p*(bp*bkp) = = bkp*bkp 这就证明了在S中存在元素a= bkp,使得a*a=a。,独异点,定义 含有幺元的半群称为独异点。,例 代数系统是一个独异点。因为是半群,且0是 R中关于运算+的幺元。 代数系统 都是独异点,幺元为1。,定理 设是一个独异点,则在关于运算*的运算表中任何 两行或两列都是不相同的。,证明 设S中关于运算*的幺元是e。因为a,bS且ab,总有 e*a=ab=e*b 和 a*e=ab=b*e 所以,在*的运算表中任何两行或两列都是不相同的。,定理,设是
4、独异点,对于任意a,bS,且a,b均有逆元,则 (a-1)-1=a a * b有逆元,且(a * b)-1=b-1 * a-1,证明 1) 因为a-1是a 的逆元,即 a*a-1=a-1 * a=e 所以, (a-1)-1=a 2) 因为(a * b) *(b-1 * a-1)=a *(b * b-1) * a-1 =a * e * a-1 =a * a-1 =e 同理可证 (b-1 * a-1) *(a * b) =e 所以(a * b)-1=b-1 * a-1,群,定义 设一个代数系统,其中G是非空集合,*是G上 的一个二元运算,如果 1)运算*是封闭的。 2)运算*是可结合的。 3)存在
5、幺元e。 4)对于每一个元素x G,存在着它的逆元x-1。 则称代数系统 为群。,群 独异点 半群 广群,有限群,定义 设是一个群。如果G是有限集,那末称为 有限群,G中元素的个数通常称为该有限群的阶数,记 为|G|;如果G是无限集,则称为无限群。,例 ,都是群。 考察如下代数系统是否构成群,?,定理,群中不可能有零元。,证明 当群的阶为1时,它的唯一元素视为幺元。 设|G|1且群有零元 。那末群中任何元素xG, 都有x*= *x= e,所以,零元就不存在逆元,这与 是群相矛盾。,定理 设是一个群,对于a,bG,必存在唯一的xG, 使得a*x=b.,证明 1)存在 2)唯一,定理,设是一个群,
6、对于任意的a,b,cG,如果有 a * b=a * c或者b * a=c * a,则必有b=c。(消去律),证明 设a * b=a * c,且a的逆元是a-1,则有 a-1 *(a * b)=a-1 *(a * c) (a-1 * a) * b=(a-1 * a) * c e * b=e * c b=c 当b * a=c * a时,可同样证得b=c。,定义 设S是一个非空集合,从集合S到S的一个双射称为S的一个置换。,定理 群的运算表中的每一行或每一列都是G的元素的一个置换。,证明见书193,等幂元,证明 因为e * e=e,所以e是等幂元。 假设存在aA,ae且a * a=a 则有 a=e
7、* a=(a-1 * a) * a=a-1 *(a * a)=a-1 * a=e 与假设a e相矛盾。,定义 代数系统中,如果存在aG,有a * a=a, 则称a为等幂元。,定理 在群中,除幺元e外,不可能有任何别的等幂元。,子群,定义 设是一个群,S是G的非空子集,如果也 构成群,则称 是的一个子群。,定理 设是一个群, 是的一个子群,那末, 中的幺元 e 必定也是中的幺元。,证明 设中的幺元为e1,对于任一xS G,必有 e1*x=x=e*x 由消去律可知,e1=e。,平凡子群,定义 设是一个群, 是的子群,如果 S=e,或者S=G,则称是的平凡子群。,例 是一个群,设IE=x|x=2n,
8、nI,证明是 的一个子群。,分析 1)+在IE上封闭。 2)+在IE上可结合。 3) 有幺元。 4) IE中的每个元素都有逆元。,定理,设是一个群,B是G的非空子集,如果B是一 个有限集,那末只要运算*在B上封闭,必定 是的子群。,证明 设e是 中幺元,b是B中的任一个元素。若*在B上 封闭,则元素b2=b*b,b3=b2*b,都在B中。 由于B是有限集,所以必存在正整数i和j,不妨假设 i 中的幺元(bi=bi*bj-i = bi * e),且这个幺元也在子集B中。 如果j-i1,那末由bj-i=b*bj-i-1可知bj-i-1是b的逆元, 且bj-i-1 B;如果j-i=1,那末由bi=bi*b可知b就是 幺元,而幺元是以自身为逆元的。 因此,是的一个子群。,当B不是有限集则结论不成立: 为群,而不为群,虽然在自然数上是封闭的。,定理,设是群,S是G的非空子集,如果对于S中的 任意元素a和b有a*b-1S,则是的子群。,证明 1)证明G中的幺元e也是S中的幺元。 任取S中的元素aS G,所以a*a-1 = e S且a*e=e*a =a,即e也是S中的幺元。 2)证明S中的每一个元素都有逆元
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 布绒玩具制作工冲突解决测试考核试卷含答案
- 氯丁橡胶装置操作工岗前评优竞赛考核试卷含答案
- 水产蛋白提炼工岗前业务考核试卷含答案
- 管棒型材精整工岗前技术传承考核试卷含答案
- 涡轮发动机修理工岗前学习应用考核试卷含答案
- 酒精蒸馏工安全规程测试考核试卷含答案
- 淀粉加工工工作实操测试考核试卷含答案
- 油墨颜料制作工复试能力考核试卷含答案
- 广西专科考试题目及完整答案
- 湖南生物中考试题及答案解析
- 2026年中级会计职称·中级会计实务 历年真题解析
- 2026年兰州新区教师考试试题及答案
- 2026年党纪学习教育知识测试模拟试题及答案
- 中国新闻社2026度应届高校毕业生公开招聘易考易错模拟试题(共500题)试卷后附参考答案
- 外协加工控制程序
- 《方帽子店》教案(2课时)-2026-2027学年统编版(新教材)小学语文四年级上册
- SOE-MT-NOTE 三大运营商招聘考试核心考点笔记:通信原理与移动通信技术
- 乡村路面养护方案
- GB/T 47335.2-2026中医药诊断词汇第2部分:脉象
- 2026浙江宁波市自然资源和规划大数据中心招聘编制外工作人员1人笔试参考题库及答案解析
- 五年(2021-2025)中考数学真题分类汇编(重庆专用)05:圆(教师版)
评论
0/150
提交评论