自由-半模-西南大学.docVIP

自由?-半模 张廷海，黄福生，甘爱萍 (江西师范大学 数学与信息科学学院，江西 南昌330027) 摘要: 为了更好地开展对半模的研究，给出自由半模的结构是十分重要的 ，正如自由模的构造对环与模的研究具有重要意义。该文具体给出了一种在幺半环上构造自由?-半模的方法. 关键词: 半模, ?-半模，自由?-半模 中图分类号： O153.3 文献标识码：A 1 预备知识 定义1[1] 称为一般半环，若为可换半群，为半群，且“.”对“+”满足左右分配律.若半环中有元素1满足条件：，则称为幺半环，而称1为的幺元或单位元,有时也记为. 易知，若含有幺元，则幺元唯一. 定义2[2] 设是一般半环，为可换半群，若映射 (),,满足条件： (1) ， . (2)，. (3) ，. 则称为一般半环上的左—半模，记作.以后有时简记为. 若是含幺元为的幺半环，且还满足条件： (4). 则称为一个左—幺半模. 定义3[3] 设是左—半模，若中有元素?，满足条件： (1) m+?=?+m=?，. (2) ?=?,. 则称含?元的半模为?-半模. 易知,若含有?元，则?元唯一，并称?为?-元. 例1 设是一个左—半模，是与和均无关的符号，令，在中规定“”如下： .. 其中“+”为中的加法.又规定对的左—乘法“”为： . . 其中“”为对的左—乘法.则作成一个以为?-元的左—?-半模. 2 幺半环上的自由?-半模 在半模的范畴理论中，自由半模起着十分重要的奠基作用.尽管在半模组成的代数簇中，自由半模的存在性是毋庸置疑的，然而，给出其具体的构造方法仍是必要和十分重要的，下面给出一种关于自由半模和自由?-半模的构造方法. 定理2.1 设为非空集，为幺半环，则存在以为基的自由左—半模与自由左—?-半模 . 证.（一）作与的卡氏积)， ， ， 一般地，对任意正整数,令 ，式中“”表示两两不等. （二）记(易知，这是无交并)，中元素记为，称为的次数，也称为的次数，当时，称为的第个分量，. 易知，的次数是唯一的. （三）在上定义二元关系“～”. “～” ：～,其中，易知，若，则与有相同的次数，并且“”为上的等价关系. （四）作商集，并在上定义“+”和左乘法“”如下： “+”: 设，又不妨设， ， (1) 当， 定义： (2) 否则，不妨设 ，这时定义： “”：, 容易证明：“+”与“”是合理的，并且作成左R一半模. （五）是以为基的自由半模. 事实上，（1）令，则是以为基的自由半模.显然，且对任意，其中，，设， ，则由“+”的定义可得 ， 其中，下证此表法唯一.若还存在，使 ，断言： (i) ，这是因为，由(1)式可知,的次数为,由(2)式可知,的次数为，但的次数是唯一的，故. (ii) 事实上，分别用表示(1)式，(2)式的右端，由(1)、(2)式得知， 从而有，进而必有 ,,因此是的左—基. （2）令，则是到的单映射. 事实上，对任意，若，则必有，不然，若， 则，从而，,这与假设矛盾! 综合（1）,（2）可知是以为基的自由左一半模. （六） 设?是与和无关的符号,令{?},在上规定“”和左乘法“”如下： “”：?=??；为中“+”运算， “”：?=?为对的“”乘法，， 则作成以{?}为基的自由左一?-半模（其中?作为零元算子,它由自身唯一表出）. 参考文献: [1]J.S.Golan,Semirings and Their application;Klu Wer Academic Publishers,1999. [2] Frank W. Anderson, Kent R. Fuller, Rings and categories of Modules, New York Springer-Verlag Inc. New York 1973 semptember. [3] 张廷海，半模的?-结构，江西师范大学学报（自然科学版）2006年5月第三期，260-262. [4] 陈培慈，半环理论与语言和自动机，《江西高校出版社》1993. [5] 史东风，陈贵云，两个有限超可解群的积，西南大学学报（自然科学版）2009年4月第四期，008-010. [6] 王家勤，曹洪平，8P阶群的类方程及其对群结构的影响，西南大学学报（自然科学版）2009年10月第十期，101-105. [7] 程莉芳，孔祥智，正规富足半群，西南师范大学学报（自然科学版）2008年10月第五期，011-014. Free ?-Semimodule ZHANG Tinghai，HUANG Fusheng ，GAN Aiping (Institute of Mathematics and Informatics,Jiangxi Norma