查询词典 commutative contract

Since there are special courses devoted to commutative algebra and algebraic geometry, these parts are not included in the present course.

因此选择的内容应有普适性、示范性、基础性、重要性和可教性。过于专门化的理论或细节不是这门课的任务。

Computing integral closure of a finite extension is not only an important problem in commutative algebra, but also in algebraic geometry and algebraic number theory.

计算有限扩张的整闭包不但是交换代数中的一个核心问题，也很受代数几何以及代数数论发展的推动。

Finally, We prove that every generalized a associative BCI algebra determine a commutative pomonoid .

最后我们证明了每个广义a－结合BCI－代数可确定一个交换偏序幺半群。

We then can verify the associative law and the commutative law for multiplication, and the uniqueness of the result of addition indicates the uniqueness and the cancellation law for multiplication.

我们容易验证乘法满足结合律和交换律，并且由加法结果的唯一性得出乘法结果的唯一性和乘法消去律。

The combination rule of the method satisfies commutative law and associative law, fully uses information of conflict evidences, and solves three kinds of problems appeared in conflict evidences combination process.

该组合方法满足结合律和交换律，充分利用冲突证据信息，解决了冲突证据组合中的三类问题。

In the 2nd one we have already a+(b+1)= a+b'='=+1,this is the first step of associative law for addition,further more we can verify the associative law and commutative law for addition.

而在第二条中已经有a+(b+1)= a+b'='=+1，就是加法结合律的第一步，进而可以验证加法交换律和结合律。

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 operation laws including:commutative law, associative law, cancellation law, unity of operation, inverse element, and distributive law between two operations,here we just omit them.

这些运算律包括：交换律，结合律，消去律，运算单位元，运算逆元，两个运算之间的分配律等，在此不再一一说明详细过程。

In chapter 2, the realization and decoupling of linear systems over a commutative Banach algebra have been studied.

第二章，研究了交换Banach代数上线性系统的实现与解耦控制。

In chapter 1, the relations between spectrum displacement problem and controllability, observabiity for linear systems over a commutative Banach algebra have been discussed, the open problem about spectrum displacement posed by Kaashoek have been solved, and the if and only if conditions for stability, stabiizabit~ detectability have been obtained.

第一章，讨论了交换Banach代数上线性系统的谱配置问题与可控性、可观性的关系，解决了Kaashoek等提出的关于谱配置的公开问题，给出并证明了判定其稳定性、可稳定性、可检测性的充要条件。

I want to be a big fish in a small pond.

我要做一条在小池塘里的大鱼。

While the software functioned well, we did not feel the same about their customer support!

虽然该软件运行良好，我们没有同样的感觉他们的客户支持！