查询词典 restricted lie algebra

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

The latter is essentially derived from the geometric realization of Happels triangulated equivalence between stable module category of repetitive algebra and bounded derived category of finite dimensional algebra. In terms of this realization, we deduce that the Lie algebra realized by derived category of a finite dimensional algebra is isomorphic to the Lie algebra realized by stable module category of the corresponding repetitive algebra.

后者本质上是Happel关于重复代数的稳定模范畴和导出范畴的三角等价的一个几何实现及其应用，使用这种几何实现，我们可以证明在重复代数的稳定模范畴上定义的李代数同构于相应的导出范畴上实现的李代数。

Chapter three: Define fuzzy congruence relation of MTL-algebra, prove that fuzzy fiter and fuzzy congruence relation is a bijective function in MTL-algebra, quotient algebra induced by congruence relation still forms a MTL-algebra; Introduce the relation between some kinds of fiters and fuzzy filters maitained above in IMTL-algebra,i.e. BR_0 algebra, which is a MTL-algebra satisfied inversely odering and involutive relation.

第三章：定义了MTL-代数中的Fuzzy同余关系，证明了MTL-代数中Fuzzy滤子与Fuzzy同余关系是——对应的，由同余关系所诱导的商代数依然构成一个MTL-代数；介绍了在满足逆序对合对应的MTL-代数-IMTL-代数，即BR_0-代数中上述几中特殊滤子，Fuzzy滤子之间的关系。

The most famous rough algebras are Rough Double Stone Algebra, Rough Nelson Algebra and Approximation Space Algebra, and their corresponding general algebra structures are regular double Stone algebra, semi-simple Nelson algebra and pre-rough algebra respectively.

其中最有影响的粗代数分别是粗双Stone代数、粗Nelson代数和近似空间代数，它们对应的一般代数结构分别是正则双Stone代数、半简单Nelson代数和预粗代数。

The third part proposes in Luk the concept of lattice-valued truth degrees based on the second part by generalizing truth values from the MV-unit interval(a special MV-algebra) to a general MV-algebra. And the properties of lattice-valued truth degrees suggest that this generalization is natural and reasonable. Because of the equivalence between the two algebra systems, i.e. MV-algebra and lattice implication algebra, it's natural and easy to grade the truth of formulas in lattice-valued propositional logic whose basic algebra system is the lattice implication algebra.

中。 本文第三部分在第二部分的基础上，将Luk中公式的真度值推广到了一般的MV代数上，相对于第二部分的数值真度，给出公式的格值真度，并通过格值真度的性质说明格值真度是数值真度的合理推广。

Specify what status the spatial operator algebra locates at in many methods of multibody systems dynamics formulations and what the relations are between the spatial operator algebra and other dynamics formulations.We explain the basic conception of the Lie group, Lie algebra and Riemannian manifolds in detail, deeply analyze and research the Special Euclidean Group SE(3) and se(3) in the Lie group, Lie algebra. Establish the relation between the adjoint transformation Adg and the operatorφ(k + 1,k) under a particular condition, substitute the operatorφ(k + 1,k)with spatial adjoint operator Ad kk ?

在多体系统动力学理论体系中，详细阐述了Lie群、Lie代数和Riemannian几何的基本概念，对Lie群、Lie代数中的特殊Euclidean群SE(3)和se(3)作深入分析与研究，建立Lie括号下的伴随变换Adg在特定条件下与空间算子代数理论中的空间变换算子φ(k + 1，k)之间的相互关系，并将空间伴随算子Ad kk ？

It is proved that every Lie derivation of nest algebra is the sum of an associative derivation and a general trace. Every Lie isomorphism between nest subalgebras of a factor von Neumann algebra is the sum of an isomorphism and a general trace or the sum of a negative anti-isomorphism and a general trace. Lie invariant subspace of linear mappings on Banach algebras is introduced, and linear maps from nest subalgebra of a factor von Neumann algebra into itself which satisfy the property that the space of derivations is their Lie invariant subspaces are characterized. Simultaneously, it is shown that such maps are Lie derivations modulo the set of scalar multiple of the identity.

得到Lie导子的特征表示，即套代数上的任何一个Lie导子都是内导子与广义迹之和；给出了Lie同构和同构及反同构之间的关系，即因子von Neumann代数中套子代数之间的任何一个Lie同构要么是同构与广义迹之和要么是负反同构与广义迹之和；引入了Banach代数上线性映射的Lie不变子空间，并给出von Neumann代数中套子代数上以导子空间为Lie不变子空间的线性映射的一个刻画，同时也表明在模去数乘恒等映射的意义下，以导子空间为Lie不变子空间的线性映射就是Lie导子。

The questions covering pre-algebra and elementary algebra make up the Pre-Algebra/Elementary Algebra Sub score. The questions covering intermediate algebra and coordinate geometry make up the Intermediate Algebra/Coordinate Geometry sub score. The questions covering plane geometry and trigonometry make up the Plane Geometry/Trigonometry sub score.

包含有基础初等代数和初等代数的考题构成了基础初等代数/初等代数的技能分数，涉及到中等代数和坐标几何的考题构成了中等代数/坐标几何的技能分数，而涵盖平面几何和三角函数的考题则构成了平面几何/三角函数的技能分数。

Once any such stock certificate is issued and during the period that the Plan holds the Restricted Shares, Officer shall be entitled to all rights associated with the ownership of shares of Common Stock not so held, except as follows: if additional shares of Common Stock become issuable to Officer with respect to Restricted Shares due to an event described in Section 6 below, any stock certificate representing such shares shall be issued in the name of the Plan and delivered to the Committee or its representative and those shares of Common Stock shall be treated as additional Restricted Shares and shall be subject to forfeiture to the same extent as the shares of Restricted Shares to which they relate; if cash dividends are paid on any shares of Common Stock subject to the terms of this Agreement, those dividends shall be reinvested in shares of Common Stock and any stock certificate representing such shares shall be issued in the name of the Plan and delivered to the Committee or its representative and those shares of Common Stock shall be treated as additional Restricted Shares and shall be subject to forfeiture to the same extent as any other Restricted Shares; and Officer shall have no rights inconsistent with the terms of this Agreement, such as the restrictions on transfer described in Section 4 below.

一旦任何此类股票证书已颁发，在计划持有受限股的期间，管理人员有权享有与持有相应普通股股份有关的一切权利，但以下情况除外：如果由于以下第6条中所述的事件，导致可向管理人员发行额外的普通股股份，则任何代表该等额外股份的股票证书应以计划的名义发行并交付给委员会或其代表，且该等普通股股份应被视作额外的受限股，并和与其相关的受限股遵守同样的没收规定；如果对服从于本协议之条款的任何普通股股份支付现金股息，该等股息应重新投资到普通股股份中，任何代表该等股份的股票证书应以计划的名义发行并交付给委员会或其代表；以及管理人员不得拥有任何与本协议之条款（比如下述第4条中所述的转让限制）不一致的权利。

The quantum deformation of a Lie algebra is obtained by adding one parameter q,which is reduced to the original Lie algebra when taking the limit q→1;some properties of the original Lie algebra remain.

在Hopf代数或量子群理论中，构造李双代数的量子化是产生新的量子群的一个十分重要方法，研究李双代数的重要目的之一就是对其量子化。

We got alerted a couple of times while we were down south that HETs were on the way to bring us back up north because things were going to go hot again, but it was just rumors.

南下的途中我们不只一次得到警告说重型装备运输车将拉着我们重新北上，因为局势正在变得重新紧张起来，但这只是谣传。

It's the one where they find the ghost in the salt mine.

这一集是演他们在盐矿找到鬼