Article
Keywords:
relational system; groupoid; directed system; $g$-homomorphism
Summary:
By a relational system we mean a couple $(A,R)$ where $A$ is a set and $R$ is a binary relation on $A$, i.e.\ $R\subseteq A\times A$. To every directed relational system $\mathcal {A}=(A,R)$ we assign a groupoid ${\mathcal G}({\mathcal A})=(A,\cdot )$ on the same base set where $xy=y$ if and only if $(x,y)\in R$. We characterize basic properties of $R$ by means of identities satisfied by ${\mathcal G}({\mathcal A})$ and show how homomorphisms between those groupoids are related to certain homomorphisms of relational systems.
References:
[2] Chajda, I.:
Class preserving mappings of equivalence systems. Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 43 (2004), 61-64.
MR 2124603 |
Zbl 1077.08001
[5] Chajda, I., Länger, H.:
Quotients and homomorphisms of relational systems. Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 49 (2010), 37-47.
MR 2796945 |
Zbl 1241.08001
[6] Mal'cev, A. I.:
Algebraic Systems. Springer, New York (1973).
MR 0349384