Surjective polymorphisms of directed reflexive cycles

Abstract

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