- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
WORD格式可编辑
专业技术资料整理分享
第十章 群、环和域简介
10.1 群
判断下列集合对于所给的运算来说哪些作成群,哪些不作成群:
某一数域F上全体矩阵的加法;
全体正整数对于数的乘法;
对于数的乘法;
对于数的乘法;
对于数的乘法.
解:
设数域F上全体矩阵的集合为,对于矩阵的加法来说作成一个加群.因为对任意,有
1°=(加法结合律)
2°中存在零矩阵,使得对任意的,有
3°对于,有.使得
4°对于,有.
全体正整数对于数的乘法不作成群.
因为对于数的乘法来说,单位元是1,但是对于正整数a=2来说不存在正整数b使得a×b=1.
集合对于数的乘法作成阿贝尔群.因为
1°对于,,,,有
==
2°在中有,使得,有==.
3°对于,存在使得
===1
4°对于,有==.
集合对于数的乘法来说不作成群.因为中的单位元是1,而对于不存在,使得.
集合对于数的乘法作成群(阿贝尔群).
因为对于任三个元素来说,结合律显然成立.再者有单位元1.对于中元素来说==,并且1的逆元是1,的逆元是.
证明群中的指数规则(1)、(2).
证明:设是一个群,,则,对于Z,如果,设, ,并且注意当时,对于,有.于是
1°当时,=;
2°当时,===,当时,同理可证.;
3°当时,
=;
4°当时,
===.
所以对任意Z,都有=,即(1)式成立.
其次我们先证对于任意的Z,,都有=.
∵====
再由定义=,根据中每一个元素的逆元的唯一性,∴=.以下证明等式(2)成立.
1°当时,
==
2°当时,
=====
当时,
====.
3°当时,
=====.
综上所述所证,群中指数规则(1)、(2)成立.
设,的乘法由下面的表给出:
证明对于所给的乘法作成一个群.
证明:根据的乘法表可知,,,所以的乘法是可换的,以下证明对于乘法作成一个群.
1°结合律成立.由于对于所给的乘法是可换的,对于结合律我们只要验证也容易验证以下的情况即可.
;;;
;;;
.
其它情况由的乘法可换性,立即可以证得.
2°中有单位元,使得对于中任意元素,都有
,,
3°中每一个元素都有逆元,的逆元是,(因为),而的逆元是,的逆元是,(因为).
所以对于所给的乘法作成一个(可换)群.
证明,一个群是阿贝尔群的充要条件是:对任意的和任意的整数,都有 .
证明:必要性,已知群对乘法运算可换,且对结合律成立.设,而是任意的整数,因为对指数规则(1)、(2)成立.故有===…=.
充分性,设,而是整数,有,令,则有,即 ===,所以=,在此等式两边左乘以并右乘以,得=,所以 =,即 =.
所以是一个阿贝尔群.
证明,群的两个子群的交还是的一个子群.
证明:设,是群的两个子群,则(至少有一个单位元).
1°对于则且,因为,是子群,所以且,所以;
2°设,则且因为,是子群,所以且,所以,
所以,由子群的定义可知,是的一个子群.
证明,维欧氏空间的全体正交变换作成上一般线性群的一个子群,这个群称为上的正交群,用记号表示.
证明:一般线性群是指维欧氏空间上全体可逆线性变换的集合对上的线性变换与线性变换的乘法来说作成的群.
因为正交变换是可逆的线性变换,且单位变换也是正交变换.所以是的非空子集.
任意两个正交变换的乘积也是正交变换,即乘法封闭.
正交变换的逆变换也是正交变换.
所以,维欧氏空间的全体正交变换的集合是一般线性群的一个子群.
令是群中的一个元素,令,证明是的一个子群,称为由生成的循环子群.特别,如果=,就称是由生成的循环子群.试各举出一个无限循环子群和有限循环子群的例子.
证明:显然,故非空,设,,则;设,则,所以是的一个子群.
例1:设,运算是加法运算,则是无限循环群.
例2:设运算是剩余类的“加法”,则是由生成的有限循环群,它只有7个元素.
令=,设,定义
就是对的行作置换所得的矩阵,令=,其中是单位矩阵,证明作成的一个与同构的子群.
证明:首先注意以下的几个事实:
1°设,,……,,由矩阵的乘法可知=()
2°集合=中的任一元素都是由阶单位矩阵的各行所给的若干次的置换而得到,所以,每一个的每一行和每一列都是只有一个位置上的元素为1,其余位置上的元素全为0,并且.而都是由的各行经过对换而得到的所以=.
3°容易计算,集合=共有个不同的元素,不妨设为:=;所以是群的一个非空子集.
现在证明与同构,由于是一个群,所以是的一个子群.
集合对的运算(即矩阵乘法)是封闭的.设,,则和是的两个元素(矩阵).因为的第1,2,…,行分别是维向量,,…,,所以的第1,2,…,行分别是维向量,,…,,而的第1,2,…,行分别是维向量,,…,,由上述的事实2°可知的各列也是由一些单位向量所组成.设其在第1,2,…,列分别是维向
您可能关注的文档
- 暗黑破坏神2_毁灭之王(全套)暗金武器图文.doc
- (精品)高中数学必修1(全套)同步练习册.doc
- (20)汕头苏宁地下室底板结构专项施工组织设计方案(2014年.05.29修改).doc
- (人版)高中数学必修四教(学)案.doc
- 《新编基础物理学答案解析》_第11章.doc
- 2015普通高等学校招生统一考试浙江数学(理)卷word(有答案解析)_数理化网.doc
- 2016年新版PEP小学五年级英语上册第三单元测试题(卷).doc
- 2016年学年松江区第二学期高二年级地理(含答案解析).doc
- 2016中考物理模拟试题(卷).doc
- 2018昆山市初三年级语文第一次质量测试题(含答案解析)).doc
- 2025至2030全球及中国订单管理软件行业细分市场及应用领域与趋势展望研究报告.docx
- 2025至2030国内液晶显示屏行业市场发展分析及竞争策略与投资发展报告.docx
- 2025至2030港口设备市场前景分析及细分市场及应用领域与趋势展望研究报告.docx
- 2025至2030量子加密通信行业发展现状及投资前景战略报告.docx
- 2025至2030中国音乐合成器行业运营态势与投资前景调查研究报告.docx
- 2025至2030中国液压行业市场发展现状及竞争格局与投资机会报告.docx
- 2025至2030中国异戊橡胶行业运营态势与投资前景调查研究报告.docx
- 2025至2030帕西肽行业市场占有率及有效策略与实施路径评估报告.docx
- 2025至2030全球及中国超收敛集成系统行业细分市场及应用领域与趋势展望研究报告.docx
- 2025至2030尖齿铣刀行业市场占有率及有效策略与实施路径评估报告.docx
原创力文档


文档评论(0)