Showing 1–11 of 11 results for author: Trokhimenko, V S

Congruences on Menger algebras

Authors: Wieslaw A. Dudek, Valentin S. Trokhimenko

Abstract: 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. 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. △ Less

Submitted 25 May, 2013; originally announced May 2013.

Journal ref: Communications in Algebra 42 (2014), 3407-3426

Menger algebras of $n$-place opening operations

Authors: Wieslaw A. Dudek, Valentin S. Trokhimenko

Abstract: 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. 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. △ Less

Submitted 24 May, 2013; v1 submitted 29 April, 2012; originally announced May 2012.

MSC Class: 20M20; 20N15

Journal ref: Algebra Universalis 70 (2013), 137-147

Menger algebras of $n$-place functions

Authors: Wieslaw A. Dudek, Valentin S. Trokhimenko

Abstract: 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. 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. △ Less

Submitted 29 April, 2012; originally announced May 2012.

MSC Class: 20M20; 20N15

Journal ref: Proc. Intern. Confer. Algebra 2010, Advances in Algebraic Structures, World Sci. Pub. Co., 198-218 (2011)

Subtraction Menger algebras

Authors: Wieslaw A. Dudek, Valentin S. Trokhimenko

Abstract: 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 $A^{n+1}$ are given. 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 $A^{n+1}$ are given. △ Less

Submitted 4 July, 2010; originally announced July 2010.

MSC Class: 20N15

Journal ref: Semigroup Forum 85 (2012), 111-128

The relation of semiadjacency in transformative $\cap\,$-semigroups

Authors: W. A. Dudek, V. S. Trokhimenko

Abstract: We consider semigroups of transformations (partial mappings defined on a set $A$) closed under the set-theoretic intersection of mappings treated as subsets of $A\times A$. On such semigroups we define two relations: the relation of semicompatibility which identifies two transformations at the intersection of their domains and the relation of semiadjacency when the image of one transformation is c… ▽ More We consider semigroups of transformations (partial mappings defined on a set $A$) closed under the set-theoretic intersection of mappings treated as subsets of $A\times A$. On such semigroups we define two relations: the relation of semicompatibility which identifies two transformations at the intersection of their domains and the relation of semiadjacency when the image of one transformation is contained in the domain of the second. Abstract characterizations of such semigroups are presented. △ Less

Submitted 24 May, 2013; v1 submitted 23 March, 2010; originally announced March 2010.

Comments: Semigroup Forum 2013

MSC Class: 20N15; 08A02

The relation of semiadjacency of $\cap$-semigroups of transformations

Authors: Wieslaw A. Dudek, Valentin s. Trokhimenko

Abstract: We consider two relations on a $\cap$-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 equalit… ▽ More We consider two relations on a $\cap$-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. △ Less

Submitted 29 April, 2012; v1 submitted 27 March, 2009; originally announced March 2009.

MSC Class: 20N15

Journal ref: Semigroup Forum 82 (2011), 109-120

Stationary subsets of functional Menger $\cap$-algebras of multiplace functions

Authors: Wieslaw A. Dudek, Valentin S. Trokhimenko

Abstract: A functional Menger $\cap$-algebra is a set of n-place functions containing n projections and closed under the so-called Menger's compositions of n-place functions and the set-theoretic intersection of functions. We give the abstract characterization for these subsets of functional Menger $\cap$-algebras which contain functions with fixed points. A functional Menger $\cap$-algebra is a set of n-place functions containing n projections and closed under the so-called Menger's compositions of n-place functions and the set-theoretic intersection of functions. We give the abstract characterization for these subsets of functional Menger $\cap$-algebras which contain functions with fixed points. △ Less

Submitted 3 February, 2007; originally announced February 2007.

Comments: 10 pages

MSC Class: 20N15; 08N05

Journal ref: Algebra Colloquium 17 (2010), 65-73

Stabilizers of functional Menger systems

Authors: Wieslaw A. Dudek, Valentin S. Trokhimenko

Abstract: A functional Menger system is a set of $n$-place functions containing $n$ projections and closed under the so-called Menger's composition of $n$-place functions. We give the abstract characterization for subsets of these functional systems which contain functions having one common fixed point. A functional Menger system is a set of $n$-place functions containing $n$ projections and closed under the so-called Menger's composition of $n$-place functions. We give the abstract characterization for subsets of these functional systems which contain functions having one common fixed point. △ Less

Submitted 12 January, 2007; originally announced January 2007.

Comments: 16 pages

MSC Class: 20N15; 08N05

Journal ref: Communications in Algebra 37 (2009), 985-1000

Representations of Menger $(2,n)$-semigroups by multiplace functions

Authors: Wieslaw A. Dudek, Valentin S. Trokhimenko

Abstract: Investigation of partial multiplace functions by algebraic methods plays an important role in modern mathematics were we consider various operations on sets of functions, which are naturally defined. The basic operation for $n$-place functions is an $(n+1)$-ary superposition $[ ]$, but there are some other naturally defined operations, which are also worth of consideration. In this paper we cons… ▽ More Investigation of partial multiplace functions by algebraic methods plays an important role in modern mathematics were we consider various operations on sets of functions, which are naturally defined. The basic operation for $n$-place functions is an $(n+1)$-ary superposition $[ ]$, but there are some other naturally defined operations, which are also worth of consideration. In this paper we consider binary Mann's compositions $\op{1},...,\op{n}$ for partial $n$-place functions, which have many important applications for the study of binary and $n$-ary operations. We present methods of representations of such algebras by $n$-place functions and find an abstract characterization of the set of $n$-place functions closed with respect to the set-theoretic inclusion. △ Less

Submitted 27 November, 2005; originally announced November 2005.

MSC Class: 20N15; 08N05

Journal ref: Comunications in Algebra 34 (2006), 259-274

Projection representable relations on Menger $(2,n)$-semigroups

Authors: Wiesław A. Dudek, Valentin S. Trokhimenko

Abstract: In this paper relations of non-empty intersection, inclusion end equality of domains of functions for $(2,n)$-semigroups of partial $n$-place functions are investigated. In this paper relations of non-empty intersection, inclusion end equality of domains of functions for $(2,n)$-semigroups of partial $n$-place functions are investigated. △ Less

Submitted 10 April, 2005; originally announced April 2005.

Comments: 24 pages

MSC Class: 20N15; 08N05

Journal ref: Czechoslovak Math J 58(133) (2008), 1015-1037

Representations of $(2,n)$-semigroups by multiplace functions

Authors: Wieslaw A. Dudek, Valentin S. Trokhimenko

Abstract: 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. 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. △ Less

Submitted 6 March, 2005; originally announced March 2005.

Comments: 17 pages

MSC Class: 20N15; 08N05

Journal ref: Studia Sci. Math. Hungarica 44 (2007), 131-146