DocumentCode :
1730707
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
fYear :
2008
Firstpage :
118
Lastpage :
123
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Multiple Valued Logic, 2008. ISMVL 2008. 38th International Symposium on
Conference_Location :
Dallas, TX
ISSN :
0195-623X
Print_ISBN :
978-0-7695-3155-7
Type :
conf
DOI :
10.1109/ISMVL.2008.47
Filename :
4539412
Link To Document :
بازگشت