16 research outputs found
Subtraction Menger algebras
Abstract characterizations of Menger algebras of partial -place functions
defined on a set and closed under the set-theoretic difference functions
treatment as subsets of the Cartesian product are given
The relation of semiadjacency of -semigroups of transformations
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
Representations of -semigroups by multiplace functions
We describe the representations of -semigroups, i.e. groupoids with
binary associative operations, by partial -place functions and prove
that any such representation is a union of some family of representations
induced by Schein's determining pairs.Comment: 17 page
Menger algebras of -place opening operations
Algebraic properties of -place opening operations on a fixed set are
described. Conditions under which a Menger algebra of rank can be
represented by -place opening operations are found