可换BCH-代数

引入了可换BCH-代数的概念,给出了可换BCH-代数的两个充要条件.对偏序可换BCH-代数进行了讨论,给出了偏序BCH-代数是可换的两个充要条件.证明了偏序可换BCH-代数的每个分支是一个下半格,局部有界偏序可换BCH-代数的每个分支是一个格.     

可解二次Lie代数

一个带有非退化、对称不变双线性型的Lie代数称为二次Lie代数. 研究可解二次Lie代数的结构, 特别是Cartan子代数由半单元构成的可解二次Lie代数. 从上同调的观点出发给出了一种构造二次Lie代数的方法, 并证明了可解二次Lie代数均可用此方法构造.     

BCK—代数的可换理想

本文是作者[1],[2]和[3]的继续,引入了可换理想的概念,并讨论它的重要性质,特别是用可换理想刻划了可换BCK-代数,从而建立了BCK-代数的一套较完备的理想理论。 1976年K.Ise’ki和S.Tanaka引入了正定关联理想概念,借此刻划了正定关联BCK-代数;1984年,我们引入关联理想概念,借此刻划了关联BCK-代数。如所周知,正定关联BCK-代数、关联BCK-代数和可换BCK-代数是BCK-代数的三个重要类型。既然前两类代数都已用理想所刻划,那么可换BCK-代数能否用理想刻划?这里首先遇到的困难是如何定义可换理想,并使它带有更多的信息。     

可换环上Abel李代数的全形的导子和自同构

决定了可换环上Abel李代数的全形的导子代数和自同构群.     

可换环上一些线性李代数的扩代数

设R是任意含单位元的可换环,gl(n,R)是R上n级一般线性李代数.t表示gl(n,R)中所有上三角矩阵组成的子代数,d表示gl(n,R)中所有对角矩阵组成的子代数.本文将分别确定t在gl(n,R)中的扩代数和d在t中的扩代数.     

偏序可换BCH-代数分支的性质

在局部有界偏序可换BCH-代数的分支中,给出了关于一元运算N的一些性质,给出了二元运算*,∧,∨之间的一些关系式,证明了局部有界偏序可换BCH-代数的每个分支是一个分配格.     

软可换BCI-代数

将软集合理论应用到可换BCI-代数中,给出了软可换BCI-代数的概念,讨论了软可换BCI-代数和软BCI-代数之间的关系,研究了软可换BCI-代数的扩展交、限制交、限制并以及限制差分等性质.最后,研究了软可换BCI-代数的同态性质.     

同余可换的Stone代数

借助Stone代数的对偶空间的性质，考察了Stone代数的同余可换性.     

可换环上辛代数与一般线性李代数之间的中间李代数

本文研究了含幺可换环上一般线性李代数的子代数结构.通过构造特殊矩阵并利用这些矩阵进行计算, 得到了任意含幺可换环上辛代数与一般线性李代数之间的所有中间李代数的形式.并且有利于研究可换环上相应的典型群的子群结构.     

可换环上一般线性李代数在几类典型李代数中的扩代数

研究典型李代数的子代数结构,利用矩阵方法决定了含幺可换环上n级一般线性李代数分别在2n级辛代数,2n级正交代数及2n 1级正交代数中的扩代数.     

A strong constructive version of engel's theorem

We examine two problems in the computational theory of Lie algebras. First, we prove a constructive version of Engel's theorem: if L is a finite-dimensional Lie algebra that is not nilpotent, we show how to construct an element x in L such that the linear transformation ad x is not nilpotent. No special assumptions about the underlying field are needed. Second, as an important application of the first result, we give an algorithm for the construction of a Cartan subalgebra of a finite-dimensional Lie algebra. This solves the problem of finding a totally constructive proof of the existence of a Cartan subalgebra, posed by Beck, Kolman, and Stewart in the paper "Computing the Structure of a Lie Algebra". Our proofs are ordinary mathematical proofs that do not employ the general law of excluded middle. The advantage of this approach to mathematics is that our proofs, which are not burdened or obscured by the details of a particular programming language, can nevertheless be routinely turned into computer programs     

Solvable quadratic Lie algebras

A Lie algebra endowed with a nondegenerate, symmetric, invariant bilinear form is called a quadratic Lie algebra. In this paper, the author investigates the structure of solvable quadratic Lie algebras, in particular, the solvable quadratic Lie algebras whose Cartan subalgebras consist of semi-simple elements, the author presents a procedure to construct a class of quadratic Lie algebras from the point of view of cohomology and shows that all solvable quadratic Lie algebras can be obtained in this way.     

