抽象代数群的定义

抽象代数群的定义

ID:38615733

大小:1.29 MB

页数:12页

时间:2019-06-16

抽象代数群的定义_第1页
抽象代数群的定义_第2页
抽象代数群的定义_第3页
抽象代数群的定义_第4页
抽象代数群的定义_第5页
资源描述:

《抽象代数群的定义》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库

1、第3讲群的定义及例子8/12/20211群的定义设非空集S上有一个运算·,1、如果运算满足结合律,则称(S,·)是半群。2、如果半群S中有一个元素e满足a∈S有e·a=a·e=a,则称(S,·,e)是幺半群,称e为单位元或幺元。3、如果幺半群S满足a∈S有b∈S使得a·b=b·a=e则称a是可逆元,并称b是a的一个逆元。注:通常用1表示单位元。8/12/20212群定义4命题若a是可逆元,则a的逆元是唯一的,记为a-1.证明:若a有两个逆元b和c,即有ab=ba=1,ac=ca=1b=1b=cab=c1=c.■5、如

2、果幺半群S的每个元素都有逆元,则称S是一个群(group)。运算满足交换律的群S称为交换群.8/12/20213群定义6、对群G中的元a和正整数n.an表示n个a相乘;a-n=(a-1)n,a0=17、验证:amn=(am)n;am+n=aman.8/12/20214几个问题:(1)、为什么要求群的运算满足结合律?(2)、为什么要有单位元?(3)、逆元的存在性有何运算意义?8/12/20215群的例子再明确一下群的概念定义设G是一个非空集合,如果G上定义了一个运算满足(I)结合律a,b,c∈A有(ab)c=a(bc);(

3、Ⅱ)有单位元e:a∈A有ea=ae=a;(Ⅲ)有逆元a∈G,有b∈G使得ab=ba=e(其中b称为a的逆元,记为a-1)。则称G是一个群.注意:记住验证运算的封闭性!8/12/202161.1群的概念和例子例1实集R、有理数集Q、整数集Z关于数的加法都是交换群(满足交换律的群);关于数的乘法怎么样?规定:只有交换群的运算符才能用加号“+”表示。当交换群G的运算符才能用加号“+”表示时,则称G为加群。例2 正实集R+、正有理数集Q+关于数的乘法都是交换群;正整数集Z+关于数的乘法怎么样?8/12/20217例3即方程xn

4、=1的全部根之集,不难验证:1.1群的概念和例子设是n次单位根集.Un关于数的乘法是一个群.叫做n次单位根群。8/12/202181.1群的概念和例子证明:例4域F上的全体n阶可逆方阵GLn(F)关于矩阵的乘法构成一个群,称为F上的n阶一般线性群.即A,B∈GLn(F),有AB∈GLn(F).封闭性可逆矩阵的乘积还是可逆矩阵,结合律:矩阵的乘法满足结合律;单位元:单位矩阵I就是单位元;逆元:A∈GLn(F),A可逆,A的逆矩阵就是A的逆元.8/12/202191.1群的概念和例子例5域F上的行列式为1的全体n阶方阵之集

5、SLn(F)关于矩阵的乘法构成一个群,称为F上的n阶特殊线性群.例6实数域R上的全体n阶正交矩阵之集On(R)关于矩阵的乘法构成一个群,称为n阶正交群.8/12/202110例7向量空间VF上的全体可逆线性变换GL(V)关于变换的合成运算构成一个群.例8n维欧氏空间VF上的全体正交变换之集On(V)关于变换的合成运算构成一个群.例9平面上绕一定点按同一方向旋转2k/n的变换记为k,则{1,2,…,n}关于变换的合成运算构成一个群。8/12/202111作业:P17:1,5,6,98/12/202112

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。