Types de relations de Rosenberg et Clones sous-maximaux des Polymorphismes d’une relation d’équivalence non triviale : cas Unaire et Binaire

Abstract

Soit k ≥ 3, θ une relation d’équivalence non triviale sur Ek = {0,••• ,k −1}. Dans ce travail, nous caractérisons quatre types de relations σ (relation centrale unaire ; relation centrale binaire ; relation d’équivalence non triviale et graphe d’une permutation d’ordre premier) sur Ek telles que les clones de la forme Polθ ∩Polσ soient maximaux dans Polθ. Ensuite nous déterminons les relations σ dans les cas où k ∈{3,4,5}