【摘 要】
：
本文证明了相对有补分配格L存在这样的唯一一种备化(?),使对ξ∈(?),存在L的非空子集族(?),有ξ=(?)[Λf(S_α)]。这样一种备化(?)称作L的完备化。本文将一般Boole格的同态扩张定理推广到相对有补分配格上。证明了相对有补分配格的合同的格同构于含一固定元的凸子格的格,证明了相对有补分配格的完备化,可备合同的格与含一固定元的可备凸子格的格都是同构的。
【出 处】
：
中国科学(A辑 数学 物理学 天文学 技术科学)
论文部分内容阅读
本文证明了相对有补分配格L存在这样的唯一一种备化(?),使对ξ∈(?),存在L的非空子集族(?),有ξ=(?)[Λf(S_α)]。这样一种备化(?)称作L的完备化。本文将一般Boole格的同态扩张定理推广到相对有补分配格上。证明了相对有补分配格的合同的格同构于含一固定元的凸子格的格,证明了相对有补分配格的完备化,可备合同的格与含一固定元的可备凸子格的格都是同构的。
其他文献
1+1维经典可积系统的隐代数结构用Riemann-Hilbert变换进行一般性讨论。新的Loop代数用Yang-Baxter等式的解给出,并指出它与基本Poisson-Lie括号的一致性。系统的Virasoro代数结构由系统的共形不变性导出。
可将有关空间利用的调度问题看作四维时空中的Packing问题。对于三维空间中的Packing问题已有拟物型的求解方法,将此种方法加以适当引伸后得出了求解有关调度问题的拟物方法。它能被具体化为关于空间利用调度问题的专家系统或计算机辅助设计软件系统。
本文计算了太阳射电缓变成分(SVC)的射电辐射,着重研究了由联合辐射机制产生的SVC辐射的主要辐射特性(亮度分布、亮温度谱、流量密度谱、偏振度谱)和SVC辐射源的几何特性(高度和半径),及其随磁场强度的变化。
本文给出了最近在上海光学精密机械研究所LF12激光装置上完成的复合泵浦类锂硅离子软X射线激光系统实验的结果,特别是第一次在较低激光辐照强度下同时观察到类锂硅离子5f—3d,5d—3p,6f—3d和6d—3p跃迁的显著自发发射放大(ASE),波长分别为88.84,87.28,75.83和74.64,测得的增益系数和增益-长度乘积分别在1—2cm~(-1)和2.0—4.5之间。另外还给出了增益沿靶面法
本文着重刻划了合成的氯代磷灰石与人牙釉质显微结构特征的比较。通过大量的电子显微镜和能量色散谱的研究,断定尽管在原子水平上它们的结构非常相似,但显微结构方面确有相当大的差异,主要表现在晶粒形状、晶粒尺寸、晶粒取向、晶界等。辐射损伤和结构缺陷彼此也是不同的。大量的观察揭示合成的磷灰石具有比人牙釉质结构缺陷少和晶界干净。
本文利用一种特殊的LTTS(18)给出了由LTTS(v+2)产生LTTS(16v+2)的递归构造,从而证明了LTTS(2~n+2)的存在性。这样,我们就完全解决了可迁三元系大集LTTS(v)的存在性问题。
文中给出了完整单晶X射线衍射对Bragg定律偏离的更精确的表达式,由此式自然地得到了X射线在晶体表面全反射的临界角,其与光学上由折射率导出的结果完全一致。当X射线以充分小的掠射角射在单晶表面并同时射在与表面相交的侧面时,双晶(n,—n)排列摇摆曲线将出现两个峰,峰间距可用来测定晶体单胞电子数。
本文对在应用上极为重要的Koschorke法协边群序列进行了细致的探讨,给出了如何决定该序列中出现的Q_1(X,φ)和Q_2(X,φ)的群结构的一般方法,并计算出其中的。
本文进一步讨论了我们新近提出的等近邻数键球谐函数方法,并通过分子动力学模拟研究了熔融LiCl及其急冷过程。对计算机模拟各时间步产生的瞬态构型进行平均,计算了不同温度下键序Q_l谱.将模拟Q_l谱与线性组合模型Q_l谱比较,观察到模拟Q_l谱与含90％局部正四面体结构的组合模型十分相似,表明熔融Licl及其急冷非晶中局部键取向序明显倾向于正四面体序。急冷过程中不同温度下局部键取向序可用同一线性组合模
本文对特征P的基域F引入适当的Galois群T,讨论p置换模的Green环的Conlon比析在Galois群T作用下的动态,证明了在T作用下p置换模的Green环的不动点集重合于置换模的Green环。