On corepresentations of multiplier Hopf algebras

We present a general construction producing a unitary corepresentation of a multiplier Hopf algebra in itself and study RR-corepresentations of twisted tensor coproduct multiplier Hopf algebra. Then we investigate some properties of functors, integrals and morphisms related to the categories of the crossed modules and covariant modules over multiplier Hopf algebras. By doing so, we can apply our theory to the case of group-cograded multiplier Hopf algebras, in particular, the case of Hopf group-coalgebras.     

$T_{2}(T)$的几乎可裂序列及几乎$\mathcal {D}$-可裂序列

The AR-quiver and derived equivalence are two important subjects in the representation theory of finite dimensional algebras, and for them there are two important research tools-AR-sequences and D-split sequences. So in order to study the representations of triangular matrix algebra T2 (T ) = T0TT where T is a finite dimensional algebra over a field, it is important to determine its AR-sequences and D-split sequences. The aim of this paper is to construct the right(left) almost split morphisms, irreducible morphisms, almost split sequences and D-split sequences of T2 (T) through the corresponding morphisms and sequences of T. Some interesting results are obtained.     

On the toroidal Leibniz algebras

Toroidal Leibniz algebras are the universal central extensions of the iterated loop algebras g×C[t1^±1,...,tv^±1] in the category of Leibniz algebras. In this paper, some properties and representations of toroidal Leibniz algebras are studied. Some general theories of central extensions of Leibniz algebras are also obtained.     

Riemannian Geometry on Hom-ρ-commutative Algebras*

Recently, some concepts such as Hom-algebras, Hom-Lie algebras, Hom-Lie admissible algebras, Hom-coalgebras are studied and some classical properties of algebras and some geometric objects are extended on them. In this paper by recalling the concept of Hom-ρ-commutative algebras, the authurs intend to develop some of the most classical results in Riemannian geometry such as metric, connection, torsion tensor, curvature tensor on it and also they discuss about differential operators and get some ...     

f-Harmonic Morphisms Between Riemannian Manifolds

f-Harmonic maps were first introduced and studied by Lichnerowicz in 1970. In this paper, the author studies a subclass of f-harmonic maps called f-harmonic morphisms which pull back local harmonic functions to local f-harmonic functions. The author proves that a map between Riemannian manifolds is an f-harmonic morphism if and only if it is a horizontally weakly conformal f-harmonic map. This generalizes the well-known characterization for harmonic morphisms. Some properties and many examples as well as some non-existence of f-harmonic morphisms are given. The author also studies the f-harmonicity of conformal immersions.     

Piecewise-Koszul algebras

It is a small step toward the Koszul-type algebras.The piecewise-Koszul algebras are, in general,a new class of quadratic algebras but not the classical Koszul ones,simultaneously they agree with both the classical Koszul and higher Koszul algebras in special cases.We give a criteria theorem for a graded algebra A to be piecewise-Koszul in terms of its Yoneda-Ext algebra E(A),and show an A_∞-structure on E(A).Relations between Koszul algebras and piecewise-Koszul algebras are discussed.In particular,our results are related to the third question of Green-Marcos.     

Weakly algebraic ideal topology of effect algebras

In this paper, we show that every weakly algebraic ideal of an effect algebra E induces a uniform topology(weakly algebraic ideal topology, for short) with which E is a first-countable,zero-dimensional, disconnected, locally compact and completely regular topological space, and the operation ⊕ of effect algebras is continuous with respect to these topologies. In addition, we prove that the operation of effect algebras and the operations ∧ and ∨ of lattice effect algebras are continuous with respect to the weakly algebraic ideal topology generated by a Riesz ideal.     

Fuzzy dot ideals and fuzzy dot H-ideals of BCH-algebras

The notions of fuzzy dot ideals and fuzzy dot H-ideals in BCH-algebras are introduced, several appropriate examples are provided, and their some properties are investigated. The relations among fuzzy ideal, fuzzy H-ideal, fuzzy dot ideal and fuzzy dot H-ideals in BCH- algebras are discussed, several equivalent depictions of fuzzy dot ideal are obtained. How to deal with the homomorphic image and inverse image of fuzzy dot ideals （fuzzy dot H-ideals） are studied. The relations between a fuzzy dot ideal （fuzzy dot H-ideal） in BCH-algebras and a fuzzy dot ideal （fuzzy dot H-ideal） in the product algebra of BCH-algebras are given.     

Central simple Poisson algebras

Poisson algebras are fundamental algebraic structures in physics and sym-plectic geometry. However, the structure theory of Poisson algebras has not been well developed. In this paper, we determine the structure of the central simple Poisson algebras related to locally finite derivations, over an algebraically closed field of characteristic zero. The Lie algebra structures of these Poisson algebras are in general not finitely-graded.     

