具有Heyting结构的Ockham代数

引入一个具有Heyting结构Ockham代数,简称HO-代数．所谓HO-代数,是指具有（2,2,2,1,0,0）类型的代数（L;∧,∨,→,f,0,1）．其中（L;f）是Ockham代数,（L;→）是Heyting代数,且运算f和→由恒等式f（x→y）=f^2（x）∧f（y）与f（x）→y=f^2（x）∨y所连结．主要讨论了HO-代数的同余关系的性质．并刻画了其次直不可约代数的某些性质．     

Commuting double Ockham algebras

In this paper,we study a certain class of double Ockham algebras (L;∧,∨,f,k,0,1), namely the bounded distributive lattices (L;∧,∨,0,1) endowed with a commuting pair of unary op- erations f and k,both of which are dual endomorphisms.We characterize the subdirectly irreducible members,and also consider the special case when both (L;f) and (L;k) are de Morgan algebras.We show via Priestley duality that there are precisely nine non-isomorphic subdirectly irreducible members, all of which are simple.     

Congruence Permutable Symmetric Extended de Morgan Algebras

An algebra A is said to be congruence permutable if any two congruences on it are permutable. This property has been investigated in several varieties of algebras, for example, de Morgan algebras, p-algebras, Kn,0-algebras. In this paper, we study the class of symmetric extended de Morgan algebras that are congruence permutable. In particular we consider the case where A is finite, and show that A is congruence permutable if and only if it is isomorphic to a direct product of finitely many simple algebras.     

广义Mellin变换Ⅰ

<正> 推广至广义函数.古典 Mellin 变换作用于半直线(0,∞).因此我们将以半直线上的广义函数类(定义1)为 Mellin 变换的定义域.古典理论中 Mellin 像函数一般为解析函数,因此将以某种“解析”的广义函数类(定义2)为像域.作指数变换后,Mellin 变     

Hyper MV ‐ideals in hyper MV ‐algebras

