Weak Tensor Category and Related Generalized Hopf Algebras

There are at least two kinds of generalization of Hopf algebra, i.e. pre-Hopf algebra and weak Hopf algebra. Correspondingly, we have two kinds of generalized bialgebras, almost bialgebra and weak bialgebra. Let L = （L, ×, I, a, l, r） be a tensor category. By giving up I, l, r and keeping ×, a in L, the first author got so-called pre-tensor category L = （L, ×, a） and used it to characterize almost bialgebra and pre-Hopf algebra in Comm. in Algebra, 32（2）： 397-441 （2004）. Our aim in this paper is to generalize tensor category L = （L, ×, I, a, l, r） by weakening the natural isomorphisms l, r, i.e. exchanging the natural isomorphism ll^-1 = rr^-1 = id into regular natural transformations lll= l, rrr = r with some other conditions and get so-called weak tensor category so as to characterize weak bialgebra and weak Hopf algebra. The relations between these generalized （bialgebras） Hopf algebras and two kinds generalized tensor categories will be described by using of diagrams. Moreover, some related concepts and properties about weak tensor category will be discussed.     

Leibniz Algebras with Invariant Bilinear Forms and Related Lie Algebras

In ([11 Benayadi, S., Hidri, S. (2014). Quadratic Leibniz algebras. Journal of Lie Theory 24:737–759.[Web of Science ®] , [Google Scholar]]), we have studied quadratic Leibniz algebras that are Leibniz algebras endowed with symmetric, nondegenerate, and associative (or invariant) bilinear forms. The nonanticommutativity of the Leibniz product gives rise to other types of invariance for a bilinear form defined on a Leibniz algebra: the left invariance, the right invariance. In this article, we study the structure of Leibniz algebras endowed with nondegenerate, symmetric, and left (resp. right) invariant bilinear forms. In particular, the existence of such a bilinear form on a Leibniz algebra 𝔏 gives rise to a new algebra structure ☆ on the underlying vector space 𝔏. In this article, we study this new algebra, and we give information on the structure of this type of algebras by using some extensions introduced in [11 Benayadi, S., Hidri, S. (2014). Quadratic Leibniz algebras. Journal of Lie Theory 24:737–759.[Web of Science ®] , [Google Scholar]]. In particular, we improve the results obtained in [22 Lin, J., Chen, Z. (2010). Leibniz algebras with pseudo-Riemannian bilinear forms. Front. Math. China 5(1):103–115.[Crossref], [Web of Science ®] , [Google Scholar]].     

Kleene代数及相关半模结构

Kleene代数在理论计算机科学中具有基础而特殊的重要性,Kleene模、布尔模和动态代数等与Kleene代数密切相关的半模结构在程序的语义逻辑及推理中发挥着十分重要的作用.将半环和半模等代数系统作为基本构架,研究了理论计算机科学中的Kleene代数、Kleene模和归纳~*-半环等重要概念,并将这些对象统一为序~*-半环上称为归纳半模的代数结构.进一步,提出并讨论了弱归纳半模、伪归纳半模以及伪弱归纳半模等相关概念.     

Forcing axioms via ground model interpretations

We study principles of the form: if a name σ is forced to have a certain property φ, then there is a ground model filter g such that ${\sigma }^g$ satisfies φ. We prove a general correspondence connecting these name principles to forcing axioms. Special cases of the main theorem are:

• •Any forcing axiom can be expressed as a name principle. For instance, $\mathsf{PFA}$ is equivalent to:

  • A principle for rank 1 names (equivalently, nice names) for subsets of ${\omega }_1$.

  • A principle for rank 2 names for sets of reals.
• •λ-bounded forcing axioms are equivalent to name principles. Bagaria's characterisation of $\mathsf{BFA}$ via generic absoluteness is a corollary.

We further systematically study name principles where φ is a notion of largeness for subsets of ${\omega }_1$ (such as being unbounded, stationary or in the club filter) and corresponding forcing axioms.     

Some Properties On Isoclinism in n-Lie Algebras

The concept of n-Lie algebra were introduced by Filippov in 1987. One notes that not all properties of Lie algebras can be carried over to n-Lie algebras, as Williams showed in 2009. In the present article, among other results it is shown that the notions of isoclinism and isomorphism for two finite dimensional n-Lie algebras of the same dimension are equivalent. This was already done for ordinary Lie algebras by Moneyhun in 1994.     

分担集合的亚纯函数的正规性*

本文研究了亚纯函数及其 k 阶导数分担两个不同集合的亚纯函数族的正规性问题.证明了如下结论: 设 F 是平面区域 D上的亚纯函数族, 其中函数的零点重数至少为 k+1. 设S₁, S₂是两个集合,且|S₁|=m, |S₂|=n, S₂ ≠ 0, 这里m, n是正整数. 如果任意f(z) ∈ F,满足f(z) ∈ S₁?f^(k)(z) ∈ S₂, z ∈ D, 则 F 在区域 D 上正规.本文的研究结果是对刘晓俊和庞学诚[刘晓俊, 庞学诚. 分担值与正规族 [J].数学学报(中文版),2007, 50(2):409--412] 2007年研究结果的改进.     

Structure Theorems for Bicomodule Algebras Over Quasi-Hopf Algebras,Weak Hopf Algebras,and Braided Hopf Algebras

