Représentation des algèbres universelles par des faisceaux
The aim of the present paper is to describe all connected monounary algebras for which there exists a representation by means of connected monounary algebras which are retract irreducible in the class (or in ).
The paper studies tolerances and congruences on anticommutative conservative groupoids. These groupoids can be assigned in a one-to-one way to undirected graphs.
A non-empty set X of a carrier A of an algebra A is called Q-independent if the equality of two term functions f and g of the algebra A on any finite system of elements a₁,a₂,...,aₙ of X implies f(p(a₁),p(a₂),...,p(aₙ)) = g(p(a₁),p(a₂),...,p(aₙ)) for any mapping p ∈ Q. An algebra B is a retract of A if B is the image of a retraction (i.e. of an idempotent endomorphism of B). We investigate Q-independent subsets of algebras which have a retraction in their set of term functions.