On some non-obvious connections between graphs and unary partial algebras

Pióro, Konrad

Czechoslovak Mathematical Journal, Tome 50 (2000) no. 2, pp. 295-320.

Résumé

In the present paper we generalize a few algebraic concepts to graphs. Applying this graph language we solve some problems on subalgebra lattices of unary partial algebras. In this paper three such problems are solved, other will be solved in papers [Pió I], [Pió II], [Pió III], [Pió IV]. More precisely, in the present paper first another proof of the following algebraic result from [Bar1] is given: for two unary partial algebras $\mathbf A$ and $\mathbf B$, their weak subalgebra lattices are isomorphic if and only if their graphs ${\mathbf G}^{\ast }({\mathbf A})$ and ${\mathbf G}^{\ast }({\mathbf B})$ are isomorphic. Secondly, it is shown that for two unary partial algebras $\mathbf A$ and $\mathbf B$ if their digraphs ${\mathbf G}({\mathbf A})$ and ${\mathbf G}({\mathbf B})$ are isomorphic, then their (weak, relative, strong) subalgebra lattices are also isomorphic. Thirdly, we characterize pairs ${\mathbf L},{\mathbf A}>$, where $\mathbf A$ is a unary partial algebra and $\mathbf L$ is a lattice such that the weak subalgebra lattice of $\mathbf A$ is isomorphic to $\mathbf L$.

Détail

Classification : 05C20, 05C60, 05C75, 05C99, 08A05, 08A55, 08A60