第5章 群、环和域
抽象代数——精选推荐
抽象代数⼀、课程⽬的与教学基本要求本课程是在学⽣已学习⼤学⼀年级“⼏何与代数”必修课的基础上，进⼀步学习群、环、域三个基本的抽象的代数结构。
要求学⽣牢固掌握关于这三种抽象的代数结构的基本事实、结果、例⼦。
对这三种代数结构在别的相关学科，如数论、物理学等的应⽤有⼀般了解。
⼆、课程内容第1章准备知识（Things Familiar and Less Familiar）10课时复习集合论、集合间映射及数学归纳法知识，通过学习集合间映射为继续学习群论打基础。
1、⼏个注记(A Few Preliminary Remarks)2、集论(Set Theory)3、映射(Mappings)4、A（S）(The Set of 1-1 Mappings of S onto Itself)5、整数(The Integers)6、数学归纳法(Mathematical Induction)7、复数(Complex Numbers)第2章群(Groups) 22课时建⽴关于群、⼦群、商群及直积的基本概念及基本性质；通过实例帮助建⽴抽象概念，掌握群同态定理及其应⽤；了解有限阿贝尔群的结构。
1、群的定义和例⼦(Definitions and Examples of Groups)2、⼀些简单注记(Some Simple Remarks)3、⼦群(Subgroups)4、拉格朗⽇定理(Lagrange’s Theorem)5、同态与正规⼦群(Homomorphisms and Normal Subgroups)6、商群(Factor Groups)7、同态定理(The Homomorphism Theorems)8、柯西定理(Cauchy’s Theorem)9、直积(Direct Products)10、有限阿贝尔群(Finite Abelian Groups) （选讲）11、共轭与西罗定理(Conjugacy and Sylow’s Theorem)(选讲)第3章对称群(The Symmetric Group) 8课时掌握对称群的结构定理，了解单群的概念及例⼦。
抽象代数高等数学教材
抽象代数高等数学教材抽象代数，作为数学的一个重要分支，研究的是代数结构的抽象概念及其性质。
它是现代数学的基石之一，也是高等数学中的一门重要课程。
本教材旨在全面而系统地介绍抽象代数的基本概念、理论和方法，帮助读者建立起对抽象代数的深入理解和应用能力。
第一章：群论1.1 群的定义与性质1.2 群的子群与商群1.3 幺半群与半群1.4 群同态与同构1.5 群的作用与置换群第二章：环论2.1 环的定义与性质2.2 整环与域2.3 环的同态与同构2.4 素理想与极大理想2.5 多项式环与唯一因子分解整环第三章：域论3.1 域的定义与性质3.2 代数扩域与超越扩域3.3 有限域与伽罗华理论3.4 不可约多项式与域的扩张第四章：线性代数4.1 线性空间的定义与性质4.2 线性变换与矩阵4.3 特征值与特征向量4.4 正交矩阵与对角化4.5 线性空间的直和与内积空间第五章：模论5.1 模的定义与性质5.2 子模与商模5.3 生成元与基本定理5.4 非交换环上的模5.5 自由模与有限生成模第六章：域扩张与代数闭包6.1 域扩张的概念与性质6.2 代数元与超越元6.3 代数闭包与代数簇6.4 代数闭域与代数不变量6.5 有理函数与分式域的构造第七章：范畴论与同调代数7.1 范畴的基本概念与性质7.2 范畴的构造与自然变换7.3 函子与函子范畴7.4 外代数与同调代数基础7.5 奇异同调与同调算子第八章：群表示论8.1 群表示的基本概念与性质8.2 单群与群同态8.3 群表示与欣格尔引理8.4 卷积公式与算术引理8.5 特殊群的表示与表示的构造结语：本教材通过系统而严谨的讲解，涵盖了抽象代数的核心内容，旨在培养读者对抽象代数的兴趣和学习动力，提升读者对数学的抽象思维能力和证明能力。
在学习的过程中，读者还可结合习题和实例进行巩固和应用，从而更好地掌握抽象代数的理论与方法。
希望本教材能成为读者学习抽象代数的重要参考资料，为他们在数学领域的探索和研究奠定坚实基础。
代数学中的群、环和域的基本概念
在代数学中，群、环和域是几个基本的概念。
它们是数学中用于研究代数结构和操作规律的工具。
群、环和域分别是从不同角度对代数系统进行定义和研究的。
本文将重点介绍群、环和域的基本概念。
首先我们来谈谈群的定义。
在代数学中，一个群是一个集合G与一个二元运算（通常是乘法），满足以下四个条件：封闭性、结合律、存在幺元和存在逆元。
封闭性指的是对于任意的a和b属于G，a b仍然属于G。
结合律是指对于任意的a、b和c属于G，(a b)c = a(b c)。
存在幺元指的是存在一个元素e属于G，使得对于任意的a属于G，a e = e a = a。
存在逆元指的是对于G中的任意元素a，存在一个元素b使得a b = b a = e，其中e是G中的幺元。
通过这些性质，我们可以描述群的基本性质和操作规律。
接下来我们来讨论环的概念。
一个环是一个集合R与两个二元运算+和（通常是加法和乘法），满足以下八个条件：R关于+构成一个阿贝尔群、乘法满足结合律、分配律和乘法有单位元。
阿贝尔群指的是R关于+满足群的四个条件：封闭性、结合律、存在零元和存在逆元。
结合律和分配律即与群相同。
乘法有单位元指的是存在一个元素1属于R，对于任意的a属于R，a1 = 1*a = a。
通过环的性质，我们可以研究乘法在环上的特性和规律。
最后我们来研究域的概念。
一个域是一个集合F与两个二元运算+和（通常是加法和乘法），满足以下九个条件：F关于+构成一个阿贝尔群、F关于构成一个阿贝尔群（去除零元）、乘法满足结合律和分配律。
阿贝尔群和分配律与之前的定义相同，乘法的结合律和分配律也与环相同。
但与环不同的是，域中乘法还需要去除零元，即不存在一个元素0使得0a = a0 = 0。
通过域的性质，我们可以进行更为深入的代数研究。
无论是群、环还是域，它们都是代数学研究中的基础概念。
通过对群、环和域的研究，我们可以分析和证明各种代数结构的特性和规律。
这些概念及其性质构成了代数学中的基本框架，并为更复杂和抽象的数学理论提供了基础。
1-0.群,环,域ppt课件
el
为运算 的左单位元，
同理可以定义右单位元 ，
er
如果 el er，则称e 是运算 的e单位元。
例如，在数的加法运算中0是单位元，在数的乘法
运算中1是单位元。在集合的并中 是单位元，在矩
阵加法中O是单位元，在矩阵乘法中 是单位元。
在
中2是单位元。
对于任意的 a, b, c A , 有
a (b c) (a b)(a c) (b c) a (b a)(c a)
则称运算 对运1算0 是可分配的。
3，与二元运算相关的一些特殊的元素 （1）单位元
如果 el A, 对 于x A都 有，则el称 x x
12
5，代数系统
由非空集合A和定义在A上的一系列运算
f1, f2 ,, fm 组成的系统称为代数系统，
记作 ( A, f1 , f2 , , fm ) 。
如果运算 f1 , f2 ,, fm
对A的子集B封闭，则
(B称, f1 , f2 ,, fm ) ( A, f1 , f2 ,, fm )
为
例检如验A一=个{1系,2,统3,4是,5否}，构f成(a代,b)数=l系cm统(a，,b最)(最重小要公的倍一数)
的子系统。
就点不就构是成看代运数算系对统集。合因是为否，封f (闭3,，5)=即1运5不算在的集结合果A是中否，
f 对还A在不集封合闭A。中。
13
二.群的定义与性质
1、群的定义
设G是一个带有运算“ ”的非空集合，且其中的运 算满足以下四个条件，则
3
教学内容和基本要求
1，理解线性空间的概念，掌握基变换与坐标变换的公式； 2, 掌握子空间与维数定理，理解子空间的相关性质； 3, 理解线性变换的概念，掌握线性变换的矩阵示表示,
群论环论域论
群论环论域论
群论、环论和域论是数学中的三个重要分支，它们分别研究了代数结构中的群、环和域。
群论研究的是一种代数结构，具有可交换性、结合性、单位元和逆元等基本性质，可以用来描述对称性、对称群和对称变换等；环论研究的是具有加法和乘法运算的代数结构，既可以用来描述整数环、多项式环等，也可以用来研究编码理论、密码学等；域论则研究的是一种更高级别的代数结构，具有除法性质，可以用来描述有理数域、实数域、复数域等，也可以应用于密码学、编码理论和代数几何等领域。
在群论中，我们研究了群的基本概念和性质，包括置换群、循环群、子群、同态等；在环论中，我们研究了环的基本概念和性质，包括整环、域、商环、多项式环等；在域论中，我们研究了域的基本概念和性质，包括有限域、无限域、扩域等。
群论、环论和域论在数学中有着广泛的应用，例如在物理学、化学、计算机科学等领域均有重要的应用。
在研究代数结构中的群、环和域时，我们可以运用不同的方法和技巧，例如置换、同态、不变量、欧几里得算法、Galois理论等，这些方法和技巧可以帮助我们更加深入地理解和研究代数结构中的问题。
综上所述，群论、环论和域论是数学中的三个重要分支，研究代数结构中的群、环和域，具有广泛的应用和深刻的理论意义。
- 1 -。
通用版带答案高中地理必修二第五章环境与发展(四十七)
通用版带答案高中地理必修二第五章环境与发展(四十七)综合题1、“长株潭”是长沙、株洲和湘潭的合称。
在历史上，三城多次分分合合，如今长株潭城市群区域一体化速度在不断加快。
阅读图文材料，回答下列问题。
材料一：长株潭城市群是湖南省经济发展的增长极，该区域以全省1/7的国土面积、22%的人口，创造了40%以上的经济总量和财政收入。
此外，全省60%以上的创业平台、70%以上的高新技术企业和80%以上的高校科研机构集中于长株潭地区。
材料二：长株潭的工程机械制造产业规模稳居全国第一，已成为世界级的工程机械产业集群。
湖南省政府在推断“长株潭城市群”发展进程中，明确将工程机械产业作为重点扶持的传统产业之一。
近年来，我国交通设施、能源、水利水电及城镇化等方面建设投资了大批的工程项目，工程机械需求旺盛。
非洲、中东等地区的基础设施建设处于加快发展中，也为长株潭的工程机械制造产业提供了发展机遇。
材料三：长株潭内建有一条城际铁路，设计速度200千米/小时。
近年来，长株潭城际铁路大幅提高开行密度，平均发车间隔约为10—20分钟，基本达到“公交化”的水平。
长株潭三城共享一片面积约528平方千米的“绿心区域”，这里以农田、水域、森林、丘陵为主，在规划建设过程中应尽可能保持原生态，开发强度不宜过大。
(1)归纳长株潭城市建成区空间布局的特征，概述长株潭城市群中不同等级城市的产业结构特征。
(2)从社会经济角度，分析长株潭城市群发展工程机械产业的有利条件。
(3)说明城际铁路的建设和优化对长株潭地区发展的积极意义。
(4)长株潭“绿心区域”规划发展信息技术、设计创意、休闲旅游等绿色创新产业，从环境角度评价其合理性。
答案：(1)主要沿湘江布局、拓展；沿铁路线布局；呈“品”字形分布。
长沙为省会城市，城市等级较高，产业结构以第三产业为主；株洲、湘潭为地级市，城市等级较低，产业结构以第二产业（或第二、第三产业）为主。
(2)政策支持，政府重点扶植，有利于资金及配套设施的落实；有湘江流经，铁路、高速公路密布，水陆交通便捷，有利于原产料的输入和及新产品的输出；国内外基础设施建设需要工程机械设备，市场需求量大；高等院校和高新技术企业众多，劳动力素质高，科技创新能力强；目前已形成产业集群，产业链上不同企业集聚分布，集聚效应和规模效应好。
群、环、域的基本概念与性质
群的同态与同构
群的同态
设$(G,cdot)$和$(H,*)$是两个群，如果存在一个映射$varphi:Gto H$，使得对于任意两 个元素$a,bin G$，都有$varphi(a*b)=varphi(a)cdotvarphi(b)$，则称$varphi$为从 $(G,cdot)$到$(H,*)$的一个同态映射。
群的同构
如果同态映射$varphi:Gto H$既是单射又是满射，则称$varphi$为从$(G,cdot)$到 $(H,*)$的一个同构映射，此时称群$(G,cdot)$和$(H,*)$是同构的。
同态核
设$varphi:Gto H$是一个同态映射，称集合${ain G|varphi(a)=e_H}$为$varphi$的核， 记作$kervarphi$。其中$e_H$是群$(H,*)$的单位元。同态核是群$(G,cdot)$的一个正规 子群。
感谢观看
域在代数几何中的应用
代数曲线与曲面
域上的多项式环与代数曲线、曲面密切相关， 是代数几何的基本研究对象。
有限域上的代数几何
有限域上的代数几何在密码学、编码理论等领 域有广泛应用。
域扩张与Galois理论
域的扩张与Galois理论是代数几何中的重要工具，可用于研究代数方程的可解 性等问题。
THANKS
子环、理想与商环
子环
设$(S,+,*)$是$(R,+,*)$的子集，若$S$对$+$和$*$也构 成环，则称$(S,+,*)$是$(R,+,*)$的子环。
理想
设$I$是环$R$的子集，若$I$对加法构成阿贝尔群，且对 于任意$rin R$和任意$iin I$，有$r*iin I$和$i*rin I$，则 称$I$是环$R$的理想。
离散数学第七讲群、环、域
7
一、群的定义和性质
定理4：群〈G ,*〉的运算表中的每一行或每一列都是G中 证： iii)最后, 因为〈G, *〉中含有么元, 所以没有两行
综合以上结果便得出: 运算表中每一行都是G的元素的
一个置换, 并且每一行都是不同的置换。同样的结论适合 于列。证毕。 定理5：群中没有零元。
(3)对任意 a、b∈S, ∵ b-1 ∈S , ∴ a *(b-1 )-1 ∈S, ∵ a *(b-1 )-1 = a *b , ∴ a *b∈S 。
得证。
21
四、群同态
定义8:设〈G , *〉和〈H , *′〉是两个群, 映射h:G →H
称为从〈G , *〉到〈H, *′〉的群同态, 如果对任
④ 代数〈Nk, +k, -1, 0〉是群, 这里x-1 =k-x 代数〈Nk, ×k 不是群, 因为0元素没有逆元
3
一、群的定义和性质
群是半群和独异点的特定情况, 有关半群和独异点的性 质在群中也成立, 群的性质还有：
定理1: 如果〈G , *〉是一个群, 则对于任何a、b∈G, (a) 存在一个唯一的元素x, 使得a * x=b (b) 存在一个唯一的元素y, 使得y * a=b
任意群〈G ,*〉均有两个平凡子群：〈{e},*〉和〈G ,*〉。
18
三、子群
定理12：设〈G , *〉是个群, S⊆G, 如果(1)若a、b∈S, 则a * b∈S, (2)若a∈S, 则a-1 ∈S。那么〈S , *〉 是〈G, *〉
证： 对任意元素a∈S, 由(2)得a-1 ∈S, 再由(1)得a * a-1 =e∈S。 所以, 〈S , *〉是〈G , *〉的子群。
推论： (a1
大连理工Chapter5(环与域)(2008-3-19)(3)
5.4 代数结构的同态与同构
定义5.4.3 设<X，⊙>与<Y， ◎ > 是同类型的。 称<X,⊙>同构于<Y, ◎>, 记为 <X,⊙>≌<Y,◎>, 其定义如下： <X,⊙> ≌ <Y, ◎ >:=(f )(f为从<X,⊙>到<Y,◎> 的同构映射, 或更详细地定义为： <X,⊙> ≌ <Y, ◎ >:=(f )(f ∈YX∧f为双射∧f为 从<X,⊙>到<Y, ◎ >的同态映射)
26
5.6 群的同态与同构
群同态有很好的性质，它保持幺元、逆元和子群.
定理5.6.1 设g为从群<G, ⊙>到群<H, ◎>的群同态 映射，则 (1) 若eG和eH分别为两群的幺元, 那么g(eG)= eH。 (2) 若a∈G，那么g(a-1)=(g(a))-1。 (3) 若<S,⊙>是群<G,⊙>的子群且g(S)= {g(a)| a∈S}, 那么<g(S), ◎>为群 <H,◎> 的子群。
54代数结构的同态与同构2014102114当探索新的代数结构的性质时如果发现或者能够证明该结构同构于另外一个性质已知的代数结构便能直接地知道新的代数结构的各种性质了
离散数学
（代数结构）
Discrete Mathematics （Algbra Structures）
徐喜荣 大连理工大学电信学院计算机系
定理5.5.2 如果 g 是从<S，⊙>到<T，☆>的半群同态 映射，h是从 <T，☆> 到 <U，◎> 的半群同态映射，
抽象代数群环域定义说明
抽象代数是数学中一个重要的分支，它研究的是用一般的代数结构来描述和分析数学对象的性质。
在抽象代数中，群、环和域是最基础的三个代数结构，它们分别对应着集合上的运算的性质。
首先，我们来看群的定义。
群是一个非常抽象的数学对象，它由一个集合G和一个二元运算组成。
对于集合G中的任意两个元素a和b，它们的组合结果a也属于集合G，并且满足以下四个条件：1.封闭性：对于任意的a和b，它们的组合结果*a也属于集合G。
2.结合律：对于任意的a、b和c，(a b)c = a(b c)。
3.存在单位元：存在一个元素e，对于任意的a，a e = e a = a。
4.存在逆元：对于集合G中的任意元素a，存在一个元素b，使得a b = b a = e，其中e是单位元。
在群的定义中，我们需要满足这些条件，才能称它为群。
群的定义非常抽象，但它可以用于描述很多实际的数学对象，比如整数、矩阵等。
接下来，我们来看环的定义。
环是一个集合R和两个二元运算+和组成的代数结构。
对于集合R中的任意两个元素a和b，它们的加法结果a+b和乘法结果a b都属于集合R，并且满足以下三个条件：1.R关于加法构成一个群。
2.乘法满足结合律：对于任意的a、b和c，(a b)c = a(b c)。
3.分配律成立：对于任意的a、b和c，a(b+c) = a b + a c和(b+c)a = b a + c a。
环是比群更一般的概念，它描述了集合上同时存在加法和乘法的性质。
在环中，加法满足群的所有条件，而乘法则更一般一些，只要求满足结合律和分配律。
最后，我们来看域的定义。
域是一个集合F和两个二元运算+和组成的代数结构。
对于集合F中的任意两个元素a和b，它们的加法结果a+b和乘法结果a b都属于集合F，并且满足以下四个条件：1.F关于加法构成一个交换群。
2.F{0}关于乘法构成一个交换群。
3.乘法满足分配律：对于任意的a、b和c，a(b+c) = a b + a c和(b+c)a = b a + c a。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
2.两种最简单的代数结构: 半群及独异点 Def 设*是非空集合S上的2元代数运算, 若* 满足结合律, 即对于任意x, y, z S,有(x*y)*z = x*(y*z), 则(S, *)称是半群(semigroup). 例5-2 实数集合R关于其上的乘法运算“” 作成一个半群(R, ).
这是一种形式化研究方法. 先看一个关于有 限半群结论的推导方法. Theorem 5-1 设(S, *)是有限半群, 则(S, *)中 存在幂等元素. 先定义任意元素a的正整数方幂: 1 a a. n a n na a ... a(n 2). R, : a n a a ... a.
5.1 代数结构简介
1.代数结构的定义 “代数”总是与运算联系在一起的. Def 设A是非空集合, f1, f2,…, fk(k 1)是A上 的代数(封闭)运算,则集合A连同其上的代数 运算称为代数结构(algebra structure)或代数 系统(algebra system)或简称代数(algebra),记 为(A, f1, f2,…, fk),在已知运算的情况下可简 记为A.
下面给出的是一般的两个代数结构(单同态、 满同态)同构的定义. Def 5-8 设是代数结构(A, f1, f2,…, fk)到(B, g1, g2,…, gk)的同态映射, (1)若是单射,则称为(A, f1, f2,…, fk)到(B, g1, g2,…, gk)的单同态映射. (2)若是满射,则称为(A, f1, f2,…, fk)到(B, g1, g2,…, gk)的满同态映射. (3)若是双射,则称为(A, f1, f2,…, fk)到(B, g1, g2,…, gk)的同构映射,称代数结构(A, f1, f2,…, fk)与(B, g1, g2,…, gk)同构(isomorphism):
• • • • • (1)若*在A中可交换,则◦在(A)中可交换. (2)若*在A中可结合,则◦在(A)中可结合. (3)若*在A中有幺元e,则◦在(A)中有幺元(e). (4)若*在A中有零元,则◦在(A)中有零元(). (5)若x关于*在A中有逆元x-1,则(x)关于在(A) 中有逆元(x-1).
例5-3 设是若干个字母组成的集合,称为字 母表,由中有限个字母组成的序列称为上 的串,不含任何字母的串称为空串,记为. 令 *是所有上的串组成的集合, 其上的运算◦ 为 *上的连接运算: * * s1s2 ...sk Σ , t1t2 ...t s Σ :
* 正 负 零 正 负 零 正 负 零 负 正 零 零 零 零
Hint
正, x 0 : Z B, ( x) 负, x 0. 零, x 0
(B, *)将整数集合上乘法运算的特征完全表 示出来了. 但请注意, 两个同态的代数结构之间可能存 在多个同态映射,请自己举例加以说明.
例5-5 在例5-1(2)中,有(Z, +, .)是(R, +, .)的子 代数, 因为整数集合Z关于加法运算和乘法 运算是封闭的.
例5-6 由第1章1-3节很容易知道,(Z8, 8, 1)是 独异点,其中Z8 = {0, 1, 2, 3, 4, 5, 6, 7}, 是8模 8的乘法运算. 取S = {0, 2, 4}, 这时S关于运 算是封闭的, 但因为1 S,即S关于Z8中的0元 运算不封闭, 所以S不是Z8的子代数.
( A, f1 , f 2 ,..., f k ) ( B, g1 , g 2 ,..., g k ).
由定义知, 两个同构的代数结构在本质上是 完全相同的, 所不同的仅仅是集合中的元素 符号可能不同, 其上的运算符号也可能不同, 参见下面的例子. 例5-10 (A, *):
* a b a b a b b a
对于代数结构的理解, 需注意以下几点： (1)A非空; (2)代数运算; (3)(k + 1)-元组(A, f1, f2,…, fk); (4)运算的元数可以相同. 例5-1(P136): (1)(R, +): Group. (2)(R, +, ): Ring. (3)( P( X ),,, ) :Boolean Algebra. 有限代数与无限代数?
s1s2 ...sk t1t2 ...t s . 很容易验证: (*, ◦)是半群. 实际上, 上的所有非空串组成的集合+,
关于其上的串的连接运算也构成一个半群 (+, ◦).
Def 5-4 设*是非空集合M上的2元代数运算, 若*满足结合律且M关于*有幺元e, 即对于任 意xM, 有e*x = x*e = x, 则称(M, *, e)为独异 点(monoid). 含幺半群就是独异点. S (R, )? M
q p q
p 1, k , kp j : a a a a a a ... a a .
kp p kp p p kp kp kp
3.子代数 讨论代数结构,一种常用的方法是根据其子 代数所具有的性质去推测原代数的性质. Def 5-5 设(A, f1, f2,…, fk)是代数)是代数结构,则称其为(A, f1, f2,…, fk)的子代数(subalgebra),或在不强调 运算情况下简称S是A的子代数. 一般地,要验证S是否是A的子代数,只要验证 S关于A中运算是否封闭即可.
Chapter 5 群、环、域
接下来的两章将介绍常见的几种代数结构， 它是一种用代数方法建立的数学模型. 代数结构简称代数，它是抽象代数(abstract algebra)或近世代数(modern algebra)，不是 初等代数，也不是高等代数，它始于19世 纪初，形成于20世纪30年代，在这期间， 挪威数学家N. H. Abel、法国数学家E. Galois、英国数学家A. De Morgan和G. Boole等人都作出了杰出的贡献.
(B, +):
+ 偶 奇
偶 奇 偶 奇 奇 偶
( A,) ( B,).
Def 5-9 设是代数结构(A, f1, f2,…, fk)到(A, f1, f2,…, fk)的同态(构)映射, 则称是(A, f1, f2,…, fk)的自同态(构)映射.
作业 习题5.1 2, 3, 4, 7, 8, 9(选).
代数结构研究由一般元素(不仅仅是数字、符号等) 组成的集合上的运算,以及运算满足一些给定性质 的数学结构的性质. 计算机科学很大部分研究的是“代数”—数据集 合上进行操作. 前面讨论的Chapter 1是集合代数, Chapter 2是关系代数, Chapter 3+4是逻辑代数等. 代数结构在计算机科学中起着重要作用,众所周知 利用布尔代数可进行逻辑电路设计的分析和优化. 利用代数结构可研究抽象数据结构的性质与操作, 它也是程序设计语言的理论基础. 在本章讲解群、环和域, 它们在组合计数、编码理 论、形式语言与自动机理论等学科中都发挥了重 要作用.
例5-7 (Zn, +n , n) (cf. 习题1.3第8题)
4.代数结构的同态与同构 借助于同态映射也是研究代数结构的方法 之一: 映射的作用体现. 为了讨论方便,先给出 Def 5-6 设(A, f1, f2,…, fk)和(B, g1, g2,…, gk)是 代数结构,若fi与gi有相同的运算元数, i = 1, 2, …, k,则称这两个代数结构是同类型的. 下面给出的是一般的两个代数结构同态的 定义,针对具体的重要代数结构还会重新给 出定义的.
例5-4 在例5-3中, (*, ◦, )是独异点, 而(+, ◦)不是.
Remarks (1)在(*, ◦ , )中的称为代数常数. 代数结 构中的代数常数可以不止一个, 例如在后面 将学习的布尔代数就有2个代数常数. 当然 也可以没有代数常数. (还要看是否强调该元 素) (2) (*, ◦)是半群, (*, ◦ , )是独异点, 它们 是两个不同的代数结构. 正因为这样,一个最 好的处理方式是将代数常数看作是0元运 算,(*, ◦, )有1个0元运算(及1个二元运算), 布尔代数有2个0元运算.
*
x, y Σ : ( x y) | x y || x | | y | ( x) ( y).
保持0元运算?
( ) | | 0.
下述定理说明了研究代数结构同态映射的 必要性. Theorem 5-2 设是代数结构(A, f1, f2,…, (A fk)到(B, g1, g2,…, gk)的同态映射,则 ) 是B 的子代数,称为同态映射的同态像. 对于仅一 个2元运算的两个代数结构(A, *)和(B, ◦) :
Def 5-7 设(A, f1, f2,…, fk)和(B, g1, g2,…, gk) 是同类型的代数结构,若存在:AB且保持 所有运算,即对于ni元运算fi和gi,有 1 i k :
f i x1 , x2 ,..., xn g i x1 , x2 ,..., xn 即先(在A中)运算再映射等于先映射再(在B 中)运算, 则称为(A, f1, f2,…, fk)到(B, g1,
n R, +: a n a a ... a na.
a S : a1 , a 2 , a 3 ,... S. Proof 取 i, j : a a (i j ).
i j
p i j 1: a a a a .