1.苗冬青Email09210240028@fudan.edu.cn实验室软件楼.pptVIP

1. 苗冬青 Email:09210240028@fudan.edu.cn 实验室:软件楼401 2. 王小威 BBS ID lengyan: Email:09210240040@fudan.edu.cn 实验室:软件楼405 3.赵一鸣 BBS: zhym Email: zhym@fudan.edu.cn 每周三交作业 参考书 近世代数 吴品三 人民教育出版社 代数结构与组合数学 曲婉玲 北京大学出版社 近世代数及其应用 阮传概 孙伟 北京邮电大学出版社 定义:如果映射?是代数系统[S;*]到[T;?]的同态映射,当?是一一对应时,称两个代数系统是同构的,?就是它们的一个同构映射。 2个代数系统在结构上就完全一致了，它们的不同只不过是元素与运算的表现形式不同而已。 两个同构的代数系统S与T就可看作“同一个”代数系统,并表示成[S;*]?[T;?],简写成S?T。 证明[S;*]与[T;?]两个系统同态或同构,则要找到一个满同态或同构映射 证明[S;*]与[T;?]两个系统不同态(不同构),则要证明所有S到T的映射都不是满同态(同构映射) 例1:证明[R;+]与[R+;?]同构 例2：证明[Q;+]与[Q-{0};?]不同构 二、商结构 [S;*]为代数系统 S的等价类全体用?表示,即?={[a]|a?S}。这里[a]={x|a~x,x?S} 对任意[a],[b]??, [a]?[b]=[a?b] 定义：设“~”为S上的等价关系，“*” 为S上的二元运算。若对任意a,b,c,d?S，当a~b，c~d时，必有a?c~b?d，则称等价关系~与运算? 是相容的，称~为代数系统[S;?]的相容等价关系。 对任意[a],[b]??, [a]?[b]=[a?b]，则由~关于?的相容性，保证运算?的结果与等价类的代表元选取无关。称[?;?]为 [S;?]的商结构或商系统。 例:Z上模5同余关系 与代表元选取无关 第十四章 　群 群是最简单的一类代数系统。群论是近世代数中发展最早、内容最丰富、应用最广泛的部分, 也是建立其他代数系统的基础。 §1半群、拟群与群 一、半群和拟群 定义14.1：代数系统[S;*],当其二元运算*是可结合的,即对任a,b,c?S有:a*(b*c) =(a*b)*c，则称该系统为半群。 例: 定义14.2：设[S;*]为半群,当*在S中有单位元e,即对任意a?S,有:a*e=e*a=a，称该半群为含单位元半群或称为拟群。 例:?={xi|i=1,…,n} ?+:?中元素组成的有限长度的非空字符串全体 运算?:?=a1?ak,?=b1?bl??+，???=a1?akb1?bl??+， [?+;?]是半群，但没有单位元。 ?*:有限长度的字符串全体构成的集合， [?*;?]是半群，?为空串(即长度为0的字符串)， ???+，有???=???=?， ?为单位元， [?*;?]是拟群。 二、群 1.群的概念 定义14.3：[S;*]为拟群,当S中的每一个元素都有逆元时,称为群。 还可以更清楚地叙述为: [S;*]是一个代数系统,*为定义在S上的二元运算,若满足: (1)对任意的a,b,c?S有a*(b*c)=(a*b)*c(结合律); (2)存在e?S,使a*e=e*a=a(单位元); (3)对任意的a?S，存在a-1?S,使得a*a-1=a-1*a=e 则称 [S;*]为群。 [R-{0},?]是群 [R,?]不是群, 只是拟群 对于群[R-{0},?],对任意a,b?R-{0},有a?b=b?a，满足交换律，交换群，阿贝尔群 如果群中的二元运算满足交换律,称该群为可交换群,也称为阿贝尔(Abel)群。 [R-{0},?],[Z;+],[R;+],[C;+]等都是Abel群。 矩阵乘法群不是交换群, 原因: 例：设e是群[G;*]的单位元，如果对任意x?G，有x*x=e，则[G;*]一定是Abel群。 证明: 设G={(x, y)|x,y?R，x ?0}, 在G上定义二元运算如下： (x, y)●(z,w)=(xz, xw+y) 对任意(x,y),(z,w) ?G。 证明 (G; ●)是群。 (G;●)是 Abel群? 例：G={1,-1,i,-i}, [G;*]中的运算*定义为 G={1,-1,i,-i}, [G;*],元素个数有限 [R-{0},?],[Z;+],[R;+],[C;+]，元素个数无限 有限群 无限群 定义14.4：设[G;*]为群,当|G|=+?时称该群为无限群;当|G|=n+?时，称为有限群,且说群G 的阶为n。 G={1,-1,i,-i}, 群[G;*]是4阶群。 [R-{0},?],[Z;+],[R;+],[C;+]是无限群。 2.群的性质 在[R-{0