查询词典 finitely generated algebra

Established the qualitative algebra space: proposed the symbol algebra and interval algebra space and applied them to the qualitative reasoning; proposed qualitative logic algebra and applied it to the multi-logic problems.

建立了定性代数空间，提出了符号代数和区间代数空间并分析了在定性推理中的应用；提出了定性逻辑代数空间，并应用于物理量之间的多值逻辑问题。

Secondly, for the spascial AF C* algebra-UHF algebra, I study the linear characterization of 2-local isometry on it: make use of the frame attribute, find the trace state of UHF algebra according to the one of matrix algebra and verify the 2-local isometry is linear.

充分利用UHF代数的结构特点，利用矩阵代数的迹态找到UHF代数的迹态，从而证明了2-局部等距的线性性质。

Some other conditions which the implicative operator of a Implication Algebra should satisfied in a logic system are given. The relations between MV-Algebra and Distributive Implication Algebra, Implication Algebra with condition are gained.

对于偏序集上蕴涵代数中的蕴涵算子引入了一些逻辑条件，得到了偏序集上具有不同条件的蕴涵代数与MV-代数之间的关系，给出了偏序集上蕴涵代数与MV代数之间的几个等价定理。

By utilizing the concepts and methods developed in Algebra Topology,Algebra Geometry and Algebra Representations,we first depicted the concepts and results of Incidence Algebra which reflects the linear structure of underlying posets and Sheaf theory which reflects the topological structure of underlying poset in the framework of Category Theory.

本文综合运用了代数拓扑、代数几何及代数表示论里发展起来的概念与方法，首先在范畴的框架下，对和偏序集的线性结构密切相关的Incidence代数，及与偏序集的拓扑结构紧密联系的层，进行了刻画。

Explicitly, they are consist of three classes: If H is semisimple, then H k* for some finite group; If H is not semisimple and the characteristic of k is zero, then H is isomorphic the dual of the cross product between one so called Andruskiewitsch-Schneider algebra and a group algebra; If H is not semisimple and the characteristic of k is not zero, then H is isomorphic the dual of the cross product between one special algebra and a group algebra.

具体地讲，它们共(来源：5fbfA02BC论文网www.abclunwen.com)分三类：①如果H是半单的，则H同构与一个群代数的对偶；②如果H是非半单的并且基础域的特征是0的话，则H同构一个所谓Andruskiewitsch-Schneider代数与一个群代数交差积的对偶；③如果H是非半单的并且基础域的特征不是0的话，则H同构于某个特定代数与一个群代数交差积的对偶。

A ring R is called right co-semihereditary if every finitely cogenerated factor module of a finitely cogenerated injective right R-module is injective.

如果有限余生成内射右R-模的有限余生成商模是内射的，则R称为右余半遗传的。

Finally, after defining an evaluation module of the corresponding Loop superalgebra (Section 4), two major results of the paper -Theorem 4.land Theorem 4.2 are proved: Theorem 4.1 reduces the irreducibility of the tensor product of finitely many evaluation modules to the irreducibility of the tensor product of finitely many irreducible modules of a nilpotent Lie superalgebra; Theorem 4.2 gives a criterion for the tensor product of such modules to be irreducible.

第4节在定义了相应的Loop超代数的赋值模之后，证明了本文的两个主要结论：定理4.1和定理4.2。定理4.1将有限多个赋值模其张量积的不可约性归结为一幂零李超代数的限多个不可约模其张量积的不可约性；定理4.2利用不可约指标给出了一幂零李超代数的限多个不可约模其张量积仍不可约的判别准则。

According to the existence results of general equilibrium problems and vector equilibrium problems have been studied more and more. Inspired and motivated by these research results, this paper is devoted to study systematically a class of equilibrium problems, which is unify and extension of a large number of known equilibrium problems and variational inequalities problems. The research is carried on from three aspects.Firstly, in finitely continuous topological spaces, we introduce four new types of the system of generalized vector quasi-equilibrium problems, and we derive some existence results of a solution for the system of generalized vector quasi-equilibrium problems via the maximal element theorems in product finitely continuous topological spaces.Secondly, in complete metric spaces, we provide the Ekeland variational principle to equilibrium problems with set-valued maps. And via the Ekeland variational principle, existence results for vector equilibrium problem with set-valued maps and the system of vector equilibrium problem with set-valued maps.

针对一般的均衡问题和向量均衡问题解的存在性，已有许多研究成果，受这些成果的启发，本文主要从理论上较为系统地研究了一类均衡问题，它统一和推广了许多已有的均衡问题和变分不等式问题，研究分有三个方面；首先，在有限连续拓扑空间中，我们提出了四类广义向量拟均衡系，并借助于有限连续拓扑空间中的极大元定理讨论了这四类均衡系问题的解的存在性问题，然后，在完备度量空间中，我们给出了关于集值均衡问题的Ekeland变分原理，并利用Ekeland变分原理分别讨论了集值向量均衡问题和集值向量均衡系问题的解的存在性。

This paper introduces and investigates the filter theory of pseudo NM algebra. The notions of filters, generated filters, normal filters and prime filters etc. are defined. Their basic properties are investigated, with the structures of generated filters obtained. We show that prime filters and irreducible filters are equivalent, and that maximum filters must be prime filters. The prime filter theorem of pseudo NM algebra and its some corollaries are established.

引入了伪NM代数的滤子理论，定义了滤子、生成滤子、正规滤子和素滤子等概念，研究了它们的特征性质，给出了生成滤子的结构，证明了在伪NM代数中素滤子与不可约滤子等价以及极大滤子必是素滤子，建立了伪NM代数的素滤子定理及其推论。

The results show that the air crossing pressure pulse magnitude of the container generated in the tunnel is 3.46 times that generated in open air when container flat wagon at the speed of 160 km/h passed by EMU moving at the same speed. Both the lateral force and overturning moment of the container train during the crossing induced in open air and tunnel are approximately proportional to the square of running speed of the passing train. The pressure of crossing side and uncrossing side for the container flat wagon is almost equal since the one-dimensional characteristic of pressure distributing induced in the tunnel is not faintish. Consequently, the value of the lateral force and overturning moment of the container train generated in open air is greater than that generated in the tunnel, about 1.1 times.

研究结果表明：集装箱平车以160 km/h的速度与动车组等速交会时，在隧道内会车时车载集装箱中部压力变化幅值是在明线会车时的3.46倍；在明线和隧道内会车时，集装箱列车受到的侧向力和侧滚力矩均与交会列车运行速度近似成平方关系；因隧道内压力分布一维特性较强，集装箱平车交会侧与非交会侧压力相差并不大，因此，在明线会车时集装箱平车受到的侧向力和侧滚力矩均比隧道会车时的大，大约是其1.1倍。

You'll be in trouble it you don't watch out .

如果你不注意，你会有麻烦的。

Shaped like a biconvex lens.Of, relating to, or having the form of a hyperbola.

双曲线的属于双曲线的，与之有关的，或有双曲线形状的