广义倾斜对     

廖贻华  覃胜喜  赵巨涛 《长治学院学报》2015,32(2):1-3

设Λ为交换Artin环R上的一个Artin代数,D是Artin代数对偶,Λ上的广义倾斜对(C,T)引入后,证明了广义倾斜对(C,T)的Artin代数对偶(D(T),D(C)也是广义倾斜对。  相似文献   

广义正则环     

王爱兰  曹清禄 《东南大学学报》2001,17(2):81-83

利用模类CR=M x∈M ,xR T =0 , T∈I ,给出了CR 有限生成模、CR 有限表示模、CR 正则环的概念 .研究了CR 正则环的判定条件及CR 正则环与CR FP内射模的关系 .  相似文献   

倾斜对的一个推广     

《甘肃高师学报》2018,(2)

证明了当(U,V)为相对弱倾斜对时,N∈_V■当且仅当N∈V~⊥∩_U■.进而得出在一定条件下,若Pres~∞(V)=V~⊥∩_U■,则(U,V)为相对弱倾斜对,且codim_(add_RV)U≤n.  相似文献   

Hilbert C~*-模上的算子值框架及分解     

徐盛馀  孟彬  李丹 《西安文理学院学报》2010,(4):1-4

已知A是含单位的C*-代数,在文中仅在标准模HA=l2(A),以及其子模H0上讨论,主要给出了判定某序列{Aj}j∈J B(HA,H0)是算子值框架的一个等价命题,以及利用算子理论中有关算子的分解,从而得到框架的相关分解的命题.  相似文献   

分次遗传三角矩阵环     

王尧 《鞍山师范学院学报》2004,6(2):1-4

设Ω是一个具有左(右)消去律的Monoid.给定两个有1的Ω-分次环A=( )x∈Max和B=( )x∈MBx以及一个Ω-分次(A,B)-双模V=SVT=( )x∈MVx,由它们确定一个Ω-分次三角矩阵环T=(AV0B)=( )x∈M(AxVx0Bx).本文证明T是分次右遗传环当且仅当(I)A和B都是分次右遗传环;(ii) AV是平坦模;(iii)对任何K≤grAA,(V/KV)B是投射模.  相似文献   

关于偏倾斜模的一个注记     

朱彬 《怀化师专学报》1998,17(2):1-3

设ΛT是偏倾斜模,Γ=EndΛT,本注记给出了HomΛ(T,-)是Fae(T)到malΓ的可逆函子的一些等价条件。  相似文献   

代数自我检测题(一)     

董力 《高中数理化》2002,(1):14-18

一、选择题(每小题4个选项中只有1个是正确的,每小题5分,共50分)1.已知非空集合A、B,全集I,则使A(?)A∩(?)的充要条件是( ). A 对任意a∈A,都有a(?)B; B 存在a∈A,但a(?)B; C 对任意b∈B,都有b∈A; D 存在b∈B,但b(?)A2.设A=a d,B=b c,a、b、c、d是互不相等的4个正数,且ad=bc,a是a、b、c、d中最大的一个数,则有( ).  相似文献   

倾斜对的一个推广     

《甘肃高师学报》2022,(2)

证明了当(U,V)为相对弱倾斜对时,N∈_V■当且仅当N∈V^⊥∩_U■.进而得出在一定条件下,若Pres⊥∩_U■.进而得出在一定条件下,若Pres^∞(V)=V∞(V)=V^⊥∩_U■,则(U,V)为相对弱倾斜对,且codim_(add_RV)U≤n.  相似文献   

Banach空间积-微分方程两点边值问题的解     

刘春晗 《商丘师范学院学报》2007,23(9):27-30

利用混合单调算子理论及一个新的比较定理讨论了Banach空间积-微分两点边值问题{-u″=f(t,u,Tu,Su),au(0)-bu′(0)=x0,cu(1) du′(1)=x1.解的存在唯一性,其中a,b,c,d≥0,δ=ac ad bc,I=[0,1],x0,x1 ∈ E且f∈C[I×E×E×E,E],Tu(t)=∫0k(t,s)u(s)ds,Su(t)=∫01h(t,s)u(s)ds,(V)t∈I,k∈C(D,R ),D={(t,s)∈I×I,t≥s},h∈C(I×I,R ),R =[0,∞).  相似文献   

关于右R-模的强根     

尹芳芳  周德旭 《莆田学院学报》2013,(5):22-24,69

给出了强多余子模在补模中的性质,证明了如果B是M的强补子模且C/B是M/B的强补子模,则C是M的强补子模。同时,得到了右R-模的强根的若干性质,证明了如果环的根s.rad(RR)是Artin右模,则s.rad(RR)是幂零理想。  相似文献   

量子群胚上的smash余积对偶定理     

周璇  刘玲  王栓宏 《东南大学学报》2010,(4):647-650

研究了量子群胚上与弱模余代数和余模余代数相关的弱广义smash余积的对偶定理.设H是弱Hopf代数,C是弱左H余模余代数,D是弱左H模余代数.首先,给出量子群胚上的弱广义smash余积C×lHD的定义,并构造其模和余模结构.类似考虑右广义smash余积C×LrD.然后得到它们之间的同构.其次,通过引入弱卷积逆,弱余内作用和强相关余内作用的概念,得到C×HrD和CvD同构的充分条件,其中v∈WC（C,H）,H在D上的余作用是右强相关余内作用.最后,证明了量子群胚上广义smash余积的对偶定理：（C×HlH）×lH＊H＊≌Cv（H×lH＊H＊）.  相似文献   

一类半正定阵的反问题     

廖安平 《怀化学院学报》1991,(1)

本文给出了矩阵方程AX=B的反问题在半正定矩阵(未必对称)类中有解的充要条件,并在有解时给出其解的表达式。  相似文献   

半单代数上的模的刻划     

吴美云  唐秋林 《商丘师范学院学报》2005,21(5):53-54

利用Wedderburn-Artin定理给出半单代数上的模的刻划．  相似文献   

H~∞(D)与C(M)之间的闭子代数     

Yu Ou 《大连大学学报》1993,(1)

美国密执安州立大学数学系的 S·Axler 教授在[4]中开始了对 H∞(D)与 C(M)之间闭子代数结构的研究和猜想。由于 H∞(T)(T 表示单位圆周)与 L∞(T)之间闭子代数的完全刻划以及两类代数的某种相仿性使人们希望用解决 H~∞(T)与 L~∞(T)之间闭子代数结构的相似的方法去获得 H~∞(D)与 C(M)之间闭子代数结构的类似结论。但本文定理—证明了 H~∞(D)与 C(M)之间的所有团子代数的极大理想空间均为 M,给出了两类代数结构较本质的区别。从而否定了解决两类代数结构方法的相似性。而在 Axler[4]的基础上获得的定理二,则给出了比[4]更—般的结论.从而使人们希望对 C(M)中的元素 f 有 H~∞〔f,f〕与 H~∞[f]相等这样的结论成立.  相似文献   

函数的C-拟凸性     

陈源 《衡阳师范学院学报》2007,28(6):26-28

给出了在存在t0∈(0,1)满足f(t0x1 (1-t0)x2)∈y-C,for y∈E,f(x1),f(x2)∈y-C,的条件下函数f具有C-拟凸性的充分必要条件和一些相应的结果。  相似文献   

Stone代数的同余理想与Stone代数滤子   总被引：2，自引：0，他引：2  

王守印  王永忠 《新乡师范高等专科学校学报》2001,15(1):68-70

本文给出了 Stone代数 L的理想 I=(d]成为某个同余关系的核的充要条件 ,刻划了以 L的同余理想 I=(d]为核的最小同余关系 ;引入了 Stone代数滤子的概念 ,讨论了 Stone代数滤子 [d)与 Stone代数的同余理想 (d]之间的关系。  相似文献   

V型Heisenberg Virasoro代数的酉模     

刘学文  程宇 《保定师专学报》2010,(3):18-20

讨论Heisenberg Virasoro代数和代数W（2,2）的不可约中间序列模为酉模的充要条件.  相似文献   

关于矩阵可对角化的一个充要条件     

周明旺 《通化师范学院学报》2007,28(4):10-11

矩阵对角化是矩阵理论中的一个重要问题.利用高等代数和近世代数的有关理论给出矩阵可对角化的一个充要条件.  相似文献   

Kleene代数有直积分解的一个条件   总被引：1，自引：0，他引：1  

涂文彪  陈琳 《洛阳师范学院学报》2004,23(2):22-24

本文利用分明元等概念 ,讨论了Kleene代数的直积分解 ,得到了Kleene代数为既约的条件 ,并在完备的条件下给出了Kleene代数有既约分解的一个充要条件 .  相似文献   

On the Maximal Disjoint Division in Riesz Spaces   总被引：1，自引：0，他引：1  

熊洪允  苗新河 《天津大学学报(英文版)》2003,9(2)

TheRieszspaces,consideredinthispaper ,areal waysArchimedean .LetLbeaRieszspace .Foru∈L ,theprincipalidealandtheprincipalbandgeneratedbyuaredenotedbyId(u)andB(u)respectively .ForA L ,theidealandthebandgeneratedbyAaredenotedbyId(A)andB(A)respectively .Aset {ui:i∈I}ofnonzeromutuallydisjointelementsofLiscalledamaximaldis jointsystem[2 ] ifx⊥uiforalli∈Iimpliesx =0 (equiv alently ,theidealgeneratedby {ui:i∈I}isorderdenseinL) .AssumethatuiisaprojectionelementinL .ByPiwedenotetheorderp…  相似文献