当前位置:文档之家› 离散数学07抽象代数

离散数学07抽象代数


7.2 代数结构及其性质
设R为实数集合,它关于普通乘法*是R上的代数运算。 R-{0}是全体非零实数集合, 对任意a, b∈ R-{0},也 有 a*b∈R-{0}。因此,普通乘法*还是R-{0}上的代 数运算。 R关于普通加法+是R上的代数运算。 对任意a, b∈ R-{0},但不一定a+b∈R-{0},例如2+ (-2)=0。因此,普通加法+不是R-{0}上的代数运算。
第7章 抽象代数
本章内容提要:
1. 抽象代数概述 2. 代数结构及其性质
重点: 代数结构的判定与构造 代数结构关系:同态、同构 特殊关系:同余关系
3. 同态与同构
7.1 抽象代数概述
抽象代数的创始人是两位英年早逝的青 年数学家,阿贝尔与伽罗瓦。阿贝尔, 是挪威
Байду номын сангаас
青年数学家, 乡村牧师之子, 幼年丧父, 家贫。
7.2 代数结构及其性质
A={1,3,9,7},A上模10乘法*运算表如下
* 1 1 3 3 9 7
1
3
3
9
9
7
7
1
9
7
9
7
7
1
1
3
3
9
乘法*运算满足交换律、结合律、消去律
7.2 代数结构及其性质
B={0,1,2,3,4,5},B上模6乘法*运算表如下
* 0 1 2 0 0 0 0 1 0 1 2 2 0 2 4 3 0 3 0 4 0 4 2 0 4 2 5 0 5 4 3 2 1
若集合A上的二元运算*满足结合律, 则我们常 用a*b*c来表示(a*b)*c=a*(b*c)。
7.2 代数结构及其性质
于是, 进一步可令an=a*a*„*a,an 读作a 的n次幂。可以通过如下递归定义得到: (1) a1=a;
(2) an+1=an*a。
利用数学归纳法,不难证明下列公式:
(1) am*an=am+n;
抽象代数对计算机科学的发展有着重大的理 论和实践意义, 如在程序理论、语义学、数据结 构和编码理论, 以及逻辑电路设计的研究, 此外, 抽象代数还被广泛用于物理学、生物学以及社会 科学中。本章将探讨代数结构的数学描述以及一 般代数结构的基本性质。后续两章将深入讨论群、 布尔代数等典型的代数结构及其应用。
LOGO
抽象代数
Abstract Algebra
本部分所要探讨的数学结 构是由集合上定义若干运
算而组成的系统——称为
代数系统(代数结构)。
抽象代数
主要内容
第7章 抽象代数
第8章
第9章

