Surjective polymorphisms of reflexive cycles

Abstract

A reflexive cycle is any reflexive digraph whose underlying undirected graph is a cycle. Call a relational structure S lupecki if its surjective polymorphisms are all essentially unary. We prove that all reflexive cycles of girth at least 4 have this property.