查询词典 algebra over k

MV-algebra is a kind of logic algebra, which has been introduced by the international famous model expert C.

MV-代数是一种逻辑代数，它是国际著名模型论专家C.C。

Tai Chi has algebra contains the contents of the dialectic, and Tai Chi is dialectical logic of algebra and math.

太极代数里包含有辩证的内客，而太极代数是辩证逻辑的数学化。

In nearly half a century, the scholars of various countries have already made the rich achievement to the studying of MV- algebra and a lot of algebra systems with logic background.

近半个世纪以来，各国学者对MV-代数以及许多具有逻辑背景的代数系统的研究已取得了丰硕的成果([1]，[3-14])。

Based on the filtered Lie algebra of the universal enveloping algebra, the algebraic structure of projected subsystems are studied. It is proved that they have simple decompositions, and the construction of the representations is given as well as the corresponding criterion for project limit controllability.

基于泛包络代数的滤李代数结构，研究了投影子系统的代数结构，证明它们具有简单的分解形式，并给出了它们的表示的构造方法和投影极限能控性的判别定理。

Lattice implication algebra is an algebraic system combinating lattice with implication 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.

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

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的表示与顶点代数的表示密切相关。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。