co-ojective模

定义了co-ojective模，证明了如果B是A-co-ojective模，B1是B的直和因子，A1是A的直和因子，那么B1是A1-co-ojective模。     

集合环是真正的环

X的子集环是子集A,B,等等的一个集合R,它对于集合的并集AB和差集A\B是封闭的,因而对集合的交集AB=A\(A\B)和对称差A△B=(A\B)(B\A)也是封闭的。 一些关于测度论的课本(例如,见[1,p.3]或[3,p、22])指出:如果加法定义为A+B=A△B,乘法定义为AB=AB,那么,一个集合环就成为一个代数意义下的环。 这个结果的直接证明是十分冗长的。为了给出一个简捷的证明,我们回想集合A的特征函数是如下定义的:     

集合概念在几何论证中的应用

全日制十年制学校数学课本第2册第五章《空间图形》应用集合知识,把几何语言用集合语言表示,使几何论证进一步符号化,书写格式更简明。在高中数学课本第1册第一章学习集合时,用大写拉丁字母A、B、C、…表示集合;用小写拉丁字母a,b,c,…表示元素。“a是集合A的元素”记作a∈A;“集合A是集合B的真子集”记作A∈B;“集合A与B相等”记作A=B;“集合C是集合A与B的交集”记竹A∩B=C。在《空间图形》这一章中,课本根据几何的特点,作了如下规定: (1)点用一个大写拉丁字母表示,如A,B,C,…; (2)直线用一个小写拉丁字母表示,如a,b,c,…; (3)平面用一个小写希腊字母表示,如α,β,γ,…。占线和平面都是由点构成的,它们都可以看作点的集合。所以,某些几何语言可以翻译为集合语言。列举如下:     

Lazy元和Sweedler上边缘算子

设H是Hopf代数，A是左H-模代数．定义了集合Reg^n（H，A）中的lazy元，证明了lazy元的全体构成的集合RegL^n（H，A）对于卷积运算作成了RegL^n（H，A）的子群．并且进一步证明了在Sweedler上边缘算子作用下，lazy元依旧对应着lazy元．     

Yetter-Drinfeld范畴上相关Hopf模结构定理的改进

设L是域k上的Hopf代数，其对极为sL；A是Hopf代数,其对极为sA，令B是右A 余模代数.给出了改进后的LLYD中(A,B) Hopf模的基本结构定理，它是一般Hopf模基本结构定理的推广.     

可消半模的正合列

设A和B是S-半模，f：A→B是半模同态，ˉ△A和Kf分别定义为ˉ△A＝{（a,b）∈A×A}a＋m=b＋m,存在m∈A}和Kf={（a,b）∈A×A│f（a）＋m=f（b）＋m,存在m∈B}.将Kf和ˉ△A同时缩小为所规定的Kerf和△A，重新给出了monic和epic不同的定义，从不同的角度对某类特殊的半模-可消半模的正合列进行了刻画。     

co-ojective模

定义了co ojective模,证明了如果B是A-co ojective模,B1是B的直和因子,A1是A的直和因子,那么B1是A1-co ojective模.     

幂集的运算

幂集作为集合的集合,有着其特殊的地位与作用。本文将就幂集的运算及其它一些性质作一论述。 一、幂集的定义 1.设A是一个给定的集合,由A的所有子集组成的集合,称为A的幂集,记为2~A。 由定义可知:B∈2~A(?)B(?)A。     

优半模的一点注记

本文给出优半模的饱和化子的概念。证明了对任一半模A的子半模B,都有A/BA/B,其中B是B的饱和化子。     

基于满足某种特征的单调映射的计数教学探索

文中主要研究与如下问题相关的内容：集合A={1,2,…,m},集合B={1,2,…,n},找出集合A到集合B上映射f的个数,其中f满足条件：若x〈y,则f（x）〈f（y）,x,y∈A     

ri(A+B)riA+B成立的条件

