论文部分内容阅读
给出了Type-A半群的表示,将文献[1]中著名的Vagner表示定理推广到Abandant半群中.证明了如果S是一个半群,则存在一个集合X及S到PJ（X）的单同态.
Type-A半群的表示
【摘 要】
：
给出了Type-A半群的表示,将文献[1]中著名的Vagner表示定理推广到Abandant半群中.证明了如果S是一个半群,则存在一个集合X及S到PJ（X）的单同态.
【机 构】
：
河南师范大学数学与信息科学学院
【出 处】
：
河南师范大学学报：自然科学版
【发表日期】
：
2007年1期
【基金项目】
：
世界银行贷款高校教师与管理人员培训项目科学研究课题
其他文献
当车辆发生碰撞时,安全带对乘员安全具有重要的保护作用,但是,实际生活中安全带的使用率仍然难以保证。其中很重要的一点原因在于安全带佩戴后不够舒适,最常见的就是勒脖子。
研究了非自治的捕食者一食饵模型．该系统是两个具有互惠关系的捕食者种群捕食一个食饵种群．利用比较原理研究了系统的持久性，通过构造Liapunov函数证明了系统的全局渐近稳定性，在
以德大新建铁路工程GPS-CPI控制网实测数据为基础,研究GPS-CPI工程控制网的数据处理方法;基于TGO软件按观测时段实现基线处理与质量检核,采用CosaGPS软件实现网平差处理及精度分析。通过对整网的数值分析,结果表明:铁路工程GPS-CPI控制网中,各CPI控制点的平面点位精度在x方向上优于0.75 cm,y方向上优于0.70 cm,点位精度优于0.90 cm;基线方位角中误差优于0.94
令A和B是有单位元的结合环，考虑双模∧∈BMA、X∈AMB和函子F=∧○×A-：AM→BM，G=X○×B-：BM→AM．研究了模范畴中函子的左拟相伴函子，给出了F是G的左拟相伴函子的几个等价条
设计专用检具,在该检具上用四面体检测90°分度曲轴的分度误差,方便、准确,在曲轴生产现场使用效果较好。
提出了一种铁路轨道实际线形控制测量及其离散点坐标测量的思路和方法,该方法具有较强的操作性,测量精度能够满足轨道线形测量和分析的要求;之后利用轨道离散点坐标,分别提出了轨道直线、圆曲线以及缓和曲线线形拟合计算的数学模型。理论分析和实验计算结果表明,这些数学模型能够拟合出铁路常见曲线的线形,可用于既有铁路实际线形测量和新建铁路竣工线形测量的线形拟合计算,能够在铁路轨道实际线形测量中推广应用。