Let H be a quasi-Hopf algebra, a weak Hopf algebra, or a braided Hopf algebra. Let B be an H-bicomodule algebra such that there exists a morphism of H-bicomodule algebras v: H → B. Then we can define an object B^co(H), which is a left-left Yetter–Drinfeld module over H, having extra properties that allow to make a smash product B^co(H)#H, which is an H-bicomodule algebra, isomorphic to B.     

交换子空间格代数的自同构与插值性质

本文第一部分用ＣＳＬ序区间投影集上的偏序给出ＣＳＬ代数自同构为拟空间实现的一个充分条件,作为推论,证明了代数自同构是拟空间实现的．第二部分,给出ＣＳＬ的序积与序和格代数的紧及有限插值性质,由此可得出一些非完全分配ＣＳＬ代数的插值性质。     

QF代数的Hopf代数作用

Ｈ是 Ｈｏｐｆ代数，Ａ是左 Ｈ－模代数，本文给出了当 Ａ是 ＱＦ代数时，ＡＨ也是 ＱＦ代数的一个条件．     

Degenerations of Jordan Algebras and"Marginal"Algebras

We describe all degenerations of the variety(3)ot?3 of Jordan algebras of di-mension three over C.In particular,we describe all irreducible components in(3)ot?3.For every n we define an n-dimensional rigid"marginal"Jordan algebra of level one.Moreover,we discuss marginal algebras in associative,alternative,left alternative,non-commutative Jordan,Leibniz and anticommutative cases.     

关于格上蕴涵代数及其对偶代数

给出了格蕴涵代数、MV代数、R₀代数等一些格上蕴涵代数之间的关系,并建立了它们的对偶代数.其结果描述了这些代数内部结构的特征,同时也为从语义的角度进一步研究格值逻辑系统提供了一个新的途径.     

广义路代数与点Hopf代数

Most of pointed Hopf algebras of dimension p^m with large coradtical are shown to be generalized path algebras. By the theory of generalized path algebras, the representations, homological dimensions and radicals of these Hopf algebras are obtained. The relations between the radicals of path algebras and connectivity of directed graphs are given.     

Forcing Linearity Numbers for Multiplication Modules

In this article, we prove that for any multiplication module M, the forcing linearity number of M, fln(M), belongs to {0,1,2}, and if M is finitely generated whose annihilator is contained in only finitely many maximal ideals, then fln(M) = 0. Also, the forcing linearity numbers of multiplication modules over some special rings are given. We also show that every multiplication module is semi-endomorphal.     

格蕴涵代数与BCK代数的关系

本文给出了有界可换的ＢＣＫ代数的分配性的一些等价条件，指出了格蕴涵代数与有界可换分配的ＢＣＫ代数以及格Ｈ蕴涵代数与有界关联的ＢＣＫ代数之间的对偶关系     

Weyl型代数的环论性质

设A是代数闭域k上有单位元1的交换结合代数，D是A的交换κ-导子组成的非零k-向量空间，苏育才与赵开明引进Weyl型代数A[D]并且证明了结合代数A[D]是单代数当且仅当A是D-单的且k1[D]在A上的作用为忠实的,通过证明A[D]与smash product A#U(D)同构，我们给出了这一结果的一个纯环论的证明，同时给出了A[D]的一个Ore扩张实现。     

Bose-Mesner Algebras Related to Type II Matrices and Spin Models

A type II matrix is a square matrixW with non-zero complex entries such that the entrywise quotient of any two distinct rows of W sums to zero. Hadamard matrices and character tables of abelian groups are easy examples, and other examples called spin models and satisfying an additional condition can be used as basic data to construct invariants of links in 3-space. Our main result is the construction, for every type II matrix W, of a Bose-Mesner algebra N(W) , which is a commutative algebra of matrices containing the identity I, the all-one matrix J, closed under transposition and under Hadamard (i.e., entrywise) product. Moreover, ifW is a spin model, it belongs to N(W). The transposition of matrices W corresponds to a classical notion of duality for the corresponding Bose-Mesner algebrasN(W) . Every Bose-Mesner algebra encodes a highly regular combinatorial structure called an association scheme, and we give an explicit construction of this structure. This allows us to compute N(W) for a number of examples.     

二宽度CSL代数与套代数的因子分解

In this paper, we show that the invertible operator T, which is a bounded linear functional on a separable Hilbert space H, could factor as T=US, where U is unitary and 5 belongs to width-two CSL algebra alg(?)((?)= M∨N) when nest M or N is a countable nest, or S belongs to alg(?)-1 when nests M and N are countable nests. For the factorization of nest,we obtain that T factors as T=US where S∈DN-1 and U is unitary as N be a countable nest.     

标度广义效应代数和标度效应代数的结构

研究了标度广义效应代数与标度效应代数的代数结构,给出了比较完整的结果.通过引入全标度广义代数的概念,本文证明了区间[0,1)上的标度广义效应代数和单位区间[0,1]上的标度效应代数完全由单位区间上的阿基米德余模确定,标度广义效应代数恰同构于全标度广义代数的下集.若标度广义代数满足局部有限条件,则它同构于实数加法群的子群代数.满足(S)条件的标度效应代数同构于实数加法群的子群代数和全标度广义代数的字典序乘积的子代数.     

Temporal Algebras,Pretemporal Algebras,and Modal Algebras: A Relation between Time and Necessity

In this paper the structure of pretemporal algebra is used to study some aspects of temporal algebras and modal algebras. The paper contains a computational approach to finite temporal algebras and a general splitting theorem for finite temporal algebras.