In this paper we define the hyper operations ?, ∨ and ∧ on a hyper MV ‐algebra and we obtain some related results. After that by considering the notions ofhyper MV ‐ideals and weak hyper MV ‐ideals, we prove some theorems. Then we determine relationships between (weak) hyper MV ‐ideals in a hyper MV ‐algebra (M, ⊕, *, 0) and (weak) hyper K ‐ideals in a hyper K ‐algebra (M, °, 0). Finally we give a characterization of hyper MV ‐algebras of order 3 or 4 based on the (weak) hyper MV ‐ideals (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

An Extended Ockham Algebra with Endomorphism Kernel Property

An algebraic structure A is said to have the endomorphism kernel property if every congruence on A, other than the universal congruence, is the kernel of an endomorphism on A. In this paper, we consider the EKP （that is, endomorphism kernel property） for an extended Ockham algebra A. In particular, we describe the structure of the finite symmetric extended de Morgan algebras having EKP.     

关于半格的一个定理

文中给出了如下定理：设（Ｌ，∨，∧，Π，Σ），ＡＬ，则（Ａ，∨，∧，Σ）＝（Ａ，∨，∧，Π，Σ）ｉｆｆ（Ｌ，∧）上的内部算子Ｉ，使得Ａ＝｛ｘ：Ｉ（ｘ）＝ｘ｝＝ｒａｎｇｅ（Ｉ）＆ＢＡ，Ｉ∧ｂ∈Ｂｂ＝∧ｂ∈ＢＩ（ｂ）．另外，还给出［１］中定理１的一个改进证明．     

交C-连续偏序集

利用偏序集上的半拓扑结构,引入了交C-连续偏序集概念,探讨了交C-连续偏序集的性质、刻画及与C-连续偏序集、拟C-连续偏序集等之间的关系.主要结果有:(1)交C-连续的格一定是分配格;(2)有界完备偏序集(简记为bc-poset)L是交C-连续的当且仅当对任意x∈L及非空Scott闭集S,当∨S存在时有x∧∨S=∨{x∧s:s∈S};(3)完备格是完备Heyting代数当且仅当它是交连续且交C-连续的;(4)有界完备偏序集是C-连续的当且仅当它是交C-连续且拟C-连续的;(5)获得了反例说明分配的完备格可以不是交C-连续格,交C-连续格也可以不是交连续格.     

Constructions of Metric $(n+1)$-Lie Algebras

Metric n-Lie algebras have wide applications in mathematics and mathematical physics. In this paper, the authors introduce two methods to construct metric (n+1)-Lie algebras from metric n-Lie algebras for n≥2. For a given m-dimensional metric n-Lie algebra(g, [, ···, ], B_g), via one and two dimensional extensions ￡=g+IFc and g0= g+IFx~(-1)+IFx~0 of the vector space g and a certain linear function f on g, we construct(m+1)-and (m+2)-dimensional (n+1)-Lie algebras(￡, [, ···, ]cf) and(g0, [, ···, ]1), respectively.Furthermore, if the center Z(g) is non-isotropic, then we obtain metric(n + 1)-Lie algebras(L, [, ···, ]cf, B) and(g0, [, ···, ]1, B) which satisfy B|g×g = Bg. Following this approach the extensions of all(n + 2)-dimensional metric n-Lie algebras are discussed.     

Zur Kennzeichnung distanztreuer Abbildungen in nichteuklidischen Räumen

Let (V,K,Q) be a noneuclidean regular metric vector space, ρ a fixed element of K and ?: V → V a bijection such that $$Q(x - y) = \rho \leftrightarrow Q(x^\phi - y^\phi ) = \rho \forall x,y \in v.$$ . Then, under certain conditions, there exist a semilinear bijection (σ,τ): (V,K) → (V,K) and an element α ∈ K \{O} such that $$x^\phi = x^\sigma + \mathop 0\limits^{\phi } \wedge Q(x^\sigma ) = \alpha \cdot (Q(x))^\tau \forall x \in v,$$ and in the case ρ ≠ O we get \(\alpha = \frac{\rho }{{\rho ^\tau }}\) . Results of this type are stated in [1],[4] – [12],[17] and [18]. Generalizing these results, in this paper it is proved, that the above statement holds in the case 3 ≤ dim V ≤ ∞ ∧ char K arbitrary ∧ ¦K¦ ≥ 4, if ρ is spacelike, and that it is also true in the case 3 ≤ dim V ≤ ∞ ∧ char K ≠ 2,3,5, if ρ is timelike.     

Axioms in the Variety of eO-Algebras

The variety eO of extended Ockham algebras consists of those algebras (L; ∧,∨, f,k, 0, 1) such that (L; ∧,∨, 0, 1) is a bounded distributive lattice together with a dual endomorphism f on L and an endomorphism k on L such that fk = kf. In this paper we extend Urquhart's theorem to eO-algebras and we are in particular concerned with the subclass e2M of eO-algebras in which f2 = id and k2=id. We show that there are 19 non-equivalent axioms in e2M and then order them by implication.     

Free Algebras in Certain Varieties of Distributive Pseudocomplemented De Morgan Algebras

In this paper we characterize the join irreducible elements of the free algebras on n free generators in the subvarieties of the variety V₀ of pseudocomplemented De Morgan algebras satisfying the identity xx′* = (xx′*)′*.     

Every Akivis Algebra is Linear

An Akivis algebra is a vector space V endowed with a skew-symmetric bilinear product [x,y] and a trilinear product A(x,y,z) that satisfy the identity

On (∈, ∈ ∨ q)‐fuzzy filters of R0‐algebras

In this paper, we introduce the notions of (∈, ∈ ∨ q)‐fuzzy filters and (∈, ∈ ∨ q)‐fuzzy Boolean (implicative) filters in R₀‐algebras and investigate some of their related properties. Some characterization theorems of these generalized fuzzy filters are derived. In particular, we prove that a fuzzy set in R₀‐algebras is an (∈, ∈ ∨ q)‐fuzzy Boolean filter if and only if it is an (∈, ∈ ∨ q)‐fuzzy implicative filter. Finally, we consider the concepts of implication‐based fuzzy Boolean (implicative) filters of R₀‐algebras (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

限制Hamiltonian型及Contact型李代数的不可约表示

设L=H（2r;1）或K（2r+1;1）是定义在特征p>2的代数封闭域F上的限制Hamiltonian型或Contact型李代数.在对广义Jacobson-Witt代数及特殊代数不可约表示的研究基础上,通过定义L的如下阶化:L=L_[q],I,其中I是{1,2,…,r}的子集,得到当p-特征函数χ是正则半单时,所有不可约U_χ（L）-模都是从不可约U_χ(L_[O].I)-模诱导的.     

Family algebras and generalized exponents for polyvector representations of simple Lie algebras of type <Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

We give an explicit formula for the exterior powers ∧ ^k π ₁ of the defining representation π ₁ of the simple Lie algebra ?ο(2n + 1, ?). We use the technique of family algebras. All representations in question are children of the spinor representation σ of g2ο(2n + 1, ?). We also give a survey of main results on family algebras.     

奇异半线性发展方程的局部Cauchy问题

本文在Ｂａｎａｃｈ空间Ｅ中讨论如下问题ｄｕｄｔ＋１ｔσＡｕ＝Ｊ（ｕ），０＜ｔＴ，ｌｉｍｔ→０＋ｕ（ｔ）＝０，其中ｕ：（０，Ｔ］Ｅ，Ａ是与ｔ无关的线性算子．（－Ａ）是Ｅ上Ｃ０半群｛Ｔ（ｔ）｝ｔ０的无穷小生成元，常数σ１，Ｊ是一个非线性映射ＥＪ→Ｅ．它满足局部Ｌｉｐｓｃｈｉｔｚ条件．我们证明了当其Ｌｉｐｓｃｈｉｔｚ常数ｌ（ｒ）满足一定条件时．问题（Ｓ）有局部解，且在某函类中解唯一．设Ｊ（ｕ）＝｜ｕ｜γ－１ｕ＋ｆ（ｘ）（γ＞１），Ｅ＝Ｌｐ，ＥＪ＝Ｌｐγ时得到了与Ｗｅｉｓｌｅｒ［２］在非奇异情形类似的结果．     

Intersections of nest algebras in finite dimensions

If are maximal nests on a finite-dimensional Hilbert space H, the dimension of the intersection of the corresponding nest algebras is at least dim H. On the other hand, there are three maximal nests whose nest algebras intersect in the scalar operators. The dimension of the intersection of two nest algebras (corresponding to maximal nests) can be of any integer value from n to n(n+1)/2, where n=dim H. For any two maximal nests there exists a basis {f₁,f₂,…,f_n} of H and a permutation π such that and where M_i=  span{f₁,f₂,…,f_i} and N_i= span{f_π(1),f_π(2),…,f_π(i)}. The intersection of the corresponding nest algebras has minimum dimension, namely dim H, precisely when π(j)=n−j+1,1jn. Those algebras which are upper-triangular matrix incidence algebras, relative to some basis, can be characterised as intersections of certain nest algebras.     

主范式的运算性质

研究了极大项、极小项的运算性质 ,利用这些性质给出了求 A,A∨ B,A∧ B,A→ B,A B的主范式的公式 ,由此可用程序化的方法求任意公式的主范式 .     

Levi and Malcev Theorems for Finite-Dimensional Algebras from the Variety Defined by the Identities x2 =J(x,y, zu) =0

We study the variety of binary Lie algebras defined by the identities x2 =J(x,y,zu) =0,where J(a,b,c) denotes the Jacobian of a,b,c.Building on previous work by Carrillo,Rasskazova,Sabinina and Grishkov,in the present article it is shown that the Levi and Malcev theorems hold for this variety of algebras.