Title :
Semirigid Equivalence Relations on a Finite Set
Author :
Miyakawa, Masahiro ; Pouzet, Maurice ; Rosenberg, Ivo G. ; Tatsumi, Hisayuki
Author_Institution :
Tsukuba Univ. of Technol., Ibaraki
Abstract :
A system R of equivalence relations on a set A (with at least 3 elements) is semirigid ;/ only the trivial opera tions (that is the projections and constant functions) preserve all members of R. To a system R of equivalence relations we associate a graph Gr. We observe that ifR is semirigid then the graph Gr is 2-connected. We show that the converse holds if all the members of R are atoms of the lattice E of equivalence relations on A. We present a notion of graphical composition of semirigid systems and show that it preserves semirigidity.
Keywords :
equivalence classes; graph theory; set theory; finite set; graphical composition; semirigid equivalence relation; Cloning; Concrete; Lattices; Multivalued logic; Testing; clone; equivalence relation; lattice; semirigid; universal algebra;
Conference_Titel :
Multiple Valued Logic, 2008. ISMVL 2008. 38th International Symposium on
Conference_Location :
Dallas, TX
Print_ISBN :
978-0-7695-3155-7
DOI :
10.1109/ISMVL.2008.47