3-LIE BIALGEBRAS

3-Lie algebras have close relationships with many important fields in mathemat- ics and mathematical physics. This article concerns 3-Lie algebras. The concepts of 3-Lie coalgebras and 3-Lie bialgebras are given. The structures of such categories of algebras and the relationships with 3-Lie algebras are studied. And the classification of 4-dimensional 3-Lie coalgebras and 3-dimensional 3-Lie bialgebras over an algebraically closed field of char- acteristic zero are provided.     

MORPHISMS OF DOUBLE FROBENIUS ALGEBRAS. II

The paper continues the study of morphisms of double Frobenius algebras (which include finite-dimensional Hopf algebras, character algebras, and adjacency algebras of association schemes). Here we consider morphisms satisfying a certain regularity condition.     

A refinement of Stone duality to skew Boolean algebras

We establish two theorems that refine the classical Stone duality between generalized Boolean algebras and locally compact Boolean spaces. In the first theorem, we prove that the category of left-handed skew Boolean algebras whose morphisms are proper skew Boolean algebra homomorphisms is equivalent to the category of étale spaces over locally compact Boolean spaces whose morphisms are étale space cohomomorphisms over continuous proper maps. In the second theorem, we prove that the category of left-handed skew Boolean -algebras whose morphisms are proper skew Boolean -algebra homomorphisms is equivalent to the category of étale spaces with compact clopen equalizers over locally compact Boolean spaces whose morphisms are injective étale space cohomomorphisms over continuous proper maps.     

Morphisms of double frobenius algebras. i

Double Frobenius algebras (or dF-algebras) were recently introduced by the author. The concept includes finite-dimensional Hopf algebras, adjacency algebras of (non-commutative) association schemes, and C-algebras (character algebras). In this paper we define certain kinds of morphisms of dF-algebras and develop their basic theory. The morphisms generalize homomorphisms of Hopf algebras and of C-algebras.     

Injective hulls for ordered algebras

We study the injectivity of ordered algebras with respect to the class of homomorphisms that are order-embeddings and one more class of morphisms. We do this in the category where morphisms need not be homomorphisms, but satisfy a condition which is weaker than operation-preservation. In this setting, the injective objects turn out to be precisely sup-algebras. We also show how to construct injective hulls of ordered algebras satisfying certain conditions.     

Effect Algebras as Presheaves on Finite Boolean Algebras

For an effect algebra A, we examine the category of all morphisms from finite Boolean algebras into A. This category can be described as a category of elements of a presheaf R(A) on the category of finite Boolean algebras. We prove that some properties (being an orthoalgebra, the Riesz decomposition property, being a Boolean algebra) of an effect algebra A can be characterized in terms of some properties of the category of elements of the presheaf R(A). We prove that the tensor product of effect algebras arises as a left Kan extension of the free product of finite Boolean algebras along the inclusion functor. The tensor product of effect algebras can be expressed by means of the Day convolution of presheaves on finite Boolean algebras.     

Algebraic Structure of n-Body Systems

A general method to easily build global and relative operators for any number n of elementary systems if they are defined for 2 is presented. It is based on properties of the morphisms valued in the tensor products of algebras of the kinematics and it allows also the generalization to any n of relations demonstrated for two. The coalgebra structures play a peculiar role in the explicit constructions. Three examples are presented concerning the Galilei, Poincaré and deformed Galilei algebras.     

Decidable (= separable) objects and morphisms in lextensive categories

After investigating all conceivable properties of decidable objects and maps in left exact categories with well-behaved finite sums (‘lextensive categories’), we give a characterization in such categories of decidable morphisms which are (finite) coverings (in an appropriate sense). Finally, we give two applications of this result, to separable algebras and to local homeomorphisms. In both cases it explains categorically the advantage of two well-known notions — strongly separable algebras and local homeomorphisms with path lifting property, respectively.     

Kleisli morphisms and randomized congruences for the Giry monad

Stochastic relations are the Kleisli morphisms for the Giry monad. This paper proposes the study of the associated morphisms and congruences. The relationship between kernels of these morphisms and congruences is studied, and a unique factorization of a morphism through this kernel is shown to exist. This study is based on an investigation into countably generated equivalence relations on the space of all subprobabilities. Operations on these relations are investigated quite closely. This utilizes positive convex structures and indicates cross-connections to Eilenberg-Moore algebras for the Giry monad. Hennessy-Milner logic serves as an illustration for randomized morphisms and congruences.     

Effective Codescent Morphisms in Some Varieties of Universal Algebras

The paper gives a sufficient condition formulated in a syntactical form for all codescent morphisms of a variety of universal algebras satisfying the amalgamation property to be effective. This result is further used in proving that all codescent morphisms of (left/right-)quasigroups, loops, and magmas are effective.