查询词典 topological algebra

Firstly, we establish a topological space associated to the derived category of a finite dimensional algebra with finite global dimension, which is a generalization of module variety and complex variety.

首先，我们在有限整体维数的代数的复形范畴上建立了复形拓扑空间。

Early in the 1950s, in algebraic topology, the concept of graded Hopf algebras was derived from an axiomatization of the works of H. Hopf relating to topological properties of Lie groups. Hence the name,'Hopf algebra'.

50年代初，H.Hopf在研究李群的拓扑性质这一代数拓扑领域的理论工作中引入了分次Hopf代数的概念，"Hopf代数"由此而得名。

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、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

In this paper,δ-continuous and almost continuous Q\-1Q\-2-mapping are introduced, and continuous,δ-continuous, almost continuous are equivalence in the semiregular de Morgan topological algebra.

Q1Q2 -映射的连续性已在 [2 ]中讨论过，在本文中引进了 Q1Q2 -映射的δ-连续性，几乎连续性，并在半正则德摩根拓扑代数中证明了三种连续性的等价

In this paper, the main purpose is to study completely normal separation axiom in L-topological spaces and several algebra structures on L-Fuzzy algebra.

本文主要是研究L-拓扑空间的完全正规分离性和L-Fuzzy代数中的若干代数结构。

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代数，及与偏序集的拓扑结构紧密联系的层，进行了刻画。

The purpose of studing LPP is to discuss and so as to solve topological algebra's problems by linear methods, and to get information of classifying operator algebras from a new direction.

线性保持问题研究的目的是利用线性手段探讨和解决拓扑代数的问题，从新的角度提供算子代数的整体结构和对算子代数分类的信息。

The theory of graphs and relations between the spectra and fixed variate (e.g. chromatic number, degree sequence, diameter and connectivity) of graphs by means of the well-developed theory and technique of algebra, topological structure properties of graph, combination and matrix theories so as to establish firm essential relation between the algebraic properties and topological properties of graphs and networks.

图谱理论的研究主要是利用成熟的代数理论和技巧，并结合图的拓扑结构性质和组合数学的理论、矩阵理论来研究图谱及其与图的结构性质、图的其它不变量(如色数，度序列，直径，连通度等)之间的关系，将图与网络的代数性质与图的拓扑性质紧密地联系在—起。

First of all, the dissertation proves that the three structures are pairwisely isomorphic—the Boolean Algebra formed by the value range topological space, the Boolean Algebra by knowledge nodes, and the Boolean Algebra by data sub-classes. Thus the essential relations between the three Boolean Algebras are constructed. Furthermore, The three structures have the same multiplying mechanism.

首先，论文从理论上证明了由数值域拓扑空间形成的布尔代数、由知识结点集形成的布尔代数、和由数据子类结构集形成的布尔代数在结构上有两两同构的关系，从而建立了了这三者在本质上的联系，并且论证了它们具有相同的"繁衍"机制。

As a matter of fact we develop our study in the more general and more natural context of a theory ~ internally defined with respect to a topos of sheaves on a frame (i.e. a complete Heyting algebra; for example the algebra of open subsets of a topological space).

作为一个事实上我们在发展中的一个理论更普遍，更自然的环境研究国内关于对一帧的捆一topos中定义的（即完全Heyting代数，例如以开放的子集代数拓扑空间）。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。