abelian algebra

abelian algebra的基本解释

-

阿贝耳代数

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

Arad and Blau proved that an abelian table algebra can be viewed as a group algebra of some abelian group G. Chapter 3 of this paper gives the structural theorem of abelian table algebras by defining a group structure in table basis. Furthermore, the structure of elementary abelian table algebras is discussed using the number of composition series of table algebras.

Arad和Blau证明了abel表代数等价于某个有限生成abel群G的群代数，受此启发本文第3节通过定义表基的一个群结构给出了abel表代数的结构定理，并从合成列数目的角度对初等abel表代数进行了细致刻画。

In chapter three,we have derived a generalized dual London equation for the Abelian "electric" field A_μfrom the effective dual Abelian-Higgs model.The approximative result and the numerical simulation result as well as their figs were shown via solving the dual Abelian-Higgs model with different methods.Hereby the vortex solution of the chromo-electric field and the vortex energy density were also discussed.Finally,we have studied the dual Abelian-Higgs model with additional vacuum constant,and have unpuzzled the vacuum constant corresponding to the bag model.When the quark sources is introduced, the vacuum constant in the MIT bag model is proportional to the quartic of the monopole mass.

利用不同方法求解该方程，给出了该方程的近似结果和数值模拟结果，并分别对两种情形画出图像作了比较，据此还讨论了色电场的涡旋解及能量密度，最后讨论了含有附加真空常数的对偶阿贝尔-黑格斯模型并对应口袋模型给出了附加真空常数的物理解释，引入夸克源之后还预言麻省口袋模型中的真空常数正比于单极质量的四次方。

与abelian algebra相关的网络解释 [注：此内容来源于网络，仅供参考]

abelian algebra：阿贝耳代数

abel summation method 阿贝耳求和法 | abelian algebra 阿贝耳代数 | abelian differential 阿贝耳微分

Abelian Lie algebra：阿贝尔李代数

阿贝尔扩张|Abelian extension | 阿贝尔李代数|Abelian Lie algebra | 阿尔巴内塞簇|Albanese variety