偏序群S上S-偏序系的内射包.pdfVIP

华南师范大学学报 (自然科学版) 2014年 7月 JOURNALOFSOUTHCHINANORMALUNIVERSⅡlY 第46卷第4期 Ju1．2014 (NATURALSCIENCEEDITION) Vo1．46 No．4 文章编号：1000—5463(2014)04—0012—40 偏序群 S上 S一偏序系的内射包木 张 霞 ，徐彦涛 (1．华南师范大学数学科学学院，广州 510631；2．DepartmentofMathematics，SouthernIllinoisUniversityCarbondale，62901Carbondale，USA) 摘要：偏序 幺半群 S上的S一偏序系是S一系理论的推广．设 S是一个偏序群，应用 S一系理论及序理论的方法，讨 论了S一偏序系范畴的内射元，得出每个S一偏序系A 都存在唯一的内射包，并具体构造 了A 的内射包．在此基础 上，进一步得出A 的内射包既是A的极小内射扩张，又是A的极大本质扩张． 关键词：偏序群；S一偏序系；内射；内射包 中图分类号：O152．6 文献标志码：A doi：10．6054／j．jscnun．2014．06．102 InjectiveHullsofS——PosetsOveraPogroupS ZhangXia 。XuYantao ‘ (1．SchoolofMathematicalSciences，SouthChinaNormalUniversity，Guangzhou510631，China； 2．DepartmentofMathematics，SouthernIllinoisUniversityCarbondale，62901Carbondale，USA) Abstract：AnS～posetisageneralizationofanS—actforapomonoidS．LetSbeapogroup．Inthiswork，byU— singS—acttheoryandpartiallyordertheory，injectivesinthecategoryofS—posetsarestudied．Itisobtainedthat ofranyS—posetAs，Asadmitsaninjectivehull，whichisuniqueuptoisomorphism．Furthermore，theinjective hullofAsisnecessarilyaminimalinjectiveextensionandamaximalessentialextensionofA，andviceversa． Keywords：pogroup；S—poset；injeetivity；injeetivehull 设 S是一个偏序 幺半群，即幺半群 S|上带有一 为B×Bn≤ ．从偏序集(A，≤ )到偏序集 (B，≤ ) 个偏序≤满足对任意的s≤t，S≤t，s，s，t，f∈S， 的序嵌入是一个从A到B的映射h，满足a≤ a当 都有SS≤tt．我们称带有映射A×5 (元素对 (a， 且仅当h(a)≤ h(U)，Va，up∈A．易知，每个序 s)映到A中的元记为as)的偏序集(A，≤)为一个右 嵌入都是单映射． s一偏序系，记作A (或简写为A)，如果A是一个 当s与A上的偏序取成离散序时，S一偏序系 Js一系，并且满足对任意的U，bEA，S，tES，有 a≤ 就是 ．s一系．可见，．s一偏序系理论是 s一系理论的 b．s≤ ￡ ≤bt． 推广． 类似地可以定义左Js一偏序系．本文只讨论右 设 c是一个具体范畴，由文献 [1]知，称 c中 s一偏序系，因此省去 “右”字．s一偏序系同态是保 的对象