- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
1.1 代数基本概念
信息工程大学 电子技术学院 形如表1.2.2的表通常称为群的乘法表 (multiplication table),也称群表(group table) 或凯莱表(Cayley table).人们常用群表来表述 有限群的运算. 如下表所示: a a b e e b e 在一个群表中, 表的左上角列出了群的运算 符号(有时省略),表的最上面一行则依次列出 群的所有元素(通常单位元列在最前面),表的 最左列按同样的次序列出群的所有元素.表中的 其余部分则是最左列的元素和最上面一行的元素 的乘积. 又如果一个群的群表是对称的,则可以肯定,这个群一定是交换群. 注意,在乘积 中,左边的因子 总是 左列上的元素, 右边的因子 总是最上面一行的 元素.由群表很容易确定一个元素的逆元素. 二.群的性质 定理1.2.1 设 为群,则有 (1) 群 的单位元是惟一的; (2) 群 的每个元素的逆元是惟一的; (3) 对任意的 ,有 ; (4) 对任意的 ,有 ; (5) 在群中消去律成立,即设 , 如果 ,或 ,则 . 证 (1) 如果 都是 的单位元,则 (因为 是 的单位元), 因此 所以单位元是惟一的. (因为 是 的单位元), (2) 设 都是 的逆元,则 于是 所以 的逆元是惟一的. (3) 因为 是 的逆元,所以 从而由逆元的定义知, 是 的逆元.又由逆元的 惟一性得 及 从而由逆元的惟一性得 (5) 如果 ,则 同理可证另一消去律. □ (4) 直接计算可得 定理1.2.2 设 是群,那么对任意的 , 方程 及 在 中都有惟一解. 证 取 ,则 所以方程 有解 同理可证另一方程也有惟一解. □ 又如 为方程 的任一解,即 则 这就证明了惟一性. 指数与指数法则 元素的乘积与运算的顺序无关,因此可以简单 群的定义中的结合律表明,群中 三个 进一步可知,在群 中,任意 个元素 可以写成 . 地写成 的乘积与运算的顺序无关,因此 对任意的正整数 ,定义 再约定 ( 为正整数) 则 对任意整数都有意义,并且不难证明: 据此, 我们可以定义群的元素的方幂 对任意的 有下列的指数法则 (1) ; (2) (3) 如果 是交换群,则 (如果 不是交换群,一般不成立). 当 是加群时, 元素的方幂则应改写为倍数 相应地, 指数法则变为倍数法则: (1) (2) (3) (因为加群是交换群,所以(3)对加群总是成立的). 定理1.2.3 设 是一个具有代数运算的非空 集合, 则 关于所给的运算构成群的充分必要条件是 三.群的判别 (1) 的运算满足结合律; (2) 中有一个元素 (称为 的左单位元),使对 任意的 有 (3) 对 的每一个元素 ,存在 (称为 的 左逆元),使 .这里 是 的左单位元. 证 必要性 由群的定义,这是显然的. 充分性 只需证: 是 的单位元,, 是 的. 逆元即可. 设 由条件(3)知,存在 使 而对于 也存在 使 于是 进而由条件(1)知, 为群. □ 由条件(2)及式(3)知,是 的单位元. 是 的逆元, 且 * * 二、群的性质 §1.1 群的定义和性质 一、群的定义 三、群的判别 一.群的定义 定义1.2.1 设 是一个非空集合, 若对 中任意 两个元素 通过某个法则“ ”,有
文档评论(0)