《毕业论文----同余与子结构》由会员分享,可在线阅读,更多相关《毕业论文----同余与子结构(22页珍藏版)》请在金锄头文库上搜索。
1、目目 录录中文摘要01英文摘要02引 言03基本定义04群 05环 08模 11半 群15参考文献19致 谢20同余与子结构页1中文摘要中文摘要本文讨论了群上的同余与正规子群之间、环上的同余与理想之间、模上的同余与子模之间的一一对应关系. 但是对于半群, 所有理想都能对应到相应的同余, 相反却不成立. 本文构造了一个交换幺半群, 得到了泛半群上同余与理想之间不一定存在一一对应的结论. 关键词: 半群, 群, 环, 模, 同余, 子结构,双射同余与子结构页2ABSTRACTABSTRACTIn this paper, we study the relationships between cong
2、ruences and normal subgroups on a group, congruences and ideals on a ring, congruences and submodules on a module. For a semigroup, we could just prove that an idea is corresponding to a congruence, however on the contrary its not ture. In this paper, we construct a commtative monoid and prove that
3、there is no bijective mapping between the set of all congruences and the set of all ideals of this monoid.Keyword: semigroup, group, ring, module, congruence, substructure, bijection function同余与子结构页3一、引言一、引言同余作为代数系统上保持所有运算的等价关系, 在每一个代数系统的研究中都占据着重要的地位. 而本文研究的主要是群、环、模、半群等代数系统上的同余与子结构的关系. 涉及到的内容主要有以下几点
4、 :1关于群, 本文主要参考文献1及文献4, 详细研究了群的正规子群, 同余关系及关于同余生成的商群等, 并仿照文献4中已有结论得到本文定理 3.4, 即可以根据给定的一个正规子群, 构造出一个相应的同余 ; 相反可以根据给定的一个同余, 构造出一个正规子群. 这样便初步得到群上的同余与正规子群之间的对应关系, 而进一步地通过定理 3.5补充证明群上的同余与正规子群之间存在一一对应的关系. 2关于环, 总体思路与群上的类似. 环的特殊子结构是理想, 所以本章着重讨论环上的同余与理想的关系. 仿照定理 3.4, 给出并证明了定理 4.5, 表明在环上可以根据给定的任意一个理想构造出相应的一个同余
5、 ; 相反可以根据给定的一个同余, 构造出一个理想. 而通过定理 4.6 进一步补充证明了环上的同余与理想之间存在一一对应的关系.3关于模, 由于模本身与环非常类似, 所以仿照定理 4.5, 我们给出定理 5.6, 凭此证明了在模上可以根据给定的任意一个子模而构造出一个相应的同余 ; 相反可以根据给定的一个同余, 构造出一个子模. 而通过定理 5.7 进一步补充证明了模上的同余与子模之间存在一一对应的关系. 4关于半群, 通过定理 6.4, 我们证明了半群上任意给定一个理想, 都可以构造出一个与之对应的同余 ; 而命题 6.5 则证明了交换幺半群上只要给出一个子半群, 便可以构造出一个同余 ;
6、 并在此基础上, 本文构造出一个交换幺半群, 且根据该半群的一个子半群构造出的同余, 是无法找出任何理想与之对应. 并进一步探究发现, 该半群所有同余与理想分别组成的集合具有不同的阶. 通过此反例反驳了半群上同余与理想之间存在一一对应的关系. 同余与子结构页4二、基本定义二、基本定义等价关系是集合上一类重要的二元关系. 定义如下: 定义 2.11 设为一个集合, 是的一个子集, 若满足: AAA(1)自反性: 对任意, 有; Aa),(aa(2)对称性: 对任意, 若, 则; Aba,),(ba),(ab(3)传递性: 对任意, 若且, 则.Acba,),(ba),(cb),(ca则称是集合的
7、一个等价关系1.A若集合中的元素定义了运算(本文只讨论二元运算), 并且满足某些运算规律, 就做成了一个代数. 而同余就是代数上保持所有运算的等价关系. 本文讨论具有有限多个二元运算的代数系统, 设是一个代数, 其中“”是),(iA oio上一个二元运算, , 是的一个非空子集合, 称是上的一个同余,Ani, 2, 1LAAA若(1)是上的一个等价关系,A(2)对任意的, Ababa,. ), 2, 1(),(),(),(nibbaababaiiLoo我们也把(2)称为关于运算“”是相容的.io), 2, 1(niL在各种代数系统中, 同余往往会跟某种特殊的代数子结构一一对应, 下面我们将分别
8、讨论群、环、模、半群等代数系统中同余及其子结构的关系.同余与子结构页5三、群上同余与子结构三、群上同余与子结构在群上, 正规子群是群上一类特殊子群, 而同余却是关于运算满足左右相容的特殊等价关系. 那么群上所有同余与所有正规子群之间是否有特殊的关系, 这一章我们便来讨论这一点.定义 3.11 设为一个群, 是群的一个子群, 称为的一个正规子群, 若),(GHGHG, 有.GaHaaH 定义 3.21 设是群的一个同余, 对集族, 其中 ),(G|/GaaG|Gba, 定义一个运算“ ”: abo, .Gba ,abbao则关于运算“ ”构成一个群. /Go定义 3.31 设是群的一个同余, 则
9、我们把称之为的商群.),(G/GG下面我们来讨论一下群上同余与正规子群之间的关系.定理 3.44 设为一个群, 则有下面结论: ),(G(1)若为群的一个正规子群, 那么有为群的一HG|),(1HabGGbaHG个同余;(2)若是群的一个同余, 则( 为单位元)为群的一个正规子群.GeH eG证明: (1)首先证明是一个等价关系: |),(1HabGGbaHa (自反性)由于为群的一个子群, 所以有, , 即HGGaHeaa1;Haa),(b. (对称性), 若, 则, 由于为群的一个子群, 所Gba ,Hba),(Hab1HG以, 所以Habba111)(; Hab),(c.(传递性), 若
10、, , 即, 使得, Gcba,Hba),(Hcb),(Hhh21,11hab, 由于为群的一个子群, 所以, 所以21hbcHGHhhbcabac 21111同余与子结构页6.Hca),(下面只需再证明是相容的即可: H, 若, , 即, 使得, . Gdcba,Hca),(Hdb),(Hhh21,11hac 21hbd由于为群的一个正规子群, 则有, 所以, 使得.则HGHaaH Hh 3ahah32, 即Hhhachcahcabdcdab 131 32111)(.Hcdab),(所以是群的一个同余.HG(2)由于为群的一个同余, 由定义 3.3 可知, 为的商群, 特别对于这G/GGe个
11、集合, 由于是群的单位元,所以我们有, 故关于e/Geeeebaabo,|e的运算封闭. , 则由得, , 即, 所以. 因此Gea11,aaea11eaaaea1ea1是的一个子群. 再由, 有.eGGaeaeaaeaaea)()(111oo故知是群的一个正规子群. eG定理 3.5 设为一个群, 表示上所有正规子群组成的集合, 表示上所有同G1G2G余组成的集合, 则与之间存在一个双射.12证明:首先我们定义:(1) ;1211 ,:HHHa(2) ;2122 ,:ea显然, 由定理 3.4 可知, 是良好定义的. 则要证与之间存在一个双射, 21,12只须证, . 221 id 112
12、id(1)要证, 只须证, 即证, 即 221 id)(,212)(1e.e而同余与子结构页7eba),(|),(1eabGGba),(1eab.),(ba所以, 即.e221 id(2)要证, 只须证, 即证, 即 112 idHHH)(,121HH)(2.HeHa. , 由于, 所以有a),( |HHeaGae|),(1HabGGbaH, 即.Haea1HeHb. 有, 即, 所以, 即,HaHae1 Hea),(Hea.HeH所以, 即. HeH 112 id所以,由定理 3.4 及定理 3.5 可知:在群上, 所有同余与所有正规子群分别组成的集合之间存在一一对应的关系. 同余与子结构页
13、8四、环上的同余与子结构四、环上的同余与子结构在群上同余与正规子群分别组成的集合之间存在一一对应的关系. 在环上, 对应与群上正规子群类似性质的结构则是理想. 那么环上是否也有相应的结论呢? 即在环上, 是否所有同余与其所有理想有一一对应的关系? 这章我们便来讨论这一点.定义 4.11 设为一个环, 称为的一个理想, 若),(RIR(1)是的一个子加群; IR(2), 且.IiRr,IriIir定义 4.21 设是环的一个同余, 对集族, 其中定义为),(R|/RrrRr, 在上定义一个运算“”, “ ”, |raRar/RoRba ,; )(baba. )(abbao则有定理 4.31 关于运算“”, “ ”构成一个环. /Ro定义 4.41 设是环的一个同余, 则我们把称之为的商环.),(R/RR下面我们来讨论一下环上同余与理想之间的关系.定理 4.5 设为一个环, 则有下面结论: ),(R(1)若为环的一个理想, 那么有为环的一个同余; IR|),(IbaRRbaIR(2)若是环的一个同