查询词典 Boolean algebra

Linear Algebra is mainly a subject which studies the linear structure of finite dimensional linear space and its linear transformation while linear concept is in itself from the old Euclid Geometry. The concept of "Linear Space" is a kind of algebraic abstract. In many fields of modern engineering project and technology, because of the influence of computer and graph showing, the algebraic disposal of geometric questions, the visual disposal of algebraic questions, algebra and geometry are tightly combined.

线性代数主要是研究有限维线性空间及其线性变换这一代数结构的学科，而线性概念究其根源则是来自古老的Euclid几何，线性空间概念是几何空间的一种代数抽象，在现代工程技术的许多领域里，由于计算机及图形显示的强大威力，几何问题的代数化处理，代数问题的可视化处理，把代数与几何更加紧密地结合在一起。

Lattice implication algebra is a kind of algebraic structure combined with lattice and implication algebra. It is an important method in the research of lattice-valued logic.

格蕴涵代数是将格与蕴涵代数结合起来的一种代数结构，是研究格值逻辑系统及其性质的一个重要途径。

It is shown that, any reprersentation finite special biserial algebra has a Groebner basis theory, and a finite-dimensional basic algebra over an algebraically closed field is representation finite if and only if every module over it has a right Groebner basis theory.

证明了表示有限特殊双列代数有Groebner基，从而扩大了Groebner基理论的应用范围；证明了一个代数封闭域上的有限维代数是表示有限特殊双列代数当且仅当其上每个右模都有右Groebner基理论，从而扩大了右Groebner基理论的应用范围。

From the famous Gabriel's theorem ,a basic connected finite dimensional associative algebra A over an algebraically closed field can be looked as a quotient of a path algebra decided by a connected finite quiver Q.

由Gabriel 定理，代数闭域上基的，连通的有限维结合代数A 同构于一个由连通有限箭图Q 确定的路代数的商代数。

If one of the following conditions is satisfied , then the trivial extension T of H is not a bialgebra .(1) H is not a Hopf algebra ,(2) H is a Hopf algebra , but the antipode of H is not the identity map .(3) char can not divide 2dim H .

若下述三个条件之一成立，则T不是双代数：(1) H不是Hopf代数，(2) H是Hopf代数，但其反极元S不是恒等映射，(3) char不能整除2dim H。

We investigate the centralizer of an arbitrary element of a Lie algebra of type L and obtain a sufficient condition for a Lie algebra of type L being semisimple.

在李代数方面，我们研究了L-型李代数中任一元素的中心化子，给出了L-型代数为半单代数的充分条件。

The representations of the associative algebra A play an important role in the study of the representations of the vertex algebra.

践行"三个代表"重要思想，推动高校办公室管理创新6。结合代数A的表示与顶点代数的表示密切相关。

As a branch of modern algebra , finite fields is an abstract system in algebra which satisfies operational laws such as associative law, commutative law, distributive law etc.

作为近世代数学的一个分支，有限域是一个拥有传统算术四则运算的抽象代数系统，它满足结合律、交换律、分配律、消去律等运算法则。

The study of lattice implication algebras On the basis of previous results of lattice implication algebras, we firstly studied some properties of implication filters, prime implication filters, maximal implication filters and ultrafilters. Then we laid stress on the study of two kinds of relatively general lattice implication algebras, i. e. complete and atomic lattice implication algebra and injective lattice implication algebra.

关于格蕴涵代数的研究本文在已有的格蕴涵代数研究结果基础上，首先研究了格蕴涵代数中蕴涵滤子、素蕴涵滤子、极大蕴涵滤子和超滤等的性质和相互的关系，然后重点较系统地研究了两类覆盖面较广的格蕴涵代数：完备的且原子的格蕴涵代数和内射的格蕴涵代数。

In chapter 3, the concepts of M-matrix and H-matrix over a commutative Banach algebra have been proposed, and some of their important properties and applications in linear systems over a commutative Banach algebra have been studied. For usual complex matrix, the Bellman inequality with Hadamard product has been proved.

第三章，提出了交换Banach代数上M一矩阵及H一矩阵的概念，研究了其一些重要性质，并给出了在交换Banach代数上线性系统中的应用；对有限维复矩阵，证明了关于 Hadamard乘积的 Bell.an不等式。

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。