BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Parastrophes (conjugates) of a quasigroup can be divided into separate classes containing isotopic parastrophes. We prove that the number of such classes is always 1, 2, 3 or 6. Next we characterize quasigroups having a fixed number of such classes.
A completely inverse AG∗∗-groupoid is a groupoid satisfying the identities (xy)z=(zy)x, x(yz)=y(xz) and xx−1=x−1x, where x−1 is a unique inverse of x, that is, x=(xx−1)x and x−1=(x−1x)x−1. First we study some fundamental properties of such groupoids. Then we determine certain fundamental congruences on a completely inverse AG∗∗-groupoid; namely: the maximum idempotent-separating congruence, the least AG-group congruence and the least E-unitary congruence. Finally, we investigate the complete lattice of congruences of a completely inverse AG∗∗-groupoids. In particular, we describe congruences on completely inverse AG∗∗-groupoids by their kernel and trace.
By a completely inverse AG∗∗-groupoid we mean an inverse AG∗∗-groupoid A satisfying the identity xx−1=x−1x, where x−1 denotes a unique element of A such that x=(xx−1)x and x−1=(x−1x)x−1. We show that the set of all idempotents of such groupoid forms a semilattice and the Green's relations H,L,R,D and J coincide on A. The main result of this note says that any completely inverse AG∗∗-groupoid meets the famous Lallement's Lemma for regular semigroups. Finally, we show that the Green's relation H is both the least semilattice congruence and the maximum idempotent-separating congruence on any completely inverse AG∗∗-groupoid.
We discuss some types of congruences on Menger algebras of rank n, which are generalizations of the principal left and right congruences on semigroups. We also study congruences admitting various types of cancellations and describe their relationship with strong subsets.
D-loops are loops with the antiautomorphic inverse property. The class of such loops is larger than the class of IP-loops. The smallest D-loops which is not an IP-loop has six elements. We prove several basic properties of such loops and present methods of constructions of D-loops from IP-loops. Unfortunately, a loop isotopic to a D-loop may not be a D-loop.
We characterize intra-regular Abel-Grassmann's groupoids by the properties of their ideals and (∈,∈!∨qk)-fuzzy ideals of various types.
Algebraic properties of n-place opening operations on a fixed set are described. Conditions under which a Menger algebra of rank n can be represented by n-place opening operations are found.
We define the Cartesian product, composition, union and join on interval-valued fuzzy graphs and investigate some of their properties. We also introduce the notion of interval-valued fuzzy complete graphs and present some properties of self complementary and self weak complementary interval-valued fuzzy complete graphs.
It is a survey of the main results on abstract characterizations of algebras of n-place functions obtained in the last 40 years. A special attention is paid to those algebras of n-place functions which are strongly connected with groups and semigroups, and to algebras of functions closed with respect natural relations defined on their domains.
We describe weak BCC-algebras (also called BZ-algebras) in which the condition (xy)z=(xz)y is satisfied only in the case when elements x,y belong to the same branch. We also characterize branchwise commutative and branchwise implicative weak BCC-algebras satisfying this condition. We also describe connections between various types of implicative weak BCC-algebras.
We characterize weak BCC-algebras in which the identity (xy)z=(xz)y is satisfied only in the case when elements x,y belong to the same branch.
We consider two relations on a ∩-semigroup of partial functions of a given set: the inclusion of domains and the semiadjacencity (i.e., the inclusion of the image of the first function into the domain of the second), which characterized with an abstract point of view using the elementary system of axioms, i.e., system conditions, recorded in the language narrow predicate calculus with equality.
In this article, we introduce the notion of representations of polyadic groups and we investigate the connection between these representations and those of retract groups and covering groups.
Abstract characterizations of Menger algebras of partial n-place functions defined on a set A and closed under the set-theoretic difference functions treatment as subsets of the Cartesian product An+1 are given.
We prove that any quasigroup admissing complete or quasicomplete mapping has a prolongation to a quasigroup having one element more.
The notion of an n-ary group is a natural generalization of the notion of a group and has many applications in different branches. In this paper, the notion of (normal) fuzzy n-ary subgroup of an n-ary group is introduced and some related properties are investigated. Characterizations of fuzzy n-ary subgroups are given.
Characteristic, normal and completely normal intuitionistic fuzzy left h-ideals of hemirings are described.
A mistake concerning the ultra \textit{LI}-ideal of a lattice implication algebra is pointed out, and some new sufficient and necessary conditions for an \textit{LI}-ideal to be an ultra \textit{LI}-ideal are given. Moreover, the notion of an \textit{LI}-ideal is extended to MTL-algebras, the notions of a (prime, ultra, obstinate, Boolean) \textit{LI}-ideal and an \textit{ILI}-ideal of an MTL-algebra are introduced, some important examples are given, and the following notions are proved to be equivalent in MTL-algebra: (1) prime proper \textit{LI}-ideal and Boolean \textit{LI}-ideal, (2) prime proper \textit{LI}-ideal and \textit{ILI}-ideal, (3) proper obstinate \textit{LI}-ideal, (4) ultra \textit{LI}-ideal.
We describe the representations of (2,n)-semigroups, i.e. groupoids with n binary associative operations, by partial n-place functions and prove that any such representation is a union of some family of representations induced by Schein's determining pairs.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.