查询词典 finitely generated algebra

In this paper,the nonstandard analysis theory is used for inducing a metric space by a Loeb measure space.On this basis,a metric space is induced by a internal finitely additive measure space.The close relationship between the metric space induced by a Loeb measure space and the metric space induced by a internal finitely additive measure space is illustrated with the concepts and some properties of Loeb measure.Then,some properties of the metric space that induced by a internal finitely additive measure space are studied.In the first two chapters,we first Succinctly present the origin,development and research states of the nonstandard analysis.Then,the theoretical foundation of nonstandard analysis as well as the axiomatic nonstandard analysis are given.Finally, the nonstandard model and the saturation model are discussed,as well as some natures of the nonstandard model and several equivalent conditions of saturation model are given.

本文利用非标准分析理论，在由Loeb测度空间导出度量空间的基础上，由内有限可加测度空间导出了度量空间，并借助Loeb测度的概念和若干性质证明了由标准的测度空间导出的度量空问和由内有限可加测度这个非标准的测度空间导出的度量空间有着密切的关系，在此关系的基础上还研究了由有限可加测度这个非标准的测度空间导出的度量空间的性质在第一、第二章里，我们首先简单介绍了非标准分析的产生、发展及研究现状，接着给出了非标准分析的理论基础以及公理化的非标准分析，进而讨论了非标准模型和饱和模型，并给出了非标准模型的一些性质和饱和模型的若干等价条件。

Not every subgroup of a D-group is also a D-group. If a subgroup is a D-group we call the subgroup "sub- D -group." The "commutator ideal" of G is the smallest sub-D-group containing its commutator subgroup. We found that the commutator ideal can be viewed as a finitely generated module over a ring when G is a finitely generated metabelian D-group.

并非每个子群都是一个可除群，若一个子群是可除群，我们称之为子可除群(sub-D-group)，而G 的交换子理想则是在G中包含其导出群的最小子可除群，我们发现当G是一个有限生成亚交换可除群时，其交换子理想是一个有限生成模。

Fuzzy logic is studied with algebraic tools in this paper. A kind of algebraic abstract of fuzzy logic, Implication Algebra on a partial ordered set, is given. The relations between Implication Algebra and other algebraic structures, such as MV-Algebra and Heyting Algebra etc., and the filter and the structure of Implication Algebra on a partial ordered set are studied.

本文的目的是使用代数工具对模糊逻辑进行研究，给出模糊逻辑的一类代数抽象，即偏序集上的蕴涵代数，研究偏序集上蕴涵代数与其它代数结构，如MV-代数，Heyting代数之间的关系，以及偏序集上蕴涵代数的滤子与其结构等。

31 Chapter 3 Number Systems and Boolean Algebra 3.2 Boolean Algebra Table 3-2 Distributivity Idempotency Absorption laws 分配律同一律吸收律 a=ab+ac a+= a+a=a aa=a a+ab=a a=a'=a'b''=a'+b' DeMorgan's laws德摩根定理计算机专业英语 3-32 Chapter 3 Number Systems and Boolean Algebra 3.2 Boolean Algebra Since a finite set of n elements has exactly 2n subsets, and it can be shown that the finite Boolean algebras are precisely the finite set algebras, each finite Boolean algebra consists of exactly 2n elements for some integer n.

由于n个元素的有限集有且只有个子集由于个元素的有限集有且只有2n个子集，而且很显然有限布个元素的有限集有且只有个子集，尔代数一定是有限集合代数，所以对某个整数n而言而言，尔代数一定是有限集合代数，所以对某个整数而言，每个有限布尔代数也有且只有2n个元素。例如，上文定义的集合T的限布尔代数也有且只有个元素。

Specify what status the spatial operator algebra locates at in many methods of multibody systems dynamics formulations and what the relations are between the spatial operator algebra and other dynamics formulations.We explain the basic conception of the Lie group, Lie algebra and Riemannian manifolds in detail, deeply analyze and research the Special Euclidean Group SE(3) and se(3) in the Lie group, Lie algebra. Establish the relation between the adjoint transformation Adg and the operatorφ(k + 1,k) under a particular condition, substitute the operatorφ(k + 1,k)with spatial adjoint operator Ad kk ?

在多体系统动力学理论体系中，详细阐述了Lie群、Lie代数和Riemannian几何的基本概念，对Lie群、Lie代数中的特殊Euclidean群SE(3)和se(3)作深入分析与研究，建立Lie括号下的伴随变换Adg在特定条件下与空间算子代数理论中的空间变换算子φ(k + 1，k)之间的相互关系，并将空间伴随算子Ad kk ？

A special kind of prime dual ideals are defined in a lattice implication algebra, then their structures and properties are discussed. It is proved that the implication operation on this lattice implication algebra is determined by these prime dual ideals, and all of these prime dual ideals compose a lattice implication algebra which is lattice implication isomorphic to the former lattice implication algebra.

在格蕴涵代数中定义了一类特殊的素对偶理想，讨论了它们的结构和性质，证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所确定，并且这些特殊的素对偶理想全体自然地构成一个格蕴涵代数，它和原格蕴涵代数具有格蕴涵代数同构关系。

The vector has the rich actual background and the widespread application function, it has the algebra and the geometry dual statuses, causes the algebra geometrization, the geometry algebra, has communicated the algebra, the geometry and the trigonometric function, has the good analysis method and the complete structure.

向量具有丰富的实际背景和广泛的应用功能，它具有代数和几何双重身份，使代数几何化、几何代数化，沟通了代数、几何与三角函数，具有良好的分析方法和完整的结构。

Explicitly, they are consist of three classes: If H is semisimple, then H k* for some finite group; If H is not semisimple and the characteristic of k is zero, then H is isomorphic the dual of the cross product between one so called Andruskiewitsch-Schneider algebra and a group algebra; If H is not semisimple and the characteristic of k is not zero, then H is isomorphic the dual of the cross product between one special algebra and a group algebra.

具体地讲，它们共分三类：①如果H是半单的，则H同构与一个群代数的对偶；②如果H是非半单的并且基础域的特征是0的话，则H同构一个所谓Andruskiewitsch-Schneider代数与一个群代数交差积的对偶；③如果H是非半单的并且基础域的特征不是0的话，则H同构于某个特定代数与一个群代数交差积的对偶。

Iseki , this theory contact to be suffused with universal algebra, group theory, ring theory, lattice theory,Boolean algebra,set point topology, toplogical algebra etc. we have already obtained the large quantity result to the research of the BCK algebra.

Iseki引入的代数系统，这一理论联系到泛代数、群论、环论、格论、布尔代数、点集拓扑和拓扑代数等，对BCK代数的研究已经取得了一大批的研究成果。

"Higher Algebra" is a 1978 book "Higher Algebra" in the third edition. 1978 edition was compiled by the authors of their "Higher Algebra Lecture"(1964),"A Concise Course in Advanced Algebra"(1965) based on the changes made of.

高等代数》是1978年出版的《高等代数》的第三版。1978年版则是作者在他们所编的《高等代数讲义》（1964年）、《高等代数简明教程》（1965年）的基础上修改而成的。

They have quite a lot of work to do.

他们有许多工作要做。

Let us give you a more elaborate example of this process.

让我们给你这个过程的更多的详细例子。