查询词典 algebras

The modal logic S5, viewed as a theory in S4, is a model of monadic Boolean algebras in the same way that S4 is a model of interior algebra.

模态逻辑 S5，被看作 S4 中一个理论，是一元布尔代数的模型，如同模态逻辑 S4 是内部代数的模型。

In chaper 2, first we prove that the simple associative algebras A are noncommutative domains.

在本文的第二章，我们首先证明单结合代数A为非交换整环。

And it is proved that a semiring S in ■°■l is a subdirect product of a member of ■° and a member of ■l if and only if the multiplicative reduct of S is a subdirect product of a group and a semilattice by using the concept of sturdy frame of type(2,2) algebras.

O∩■°■B和■∩■°■中成员的次直积分解，并利用&(2，2)型代数的坚固构架&的概念，证明了半环S∈■°■l是■与■l中成员的次直积当且仅当S的乘法半群是群与半格的次直积。

A-completely regular semiring is introduces, and the closed relationship between the subdirect product decomposition of A-completely regular semiring and the subdirect product decomposition of its additive reduct is given by using the concept of sturdy frame of type (2,2) algebras.

介绍了A-完全正则半环，并利用(2，2)型代数的坚固构架的概念，给出了A-完全正则半环的次直积分解与其加法半群的次直积分解之间的密切联系。

The concept of semialgebra is given,then the realitionship between the additive can-cellation semialgebras with triviality congruence and algebras over semiring.

给出半环上半代数的概念，证明了半环上加法可消半代数，且只有非平凡同余，那么该半代数是半环上的代数。

In Chapter 2, starting from a generalization of Hensel's Lemma to non-commutative case, we introduce the Brauer characters and the generalized decomposition numbers, and construct a kind of maximal semisimple algebras; then, similarly to Puig's methods, we prove Brauer's Second Main Theorem over arbitrary fields; applying it to blocks with nilpotent coefficient extensions, a formula on characters of such blocks is given; the formula of characters of nilpotent blocks is just an easy consequence of the fomula.

在第二章中，我们将Hensel的引理推广到非交换的情况，以此为起点，定义了Brauer特征标和广义分解数，构造了一类极大的半单的代数，类似于Puig的方法，给出了任意域上Brauer的第二主要定理；作为该定理的应用，我们给出了具有幂零系数扩张的块的特征标公式，幂零块的特征标公式只是它的一个简单的推论。

This fills a gap in the theory of bi-Froebnius algebras introduced by Doi and Takeuchi.

首先，我们给出了基本圈上Frobenius代数成为对称代数的一个数值刻画。

The invariant V (A , [1〓] that we used for unital case is the semigroup of Murry-von Neumann equivalence classes of projections in matrices over C〓-algebras together with the class of the unit.

我们用来分类的不变量（V，[1〓]）是A的矩阵代数中所有投影的Murry-von Neumann等价类所成的半群及单位元所在的等价类。

In this paper, we try to discuss the classification of low dimensional Lie super algebras.

本文主要讨论了特征p=0的代数闭域上的低维李超双代数的分类问题。

In this paper,the entwining structures of and monads, comonad s,entwined modules and the relations with those of algebras and coalgebras in categories are in- vestigated.

研究单子和余单子的缠绕结构和缠绕模以及与代数和余代数的缠绕结构和缠绕模之间的关系，定义了余单子的类群元，得到了一些有意义的结论。

Do not gum up the work by telling mother what we are going to do .

别告诉母亲我们要干的事，那会把事情搞糟的。

In recent years, application of the partial prestressed concrete beam s is developed.

近年来，随着部分预应力砼梁应用的推广，发现我国规范所采用的名义拉应力法的计算结果不稳定。