Idempotent elements of WP G(2, 2) ∪ {σ id}

Abstract

A generalized hypersubstitution of type τ = (2; 2) is a mapping σ which maps the binary operation symbols f and g to terms σ(f) and σ(g) which does not necessarily preserve arities. Any generalized hypersubstitution σ can be extended to a mapping σ on the set of all terms of type τ = (2; 2). A binary operation on H ypG(2; 2) the set of all generalized hypersubstitutions of type τ = (2; 2) can be defined by using this extension. The set HypG(2; 2) together with the identity hypersubstitution σ id which maps f to f(x 1; x 2) and maps g to g(x 1; x 2) forms a monoid. The concept of an idempotent element plays an important role in many branches of mathematics, for instance, in semigroup theory and semiring theory. In this paper we characterize the idempotent generalized hypersubstitutions of WP G(2, 2) ∪ {σ id} a submonoid of H ypG(2, 2).