根据使得int（A＋B）属于intA＋B成立的已有结论，在集合相对代数内部和相对拓扑内部概念的基础上，分别给出了线性空间中（A＋B）^ri属于A^riN＋B和线性拓扑空间中ri（A＋B）属于riA＋B成立的条件，从而将cor（A＋B）属于cor A＋B和int（A＋B）属于intA＋B关于内部的结论推广到了相对内部的情形。     

Yetter-Drinfeld范畴LLYD中的相关Hopf模

设L是域k上的Hopf代数,其对极为SL：A是Hopf代数,其对极为SA,B是右A-余模代数,C是右A-模余代数,给出（L^L）YD中（A,B）-Hopf模的定义以及（L^L）YD中（A,B）-Hopf模的基本结构定理,并讨论了其对偶情况、它是一般Hopf模基本结构定理的推广．     

数学中的集合符号使用什么字体?

<正>答一般而言,集合符号采用大写白斜体字母,如集合A、集合B(可简称为集A、集B)。但集合中的5个特殊集合,即自然数集(非负整数集)、整数集、有理数集、实数集、复数集,按GB3102.11-1993《物理科学和技术中使用的数学符号》的规定,其符号应使用大写空心正体或黑正体字母。因大写空心正体字母不易录入,所以在实践     

交换半局部环上广义 Matlis 对偶模的同调性质

本文证得了这样一些结果:如果R 是Noether 完备半局部环,A 和B 是广义Matlis 自反模,则Hom_R(A,B),A(?)_RB,Ext(?)(A,B),A_m 和Tor_n~R(A,B)均为广义Matlis 自反模,其中n 为自然数,m 为R 的任一极大理想.这些结果是1989年Richard G.Belshoff 的一些重要结果的推广与发展.     

形式三角矩阵环的P1-内射性和P1-内射维数

设A、B为环,M为左B右A的双模,令■为形式三角矩阵环.设R是任何环,右R-模D称为P_1-内射模,是指对任何投射维数不超过1的模P,有Ext_R~1(P,D)=0.研究形式三角矩阵环T上P_1-内射模与P_1-内射维数.证明若M为平坦的左B-模,则T-模(Z,W)g为P_1-内射模当且仅当ZA与WB为P_1-内射模;并证明若M为平坦的左B-模,则r. P_1dim(T)≤max{r. P_1dim(A),r. P_1dim(B)}.     

相容关系的最大相容类的生成算法

集合A上的二元关系R称做相容关系,如果它是自反的、对称的。若B是集合A的非空子集,且B中的任意两个元素都有相容关系R,则称集合B为相容关系R的相容类。不能真包含在任何相容类中的相容类即为最大相容类。文章研究了生成相容关系的最大相容类所需要的理论,设计了生成相容关系的最大相容类的实用算法——优化广度优先搜索。     

某些数集的秩的下界

设B为有限实数集，称{Σo∈A^a}A包含于B}为B的张成集，记为sp(B)．对于一个有限实数集P，称满足P包含于sp(B)的集合B的最小基数为P的秩，记为rk(P)．本文给出rk(sp(A))，rk(1，r，…，r^n-1)和rk(1，a1，a1a2，…，a1a2…an-1)的下界，其中A为有限实数集，r为不等于1的正有理数，a1,a2,…,an-1为大于1的整数。     

关于NA-内射模

文章中引入了NA-内射模的概念:称M为NA-内射模.如果对于任意模A的任意Noether子模B有B到模M的任意同态均可提升为A到M的同态.文中给出了NA-内射模的等价条件,得到了关于NA-内射模的直积、直和等运算的若干结果,指出了NA-内射模是内射模的实质性推广,运用NA-内射模刻画了Noether环和一类V-环.     

小模与余小模

主要研究小模和余小模的基本性质.设R为Noetherian环,对任意的小模A和指标集I,得到ExtnR(A,∏IKi)∏IExtnR(A,Ki).设R为交换的Artin环,对任意余小模B和指标集I,有TornR(B,∏ILi)∏ITorRn(B,Li).     

线性空间中集合内部性质成立的又一条件

在集合内部和闭包概念的基础上，利用开集和凸集的性质，给出了在线性空间中corA B^i=cor(A B)成立和线性拓扑空间中intA clB=int(A B)成立的又一种条件。