学科分类
/ 1
12 个结果
  • 简介:本文研究IMTL代数M上的索布尔滤子的运算性质。令FB(M)为膨上全体布尔滤子集,FB(M)=FB(M)∪{φ},通过在集合FB(M)引进格并、交运算和逆序对合对应,证明了FB(M)构成一个拟布黎代数。进一步在FB(M)可定义一个伴随对,证明FB(M)也构成一个剩余格。

  • 标签: 剩余格 IMTL代数 素滤子 布尔滤子 拟布尔代数
  • 简介:利用代数正规类中的理想乘积公理,引入可积代数正规类及可积代数正规类中代数、半代数类及一致代数类概念,讨论了可积代数正规类中半代数类及半一致代数类确定的上根性质。

  • 标签: 可积代数正规类 理想乘积 素代数 半素代数 一致代数
  • 简介:本文证明了以下定理:一个半环是交换的当且仅当以下条件之一成立:(1)[x^my^n+xy^nx,x]=0,(2)[x^sy^t+yx^s,x]=0.其中x,y为R的任意元,m,n,s,t为正整数。

  • 标签: 半素环 交换性 正整数 定理 证明 条件
  • 简介:我们在无限维空间中研究微分包含的生存W-单调轨道的存在性,基于Zom引理,我们给出了—个逼近方法,在较弱的条件下得到了一个存在性定理,其特殊情形则包含了已有的生存定理和微分方程理论中的若干结果.作为应用,我们首先研究了微分包含生存解的整体存在性,得到了整体生存理.然后我们研究了微分包含解的稳定性,得到一些新的结果。

  • 标签: 微分 单调 BANACH空间 无限维空间 存在性定理 引理
  • 简介:考虑—个四缀块模型,其中一缀块里有三个竞争种群.另外三个分别是它们的避难所.并且种群能在争缀块和各自的避难所间相互扩散.在一定的条件下.我们给出了此模型的持续生存,周期性和全局稳定性.

  • 标签: 竞争系统 非自治 全局稳定性 持续生存 周期性 条件
  • 简介:设R是环,I是R的非零理想,如果R容许一个非单位映射的左乘子使得对所有x,y∈I满足δ(x·y)=x·y或δ(x·y)+x·y=0,那么R可交换.此外,如果R是2-扭自由的环,U是平方封闭的李理想.γ是伴随导子非零的广义导子.B:R×R→R是迹函数为g(x)=B(x,x)的对称双导,当下列条件之一成立时U为中心李理想(1)γ同态作用于U(2)2[x,y]-g(xy)+g(yx)∈Z(R)(3)2[x,y]+g(xy)-g(yx)∈Z(R)(4)2(x·y)=g(x)-g(y)(5)2(x·y)=g(y)-g(x)对所有的x,y∈U.

  • 标签: 素环 李理想 广义导子 对称双导 同态 中心闭包
  • 简介:设R是环,I是R的非零理想,如果R容许一个非单位映射的左乘子使得对所有x,y∈I满足δ(x°y)=x°y或δ(x°y)+x°y=0,那么R可交换.此外,如果R是2-扭自由的环,U是平方封闭的李理想,γ是伴随导子非零的广义导子,B:R×R→R是迹函数为g(x)=B(x,x)的对称双导,当下列条件之一成立时U为中心李理想(1)γ同态作用于U(2)2[x,y]-g(xy)+g(yx)∈Z(R)(3)2[x,y]+g(xy)-g(yx)∈Z(R)(4)2(x°y)=g(x)-g(y)(5)2(x°y)=g(y)-g(x)对所有的x,y∈U.更多还原

  • 标签: 素环 李理想 广义导子 对称双导 同态 中心闭包