代数

Ringel realized positive parts of semisimple Lie algebras in the framework of Ringel-Hall algebras. The main result of this thesis is to build a geometric and topological model over triangulated categories such as derived categories and stable module categories of repetitive algebras. We defines a Lie bracket by Euler characteristics of constructible subsets and thus realizes infinite dimensional Lie algebras of various types with non-degenerated bilinear form.

本文的主要结果是在导出范畴和重复代数的稳定模范畴等三角范畴水平上建立相应的几何-拓扑模型，并利用相应可构集的欧拉示性数定义了一个Hall代数的交换子乘法，从而在三角范畴水平上实现了一大类无限维李代数的整体构造，并且这类李代数本质上都具有非退化的不变双线性型。

Let R be an arbitrary commutative ring with identity, gl the general linear lie algebra over R consisting of all n × n matricesover R and with the bracket operation = xy -yx, t the lie subalgebraof gl consisting of all n×n upper triangular (resp., strictly upper triangular ) matrices over R and d the lie subalgebra of gl consisting of all n×n diagonal matrices over R.

在第三章中，对R是交换环的情形，讨论了典型李代数的导子代数的结构问题：设R是一个含幺交换环，gl是R上一般线性李代数。t是gl的所有n阶上三角矩阵(相应地，严格上三角矩阵)构成的子代数，d是gl的所有n阶对角阵构成的李代数。

The course contains four sections as follows: mathematical logic (including basic concepts of propositional logic and predicate logic, propositional calculuses and inference theories), set theory (including set algebras, relations, functions and cardinal numbers), algebraic structure (including algebraic systems, semigroups and groups, rings and fields, lattices and Boolean algebras), graph theory (including basic concepts of graph, Euler graphs and Hamiltonian graphs, trees, planar graphs and coloring graphs, some special vertex subsets and edge subsets).

本课程包含四部分内容：数理逻辑（包含命题逻辑与一阶逻辑的基本概念、等值演算以及推理理论），集合论（包含集合代数、二元关系、函数和基数），代数结构（包含代数系统、半群与群、环与域、格与布尔代数），图论（包含图的基本概念、欧拉图与哈密顿图、树、平面图及图的着色、图的某些特殊的顶点子集与边子集）。

Through using category theory, this paper investigates the properties of subcoalgebras, especially, the properties of subcoalgebras on Set, the category of sets and functions. This paper shows that all the subcoalgebras on Set are regular.

以范畴理论为工具讨论子共代数的性质，特别是集合范畴上的子共代数的性质，证明了集合范畴上的子共代数都是正则子共代数。

In this paper we acquaint the reader first with the algebraic semantics which is corre-sponding to the Kripke's semantic having nested domaius. By an application of the completenesstheorem on relational semantics of the quantified normal modal systems with nested domains proved in Hughes and Cresswell's method to prove a completeness theorem on relational algebraic semantics of those system. Next for normal systems with semantics which admits arbi-trarily variable domains we use Henkin's method to prove a c...

本文首先讨论嵌套论域语义的相应代数语义并由Hughes和Cresswell在［5］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Henkin方法给出其关于狭义Kripke语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。

Weak bialgebras and Hopf algebras are generalizations of ordinary bial-gebras and Hopf algebras in the following sense: the defining axioms are the same, but the multiplicativity of the counit and comultiplicativity of the unit, are replaced by weaker axioms.

中文摘要：弱双代数和弱Hopf代数是通常的双代数和Hopf代数的推广：定义的公理不变，但是余单位的乘法和单位的余乘法变得更弱一些了。本文主要将上环理论及其Galois理论运用于弱Hopf代数，得到弱Hopf代数的相应结果。

The latter is essentially derived from the geometric realization of Happels triangulated equivalence between stable module category of repetitive algebra and bounded derived category of finite dimensional algebra. In terms of this realization, we deduce that the Lie algebra realized by derived category of a finite dimensional algebra is isomorphic to the Lie algebra realized by stable module category of the corresponding repetitive algebra.

后者本质上是Happel关于重复代数的稳定模范畴和导出范畴的三角等价的一个几何实现及其应用，使用这种几何实现，我们可以证明在重复代数的稳定模范畴上定义的李代数同构于相应的导出范畴上实现的李代数。

The Maschke's Theorem of group algebras is well known, and [Mo2] gives us a version of Maschke's and Dual Maschke's Theorem of finite-dimensional Hopf algebras.

半格分次弱Hopf代数是弱Hopf代数的一类特殊情况，而且又是Hopf代数的一种推广，在第1.3节中，我们将会给出半格分次弱Hopf代数的Maschke和对偶Maschke定理的结论及其应用。

It is easy to see that the bialgebra H we find,canbe regarded as the enveloping algebra of a Lie algebra,whose generators are thoseof the Lie algebra of type A and n-1 other elements which commute with genera-tors above.

可以看出，我们找到的H作为代数，恰为在An-1型李代数上增加与之可换的n-1个生成元后得到的包络代数，其自然表示的矩阵元恰好生成代数AR。

"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年）的基础上修改而成的。

I will endeavour to find you some assistance.

我尽力帮你找人帮忙。

At first I only know bruck is the idol of American younglings, afterwards I returned back to Taiwan ,even in Beijing last year ,I saw her poster everywhere, I was so surprised at her charm.

起初我只晓得布鲁克雷德丝是美国少男少女崇拜的偶像，后来回台湾，甚至去年在北京，居然也四处看见她的海报，才惊讶她的魅力之大。