- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
代数学(第3讲)
第 三 讲
第一章 幺半群与群
§1.1 变换幺半群和抽象幺半群
幺半群的定义
1,定义1. 设是一个非空集合,是一个映射,即:,使。称为上的一个二元运算。通常记为“”,即:。如果还满足,则称运算“”为可结合的。
2,定义2. 设是一个非空集合,如果在上定义了一个二元运算“”,则称为一个群胚。
3,定义3. 设是一个群胚。如果“”是可结合的,则称为一个半群。
4,定义4、设是一个半群。如果中存在一个元1(注:不一定是整数1),使得,则称1为的一个恒等元(单位元)。此时称为一个幺半群。
不难证明幺半群中的恒等元是唯一的。事实上, 如果和都是幺半群中的单位元,那么。
5,例1:均为幺半群。设,则为幺半群。
二,子幺半群
1,定义5. 设是一个幺半群,。如果并且(注:今后用表示),则称为的一个子幺半群。
2,例2,是的一个子幺半群。另外,幺半群的子幺半群称为集合的一个变换幺半群。
三,有限幺半群
1,定义6,设是一个幺半群,如果, 则称为有限幺半群。其中称为的阶。
2,对于有限幺半群,它的运算可用一个表来表示。例如,设 ,那么它的运算可用下表表示。
…
…
…
…
… … … …
…
§1.2 变换群和抽象群
一,群的定义与子群
1,定义1:设是一个幺半群,。如果
,则称为右可逆的,称为的一个右逆元。类似地,可定义左可逆与左逆元。若既是的左逆元又是的右逆元,则称为可逆的且称为的一个逆元。
不难证明的逆元是唯一的。事实上, 如果和都是元素的逆元,那么,。于是。记,则有。
2,定义2:设是一个幺半群。如果,都有逆元,则称为一个群。
3,定义3:设是一个幺半群,是的一个子幺半群。如果是一个群,则称为的一个子群。
4,例1,设是一个幺半群,记。那么是的一个子群。称为的单位群或可逆元群。
证明:(1) , 因为1是可逆的;
(2) ,则均可逆,此时存在,并且,所以,即是的子幺半群;
(3) ,由知,,所以是的子群。
二,变换群
1,设是一个非空集合,是的一个变换幺半群(注:的所有变换幺半群都是 的子幺半群,(见例2))。 那么。称为集合的对称群,记为。特别地,如果,我们把写成,且称它为关于n 个字母的对称群(简称n阶对称群),通常称中的元素为的一个置换。中的元素可表为。不难证明
定理1.1 有个元素。即。
2,设是一个非空集合,的对称群的子群称为的变换群。当为有限集时,称对称群的子群为置换群。对称群的子集是变换群当且仅当,且。
三,直积
1,设是n个幺半群,。令,其中是的单位元,再令,。那么是一个幺半群。称为幺半群的直积。如果每一个是群,那么也是一个群。称为群的直积。
四,例子
例1,设是一个幺半群,。
(1)若有一个右逆元,同时有一个左逆元,即。证明。此时是可逆的,且
(2)是可逆的且是的逆当且仅当。
证明:(1) 因为,这时有,从而可逆,且。
(2) 若可逆且是的逆,则,于是
。 设,那么
,
。
因此,是可逆的且是的逆。
例2,证明偶数阶的有限群必含有一个元素使得。
证明:反证法:假设,当时,均有,那么,从而这个群的阶必定是奇数,矛盾。
例3,设是幺半群的一个非空子集。证明是的子群当且仅当,在中是可逆的且。
证明:显然。
设的一个非空子集满足条件:,,且。下证是的一个子群。
(1),我们有,;
(3),由知 ;
(2),我们有,从而。
所以是的一个子群。
作业:P30: 1, 4;
P36: 10,11,12,14.
5
文档评论(0)