Idempotent elements of WP G(2, 2) ∪ {σ id}
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 binar...
Saved in:
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
2014
|
Online Access: | http://www.scopus.com/inward/record.url?eid=2-s2.0-84856050289&partnerID=40&md5=c83c9550a4d44cdb6d79e55f3516cca5 http://cmuir.cmu.ac.th/handle/6653943832/6411 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Chiang Mai University |
Language: | English |
Summary: | 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). |
---|