- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
代数学(第4讲)
第 四 讲
§1.3, 同构,Cayley定理
复习有关内容:
1,设是一个非空集合,如果在上定义了一个二元运算“”,则称为一个群胚。一个群胚中的运算“”如果是可结合的,则称为一个半群。一个半群中如果存在一个恒等元(单位元)1,则称为一个幺半群。 一个幺半群中如果每一个元都有逆元,则称为一个群。
2,一个幺半群的一个子集称为的一个子幺半群
如果并且。幺半群的一个子幺半群
如果是一个群,则称为的一个子群。
3,设是一个非空集合。那么幺半群的子幺半群称为的变换幺半群。幺半群的可逆元群称为集合的对称群,记为。对称群的子群称为的变换群。 特别地,当为有限集时,称对称群的子群为置换群。
新课:
一、同构的定义
1,定义1.3,设和是两个幺半群。它们称为同构的,记为,如果存在到的一个双射使得,均有,同时。此时称为到的一个同构映射。
2,定义1.3中的条件是多余的。事实上,。因为是满的,所以应是中的恒等元。由恒等元的唯一性知,。
例1:设是整数集,是偶数集。那么与都是幺半群(实际上它们都是群,运算是数的加法,单位元都是0)。现作映射,其中。则是到的一个同构映射。事实上,映射显然是一个双射,并且,均有,因此。
3,同构作为幺半群之间的一个关系是等价关系。因为
(1)任何幺半群与自身同构(取恒等映射)(自反性成立)。
(2)设是一个同构映射,那么 均有,从而。现令则有
,于是对所有都成立(因为是满射)。所以是到的一个同构映射(对称性成立)。
(3)设是到的一个同构映射,那么
。因此,是一个同构映射(传递性成立)。
二,幺半群(群)的实现
1,幺半群与群的Cayley定理:(1)任一个幺半群与一个变换幺半群同构;(2)任一个群与一个变换群同构。
证明:(1)设是一个幺半群,。作映射满足,称为上的一个内左平移 (左乘),记。显然,。下证是幺半群的一个子幺半群。
首先,因此,即含有恒等映射。其次,设
。于是。因此,是幺半群的一个子幺半群,即是的一个变换幺半群。再证。
作映射,使得。显然是满射,又因为,所以是单射。因此是双射。其次,,所以是到的一个同构映射,即。
(2)设是一个群。那么由(1)知,是的一个变换幺半群。下证是的一个变换群。为此,只需证明是一个群。事实上,且,因此是的一个双射并且。即是一个群。再由(1)知 。
2,推论:任一个有限群同构于一个置换群。
§1.4,广义结合性,交换性
一,广义结合性
1,引理:设是一个幺半群,。定义如下:则
。
证明:用数学归纳法。当时,由定义结论成立。假设时结论成立,那么当时,我们有
证毕。
2,定理:设是一个幺半群,。那么,按次序的所有添加括号的积均相等,它们的值为。
证明:首先,的任一个添加括号的积最终可表示为,其中是的一个添加括号的积,是的一个添加括号的积。今对作数学归纳法,当时结论显然成立。假设对于时定理成立,那么对于,由归纳假设及引理知
的任一个添加括号的积=。
注:在上述定理中,按次序的所有添加括号的积都相等。那么这个积简记为。
3,如果,那么我们用表示。称为的n次幂。不难验证,对于任意正整数m,n,均有。如果令那么上式对任意非负整数m,n均成立。
如果是中的可逆元,令,显然,且不难验证,上式对任意整数m,n均成立。
二,中心
1,设是一个幺半群,。如果,那么与称为可交换的。如果中每一对元素都是可交换的,那么称为交换幺半群。交换群又称为Abel群。
2,设是一个幺半群,,令。 易证是的一个子幺半群。事实上,显然有(因为),并且,我们有,于是,即。所以是的一个子幺半群。称为的中心化子。若是一个群,那么是的一个子群。事实上,首先,是的一个子幺半群;其次,我们有,此时,即,因此是的一个子群。
3,设是一个幺半群,,令。易证是的一个子幺半群。称为子集的中心化子。特别地,当是一个群时,是的一个子群。当时,称为的中心。
三,广义交换性
1,定理:设是一个幺半群,,且。那么,对于的任一个排列,均有。
证明:当时,定理显然成立。假设定理对于成立。下证定理对于也成立。设在中的第个位置,即,那么,由归纳假设
2,如果是一个交换幺半群,那么中的运算用“+”表示。即用代替,用0代替1,“+”称为加法,0称为零元,用表示,称为的负元。变为,称为的n倍。 于是,我们有
四,例子
例2:当时,的中心是{1}。
证明:设属于的中心,但,则,使得。因为,所以可在上取到使互异,并且(因为中心)。这里表示一个置换满足将射到并且将射到而其他元素均不变。所以。因为,,所以,这与矛盾。于是。
作业:P39:3,6;
P42:1,3.
文档评论(0)