A Morita Context and Galois Extensions for Quasi-Hopf Algebras

If H is a finite dimensional quasi-Hopf algebra and A is a left H-module algebra, we show that there is a Morita context connecting the smash product A#H and the subalgebra of invariants A ^H . We define also Galois extensions and prove the connection with this Morita context, as in the Hopf case.     

Cohomology of Oriented Tree Diagram Lie Algebras

Xu introduced a family of root-tree-diagram nilpotent Lie algebras of differential operators, in connection with evolution partial differential equations. We generalized his notion to more general oriented tree diagrams. These algebras are natural analogues of the maximal nilpotent Lie subalgebras of finite-dimensional simple Lie algebras. In this article, we use Hodge Laplacian to study the cohomology of these Lie algebras. The “total rank conjecture” and “b ₂-conjecture” for the algebras are proved. Moreover, we find the generating functions of the Betti numbers by means of Young tableaux for the Lie algebras associated with certain tree diagrams of single branch point. By these functions and Euler–Poincaré principle, we obtain analogues of the denominator identity for finite-dimensional simple Lie algebras. The result is a natural generalization of the Bott's classical result in the case of special linear Lie algebras.     

Constructing Quasitriangular Multiplier Hopf Algebras By Twisted Tensor Coproducts

Let A and B be multiplier Hopf algebras, and let R ∈ M(B ? A) be an anti-copairing multiplier, i.e, the inverse of R is a skew-copairing multiplier in the sense of Delvaux [5 Delvaux , L. ( 2004 ). Twisted tensor coproduct of multiplier Hopf (*)-algebras . J. Algebra 274 : 751 – 771 . [Google Scholar]]. Then one can construct a twisted tensor coproduct multiplier Hopf algebra A ? _R  B. Using this, we establish the correspondence between the existence of quasitriangular structures in A ? _R  B and the existence of such structures in the factors A and B. We illustrate our theory with a profusion of examples which cannot be obtained by using classical Hopf algebras. Also, we study the class of minimal quasitriangular multiplier Hopf algebras and show that every minimal quasitriangular Hopf algebra is a quotient of a Drinfel’d double for some algebraic quantum group.     

The Division Relation: Congruence Conditions and Axiomatisability

We examine a universal algebraic abstraction of the semigroup theoretic concept of “divides:” a divides b in an algebra A if for some n ∈ ω, there is a term t(x, y ₁,…, y _n ) involving all of the listed variables, and elements c ₁,…, c _n such that t ^A (a, c ₁,…, c _n ) = b. The first order definability of this relation is shown to be a very broad generalisation of some familiar congruence properties, such as definability of principal congruences. The algorithmic problem of deciding when a finitely generated variety has this relation definable is shown to be equivalent to an open problem concerning flat algebras. We also use the relation as a framework for establishing some results concerning the finite axiomatisability of finitely generated varieties.     

Singular Solutions to the Quantum Yang–Baxter Equations

Let X and A be weak Hopf algebras in the sense of Li (1998 Li , F. ( 1998 ). Weak Hopf algebras and some new solutions of the quantum Yang–Baxter equation . J. Algebra 208 ( 1 ): 72 – 100 .[Crossref], [Web of Science ®] , [Google Scholar]). As in the case of Hopf algebras (Majid, 1990 Majid , S. ( 1990 ). Quasitriangular Hopf algebras and Yang–Baxter equations . Internat. J. Modern Phys. A 5 : 1 – 91 . [Google Scholar]), a weak bicrossed coproduct X∞ _R A is constructed by means of good regular R-matrices of the weak Hopf algebras X and A. Using this, we provide a new framework of obtaining singular solutions of the quantum Yang–Baxter equation by constructing weak quasitriangular structures over X∞ _R A when both X and A admit a weak quasitriangular structure. Finally, two explicit examples are given.     

Galois Extensions for Coquasi-Hopf Algebras

In this article, we consider categories of all semimodules over semirings which are p-Schreier varieties, i.e., varieties whose projective algebras are all free. Among other results, we show that over a division semiring R all semimodules are projective iff R is a division ring, prove that categories of all semimodules over proper additively π-regular semirings are not p-Schreier varieties (in particular, this result solves Problem 1 of Katsov [8 Katsov , Y. ( 2004 ). Toward homological characterization of semirings: Serre's conjecture and Bass's perfectness in a semiring context . Algebra Universalis 52 : 197 – 214 .[Crossref], [Web of Science ®] , [Google Scholar]]), as well as prove that categories of all semimodules over cancellative division semirings are, in contrast, p-Schreier varieties.     

Bitwistor and Quasitriangular Structures of Bialgebras

In this article, we first introduce the notion of a bitwistor and discuss conditions under which such bitwistor forms a bialgebra as a generalization of the well-known Radford's biproduct. Then, in order to obtain new quasitriangular bialgebras, we consider a construction called twisted tensor biproduct, which is a special case of bitwistor bialgebra, and give a necessary and sufficient condition for such twisted tensor biproduct to admit quasitriangular structures.