代数系统及幺子范畴.pdfVIP

洳专：??硕士学位论文岱数丕统与幺函圣范睦论文题目曼自耋作者姓名 代数系统与幺函子范畴目录浙江大学数学系十马自翥?跋···．．???????甤??甤?集合配上符合一定关系的运算即为代数，包括群、环、模、???％数、群表示等。我们将代数结构认作是严格幺范畴，它可以由某个图生成的自由严格幺范畴模去一些态射的关系得到。那么某些幺范畴，如??，Ⅱ，?和???．???系?一个代数就是对应代数结构到它的一个幺函子，幺函子范畴也可被认为该代数类型序阜群····半群范畴．．半群函子··幺范畴．．．幺半群．．幺函子范畴．一般代数结构参考文献··索引．．??映卺??憧?摘要的代数系统。?≈罚赫憬?笱в袢PＧ?舍??十地址：杭州浙江大学??信箱，????·．．． ，×，???????????????????，???????????????????????甌??????????琫?．?????????????????????????????，???琺???，???????????讲? 序?篢???鉷·??肛·肛?透亍す?肛?餞?了??虺???兀??为?弦桓龅?代数系统与幺函子范畴我们一般认为代数就是具有若干运算的集合，而这些运算或多或少都满足某些运算律，如结合律、交换律、分配律。若将这些运算与运算律抽象出来就是所谓的代数类型，具有某个代数类型所有运算并满足要求的那些运算律的集合我们就称为该代数类型的代数，蒙群、环、模等。一个代数类型上的全体代数配上保留这些运算的映是研究运算与运算律的数学分支，也是现代数学的一个基石。在计算机中，工程师们仅用晶体管模拟出了逻辑演绎中的“与、或、非”三个运算，就改变了人类生活如此之深。我们甚至可想象，人类大脑的思维过程很有可能也是在不停地“运算”着的，只是它的物质实现过程太复杂，其间“运算律”我们无法知道。自???的群论被普遍接受后，数学家们就开始将之推广，从而有了的各种代数理论，甚至集合也可以被认为是不具有任何代数结构的代数。今天很多的代数结构单描述起来已经非常复杂，如?！４???苡斜匾=?颐歉拍钪械脑怂愫驮怂懵尚问?间的关系，由于没能将“运算律”形式化，费了很多笔墨研究出的抽象理论很难被应????岢龅姆冻胙У故墙ǜ髦执??低惩骋黄鹄闯晌2煌?的范畴，甚至拓扑空间、微分流形也被囊括进来。只是如此高度的概括丧失了很多代数特有的细节，到了今天，作为代数学一个分支的范畴学在很多其他分支里只是作为一个语言而已。?年代末范畴学中还定义出“????概念，它可以对代数系统作进一步的处理，并在很多数学分支和计算机科学中得到应用，但仍过粗略。定义??令?7冻隿到自身的函子，如果存在两个自然变换?：?—??定义??令????为?执渭?希?绻?宰匀皇?娜我庥邢扌蛄衶?保琻。??嬖?射就构成一个范畴，我们可以称之为“代数系统”。从某种意义上讲，整个抽象代数就化。?世纪初发展出的“泛代数”理论就是讨论各种可能的代数结构以及这些结构之用。??年代????转机出现在?年代，?????诖??仄酥刑岢觥皁???备拍睿?疚娜ㄇ医??翻译作“算体”??鴐??译为“单体”。体．?ゴ省癿??”源出希腊文“???保?钤缥1洗锔缋?寡?????????缸鞑豢煞指畹亩韵蟆?后来被莱布尼兹?????美幢扔魅司?竦亩酪煨裕??诘囊恍┱苎Ъ乙虼私???胱鳌暗プ印薄Ｔ谙执?英语中也指单细胞生物或单一体。??谠?腥艘胱鳌安僮魇?保?ㄍ逦!霸怂阍!薄５ā皁???闭飧龅ゴ嗜　皁????”与“???焙?体，“操作数”显然不贴切。如果作“运算元”的话，那“???本陀Ω梅?氤伞暗ピ!保?淙灰庖迳媳冉?接近，但容易让人误解。如果“???弊鳌暗プ印保?恰皁???本统闪恕八阕印保?搿皁????敝馗础?? ∑。。?立颌騪????∑釜蟛??卜?皌—了—一??佗?Ⅱ。?！?×?。?亍?礼?列?。??罥?。??×Ⅱ。???帷??×Ⅱ。?吗??琂?肴?代数系统与幺函子范畴映射?篛?????痢璛???一??????满足交换图并且??中存在一个元素。对任意?幸?。，，?一???＃?????，那我们称?，???为一个非对称集合算体．定义??令?．?琇?R环嵌猿萍?纤闾澹?杂诩?螦，如果对任意自然数凡存在映??。?并且??＃琣???俏颐浅??琭?R桓?代数．．“算体”这个概念在提出后很长一段时间并没有受到关注，直到?年代初一些数学家发现目前理论物理中最热门的弦理论，经常涌现出的各式“理论”，具有一种类似算体的结构，例如共形场论???⑼仄肆孔映÷????取＝?庖磺型骋黄鹄矗??助于对规范场和超弦等理论进行统一的数学描述，这也可以将不同的代数结构统一起巧合的是，无论范畴还是算体，都是从代数拓扑中提炼出来的概念。而代数拓扑的本意是希望借助代数的工具研究几何。现在也算几何学对代数的一个反促进吧?本文并未使用太多专门的