布尔代数
第7章 抽象代数
相对古典代数而言, 抽象代数也称为近世代 数(Modern Algebra), 由于其研究对象是由对象 集合及运算组成的数学结构,即代数结构, 因此, 抽象代数也被称为代数结构或代数系统。
7.2 代数结构及其性质
其他例子:A={0,1},A上逻辑非、析取、合取运算
一元运算
二元运算
¬
0 1 1 0
∨ 0 1
0 0 1 1 1 1
∧ 0 1
0 0 0
1 0 1
以上二元运算使用运算表。
7.2 代数结构及其性质
设I为全体整数集合, n是正整数, 规定 In到I的映射为f:(a1, a2, „, an)→a1,
对于任意(a1, a2, „, an)∈In,
则f是一个n元运算。其中 f(a1,a2,„,an)=a1。 上述代数运算的表示方法称为解析公式 法, 也就是用函数来表示运算。
7.2 代数结构及其性质
练习1 通常数的乘法运算是否可看作下 列集合上的二元运算?请说明理由。 (1)A={1,2} (2)B={x|x是素数} (3)C={x|x是偶数} (4)D={2n|n∈N}
(2) (am)n=amn。
其中,m,n∈I+。
7.2 代数结构及其性质
全体n×n实矩阵的集合Mn(R)上普通的
矩阵乘法*满足结合律,
但不满足交换律。因为一般有:
A*B≠B*A ,
Mn(R)上矩阵乘法*对加法+满足分配律。
7.2 代数结构及其性质
设A={1, 2, „, m}, m是一个正整数。
定义7.3 设S是一个非空集合, f1, f2, „, fn 是S上的n个代数运算, 则S与n个运算所组成的结 构称为代数结构或代数系统,记为<S;f1, f2, „, fn>。
根据上述定义, 一个代数结构需满足如下两个 条件: (1)有一个非空集合S, 称为载体;
(2)一些定义在载体S上的运算。
若S为有限集,则该称代数结构为有限代数结构。
根据上述定义,可以看到,如果这个法则 是S的一个代数运算,则该法则其实就是S上的 一个映射(或函数):Sn→S, n称为这个运算的 阶。对于集合S的一个n元运算f, 若(a1,a2,„, an)∈Sn在f下的像是c, 即f(a1,a2, „,an)→c, 则记为c=f(a1, a2, „, an)。
7.2 代数结构及其性质
定义7.1 设S是一个非空集合。如果有一 个法则, 它对S中任意两个有序元素a与b, 在S中都有一个惟一确定的元素c与它们 对应, 则称这个法则是集合S中一个二元 代数运算。
7.2 代数结构及其性质
一般地,容易得到n元运算的定义:
设S是一个非空集合。如果有一个法则,它 对S中任意n个有序元素a1, a2, „, an, 在S中 都有一个惟一确定的元素d与它们对应, 则称这 个法则是集合S中一个n元代数运算。
{a,b,c} {a,b,c} {b,c} {b,c} {a,b,c} {a,b,c}
{a,b,c} {a,b,c} {a,b,c} {a,c} {a,b,c} {a,b,c} {b,c} {a,b,c}
{a,b,c} {a,b,c}
{a,b,c} {a,b,c} {a,b,c} {a,b,c} {a,b,c} {a,b,c} {a,b,c} {a,b,c}
7.2 代数结构及其性质
上述示例中, 虽然是对不同集合给
出的不同运算, 但它们都具有这样一个
共同的特点:它们都是某个给定的集合
S(S分别为上述二例中的P(A)和Mn(R))中
的任意一个或一对有序取出的元素, 根
据这个法则可在S中找到惟一的一个元素
与之对应。由此, 我们可以抽象出在一 个集合上的二元代数运算的概念。
3
4
0
0
3
4
0
2
3
0
5
0
5
4
3
乘法*运算满足交换律、结合律
但不满足消去律,例如2*1= 2 =2*4,但1≠4
7.2 代数结构及其性质
练习3 实数集R上的下列二元运算是否满
足交换律和结合律?
(1)r1*r2=r1+r2-r1r2
(2)r1ο r2=(r1+r2)/2
7.2 代数结构及其性质
7.2.2 代数结构
7.1 抽象代数概述
伽罗瓦, 是法国青年数学家, 其父亲是自由主义 思想家, 母亲亦受了良好教育, 中学时就对数学产生 强烈兴趣, 他两次投考巴黎综合技术学院而未被录取, 后进入巴黎高师学习, 提出“群”的概念。但其论文 未被数学家柯西、泊松等接受。跟大多数数学家不问 政治不同,伽罗瓦是一个非常激进的革命者,后因政 治原因入狱。最后与人决斗受伤而去逝。在其决斗前 几天, 写下了其主要研究成果, 直到40年后, 其成果 才被世人所接受。后有著名数学家评价说:“伽罗瓦 的去逝使数学的发展推迟了几十年”。从伽罗瓦的工 作以后,代数学结束了解方程的历史,进入研究新的 数学对象——群、环、域的抽象代数的发展阶段。
定义7.2 设S上有n元运算*(n为正整数),S′S, 若对任意 a1, a2, „, an∈S′,有*(a1, a2, „, an)∈S′, 则称S上的*运算对S′封闭,或称为S′在* 下是封闭的。
7.2 代数结构及其性质
练习2 A={x|x=2n,n∈N},问<A,>是否封 闭,<A,+>,<A,/>呢?
多独创性成果, 但大都未受重视, 贫病而逝。 去逝后3天, 柏林大学寄来教授聘书, 让后人 叹息!后人曾评价说:“他工作不是为自己, 而是为他热爱的科学”。2001,在阿贝尔诞生
200周年之际,挪威王国政府宣布,设立面向
国际的“阿贝尔数学奖”。
Niels Abel
A statue of Abel in Oslo
在P(A)上并∪运算的结果均在P(A)中
7.2 代数结构及其性质
7.2.1 代数运算
例7.1 (2) A={1,3,9,7},A上模10乘法*运算表如下
* 1 1 1 3 3 9 9 7 7
3
9 7
3
9 7
9
7 1
7
1 3
1
3 9
B={0,1,2,3},B上模4加法+运算表如下
+ 0 1 2 3 0 0 1 2 3 1 1 2 3 0 2 2 3 0 1 3 3 0 1 2

2r,2s∈A,2r 2s=2r+s∈A(r+s∈N)
∴<A, >运算封闭 2,4∈A,2+4A,∴<A,+>运算不封闭 2,4∈A,2/4A, ∴<A,/>运算不封闭
7.2 代数结构及其性质
对于A上两种二元运算ο 和*:
若对于任意a, b∈A有:aο b=bο a, 则称ο 在A 上是可交换的(或称ο 满足交换律)。
Evariste Galois
A drawing done in 1848 from memory by Evariste's brother.
相关主题