In the category of Hom-Leibniz algebras we introduce the notion of Hom-corepresentation as adequate coefficients to construct the chain complex from which we compute the Leibniz homology of Hom-Leibniz algebras. We study universal central extensions of Hom-Leibniz algebras and generalize some classical results, nevertheless it is necessary to introduce new notions of α-central extension, univer...

In the framework of fuzzy algebras with fuzzy equalities and acomplete lattice as a structure of membership values, we investigate fuzzyequational classes. They consist of special fuzzy algebras fullling the samefuzzy identities, dened with respect to fuzzy equalities. We introduce basicnotions and the corresponding operators of universal algebra: construction offuzzy subalgebras, homomorphisms...

we consider properties of residuated lattices with universal quantifier and show that, for a residuated lattice $x$, $(x, forall)$ is a residuated lattice with a quantifier if and only if there is an $m$-relatively complete substructure of $x$. we also show that, for a strong residuated lattice $x$, $bigcap {p_{lambda} ,|,p_{lambda} {rm is an} m{rm -filter} } = {1}$ and hence that any strong re...

The notion of a non-associative universal enveloping algebra for a Lie triple system arises when Lie triple systems are considered as Bol algebras (more generally, Sabinin algebras). In this paper a new construction for these universal enveloping algebras is given, and their properties are studied. It is shown that universal enveloping algebras of Lie triple systems have surprisingly few ideals...

This paper attempts to generalize universal algebras on classical sets to $L$-sets when $L$ is a GL-quantale. Some basic notions of fuzzy universal algebra on an $L$-set are introduced, such as subalgebra, quotient algebra, homomorphism, congruence, and direct product etc. The properties of them are studied. $L$-valued power algebra is also introduced and it is shown there is an onto homomorphi...

We consider properties of residuated lattices with universal quantifier and show that, for a residuated lattice $X$, $(X, forall)$ is a residuated lattice with a quantifier if and only if there is an $m$-relatively complete substructure of $X$. We also show that, for a strong residuated lattice $X$, $bigcap {P_{lambda} ,|,P_{lambda} {rm is an} m{rm -filter} } = {1}$ and hence that any strong re...

A proof of Poincaré-Birkhoff-Witt theorem is given for a class of generalized Lie algebras closely related to the Gurevich S-Lie algebras. As concrete examples, we construct the positive (negative) parts of the quantized universal enveloping algebras of type An and Mp,q,ǫ(n, K), which is a nonstandard quantum deformation of GL(n). In particular, we get, for both algebras, a unified proof of the...

Last years a number of papers were devoted to describing automorphisms of semigroups of endomorphisms of free finitely generated universal algebras of some varieties: groups, semigroups, associative commutative algebras, inverse semigroups, modules, Lie algebras and some others (see references). All these researches were inspired by the questions prof. B. Plotkin set in connection with so calle...

Some new algebraic structures related to the coloured Yang-Baxter equation, and termed coloured Hopf algebras, are reviewed. Coloured quantum universal enveloping algebras of Lie algebras are defined in this context. An extension to the coloured graded Yang-Baxter equation and coloured Hopf superalgebras is also presented. The coloured two-parameter quantum universal enveloping algebra of gl(1/...