半单李代数的一个特征性质

本文给出了中心为零的带非退化对称不变双线性型的有限维李代数的若干性质,并由此给出了半单李代数的一个新刻划。     

Pairs of Semisimple Lie Algebras and their Maximal Reductive Subalgebras

Let \(\mathfrak g\) be a semisimple Lie algebra over a field \(\mathbb K\), \(\text{char}\left( \mathbb{K} \right)=0\), and \(\mathfrak g_1\) a subalgebra reductive in \(\mathfrak g\). Suppose that the restriction of the Killing form B of \(\mathfrak g\) to \(\mathfrak g_1 \times \mathfrak g_1\) is nondegenerate. Consider the following statements: ( 1) For any Cartan subalgebra \(\mathfrak h_1\) of \(\mathfrak g_1\) there is a unique Cartan subalgebra \(\mathfrak h\) of \(\mathfrak g\) containing \(\mathfrak h_1\); ( 2) \(\mathfrak g_1\) is self-normalizing in \(\mathfrak g\); ( 3) The B-orthogonal \(\mathfrak p\) of \(\mathfrak g_1\) in \(\mathfrak g\) is simple as a \(\mathfrak g_1\)-module for the adjoint representation. We give some answers to this natural question: For which pairs \((\mathfrak g,\mathfrak g_1)\) do ( 1), ( 2) or ( 3) hold? We also study how \(\mathfrak p\) in general decomposes as a \(\mathfrak g_1\)-module, and when \(\mathfrak g_1\) is a maximal subalgebra of \(\mathfrak g\). In particular suppose \((\mathfrak g,\sigma )\) is a pair with \(\mathfrak g\) as above and σ its automorphism of order m. Assume that \(\mathbb K\) contains a primitive m-th root of unity. Define \(\mathfrak g_1:=\mathfrak g^{\sigma}\), the fixed point algebra for σ. We prove the following generalization of a well known result for symmetric Lie algebras, i.e., for m=2: (a) \((\mathfrak g,\mathfrak g_1)\) satisfies ( 1); (b) For m prime, \((\mathfrak g,\mathfrak g_1)\) satisfies ( 2).     

Weyl Groups are Finite — and Other Finiteness Properties of Cartan Subalgebras

For each pair (??,??) consisting of a real Lie algebra ?? and a subalgebra a of some Cartan subalgebra ?? of ?? such that [??, ??]∪ [??, ??] we define a Weyl group W(??, ??) and show that it is finite. In particular, W(??, ??,) is finite for any Cartan subalgebra h. The proof involves the embedding of 0 into the Lie algebra of a complex algebraic linear Lie group to which the structure theory of Lie algebras and algebraic groups is applied. If G is a real connected Lie group with Lie algebra ??, the normalizer N(??, G) acts on the finite set Λ of roots of the complexification ??c with respect to hc, giving a representation π : N(??, G)→ S(Λ) into the symmetric group on the set Λ. We call the kernel of this map the Cartan subgroup C(??) of G with respect to h; the image is isomorphic to W(??, ??), and C(??)= {g G : Ad(g)(h)— h ε [h,h] for all h ε h }. All concepts introduced and discussed reduce in special situations to the familiar ones. The information on the finiteness of the Weyl groups is applied to show that under very general circumstance, for b ∪ ?? the set ??? ?(b) remains finite as ? ranges through the full group of inner automorphisms of ??.     

Derivation Algebra of Quasi Rn-filiform Lie Algebra

In this paper we explicitly determine the derivation algebra of a quasi Rn-filiform Lie algebra and prove that a quasi Pn-filiform Lie algebra is a completable nilpotent Lie algebra.     

Derivation Algebra of Quasi $R_n$-Filiform Lie Algebra

In this paper we explicitly determine the derivation algebra of a quasi $R_n$-filiform Lie algebra and prove that a quasi $R_n$-filiform Lie algebra is a completable nilpotent Lie algebra.     

Cartan型李代数W(n;m)的一类Borel子代数

构造了Cartan型李代数W(n;m)的一类Borel子代数φ(n;m),其中n是一个正整数,且m=(m_1,…,m_n)是一个n-元正整数数组.确定了φ(n;m)的导子代数.特别地,φ(n;1)是一个Cartan型完备阶化李代数,它不同于任何典型完备李代数.