loading...
Semirigid Equivalence Relations on a Finite Set
May 22-May 24
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISMVL.2008.4738th International Symposium on Multi ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A system $R$ of equivalence relations on a set $A$ (with at least $3$ elements) is \emph{semirigid} if??only the trivial operations??(that is the projections and constant functions) preserve all members of $R$. To a system $R$ of equivalence relations we associate a graph $G_R$. We observe that??if $R$ is semirigid then the graph $G_R$ 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.
Index Terms:
clone, semirigid, equivalence relation, lattice, universal algebra
Citation:
Masahiro Miyakawa, Maurice Pouzet, Ivo G. Rosenberg, Hisayuki Tatsumi, "Semirigid Equivalence Relations on a Finite Set," ismvl, pp.118-123, 38th International Symposium on Multiple Valued Logic (ismvl 2008), 2008
Usage of this product signifies your acceptance of the Terms of Use.