38th International Symposium on Multiple Valued Logic (ismvl 2008)
Semirigid Equivalence Relations on a Finite Set
May 22-May 24
ISBN: 978-0-7695-3155-7
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