Menger systems of idempotent cyclic and weak near-unanimity multiplace functions

Multiplace functions, which are also called functions of many variables, and their algebras called Menger algebras have been studied in various fields of mathematics. Based on the theory of many-sorted algebras, the primary aim of this paper is to present the ideas of Menger systems and Menger systems of full multiplace functions which are natural generalizations of Menger algebras and Menger algebras of [Formula: see text]-ary operations, respectively. Two specific types of [Formula: see text]-ary operations, which are called idempotent cyclic and weak near-unanimity generated by cyclic and weak near-unanimity terms, are provided. The Menger algebras under consideration have a two-element universe, the elements of which are two specific [Formula: see text]-ary operations. Additionally, we provide necessary and sufficient conditions in which the abstract Menger algebra and the Menger algebras of these two [Formula: see text]-ary operations are isomorphic. An abstract characterization of unitary Menger systems via systems of idempotent cyclic and weak near-unanimity multiplace functions is generally investigated. A strong connection between clone of terms and Menger systems of full multiplace functions is also investigated.

Semigroups of Terms, Tree Languages, Menger Algebra of n-Ary Functions and Their Embedding Theorems

The concepts of terms and tree languages are significant tools for the development of research works in both universal algebra and theoretical computer science. In this paper, we establish a strong connection between semigroups of terms and tree languages, which provides the tools for studying monomorphisms between terms and generalized hypersubstitutions. A novel concept of a seminearring of non-deterministic generalized hypersubstitutions is introduced and some interesting properties among subsets of its are provided. Furthermore, we prove that there are monomorphisms from the power diagonal semigroup of tree languages and the monoid of generalized hypersubstitutions to the power diagonal semigroup of non-deterministic generalized hypersubstitutions and the monoid of non-deterministic generalized hypersubstitutions, respectively. Finally, the representation of terms using the theory of n-ary functions is defined. We then present the Cayley’s theorem for Menger algebra of terms, which allows us to provide a concrete example via full transformation semigroups.

Ternary Menger Algebras: A Generalization of Ternary Semigroups

Let n be a fixed natural number. Menger algebras of rank n, which was introduced by Menger, K., can be regarded as the suitable generalization of arbitrary semigroups. Based on this knowledge, an interesting question arises: what a generalization of ternary semigroups is. In this article, we first introduce the notion of ternary Menger algebras of rank n, which is a canonical generalization of arbitrary ternary semigroups, and discuss their related properties. In the second part, we establish the so-called a diagonal ternary semigroup which its operation is induced by the operation on ternary Menger algebras of rank n and then investigate their interesting properties. Moreover, we introduce the concept of homomorphism and congruences on ternary Menger algebras of rank n. These lead us to study the quotient ternary Menger algebras of rank n and to investigate the homomorphism theorem for ternary Menger algebra of rank n with respect to congruences. Furthermore, the characterization of reduction of ternary Menger algebra into Menger algebra is presented.

Partial Menger algebras of terms

The superposition operation [Formula: see text] [Formula: see text] [Formula: see text], maps to each [Formula: see text]-tuple of [Formula: see text]-ary operations on a set [Formula: see text] an [Formula: see text]-ary operation on [Formula: see text] and satisfies the so-called superassociative law, a generalization of the associative law. The corresponding algebraic structures are Menger algebras of rank [Formula: see text]. A partial algebra of type [Formula: see text] which satisfies the superassociative law as weak identity is said to be a partial Menger algebra of rank [Formula: see text]. As a generalization of linear terms we define [Formula: see text]-terms as terms where each variable occurs at most [Formula: see text]-times. It will be proved that [Formula: see text]-ary [Formula: see text]-terms form partial Menger algebras of rank [Formula: see text]. In this paper, some algebraic properties of partial Menger algebras such as generating systems, homomorphic images and freeness are investigated. As generalization of hypersubstitutions and linear hypersubstitutions we consider [Formula: see text]-hypersubstitutions.

Unitary Menger algebra of C-quantifier free formulas of type (τn,(2))

Using an [Formula: see text]-ary superposition operation [Formula: see text] on the set [Formula: see text] of all [Formula: see text]-ary term of [Formula: see text], one obtains a unitary Menger algebra [Formula: see text] of rank [Formula: see text]. In this paper, we define the set [Formula: see text] of all [Formula: see text]-ary C-quantifier free formulas of type [Formula: see text] on the set [Formula: see text] and define the operation [Formula: see text] on the set [Formula: see text]. After this definition, we have a unitary Mengar algebra [Formula: see text].

Menger algebras of k-commutative n-place functions

We prove that the set of all k-commutative n-place functions defined on a fixed set forms a Menger algebra, and characterize such algebras by their densely embedded ideals. We also describe all automorphisms of such algebras.

Menger algebras of idempotent n-ary operations

It is proved that the set of all idempotent operations defined on a given set forms a Menger algebra which can be characterized by its densely embedded v-ideal. We also describe automorphisms of this algebra.