Title :
On the Semigroup of Equational Classes of Finite Functions
Author :
Almeida, Jorge ; Couceiro, M. ; Waldhauser, T.
Author_Institution :
Fac. de Cienc., Univ. do Porto, Porto, Portugal
Abstract :
We consider the set of equtional classes of finite functions endowed with the operation of class composition. Thus defined, this set gains a semigroup structure. This paper is a contribution to the understanding of this semigroup. We present several interesting properties of this semigroup. In particular, we show that it constitutes a topological semigroup that is profinite.
Keywords :
functions; group theory; class composition operation; equational class set; finite functions; profinite; semigroup structure; topological semigroup; Boolean functions; Cloning; Equations; Lattices; Measurement; Topology;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2013 IEEE 43rd International Symposium on
Conference_Location :
Toyama
Print_ISBN :
978-1-4673-6067-8
Electronic_ISBN :
0195-623X
DOI :
10.1109/ISMVL.2013.48
