One of the main aims of the present and the next part [15] is to show that the theory of graphs (its language and results) can be very useful in algebraic investigations. We characterize, in terms of isomorphisms of some digraphs, all pairs A, L, where A is a finite unary algebra and L a finite lattice such that the subalgebra lattice of A is isomorphic to L. Moreover, we find necessary and sufficient conditions for two arbitrary finite unary algebras to have isomorphic subalgebra lattices. We solve these two problems in the more general case of partial unary algebras. In the next part [15] we will use these results to describe connections between various kinds of lattices of (partial) subalgebras of a finite unary algebra.
J. Płonka in [12] noted that one could expect that the regularization ${\mathcal R}(K)$ of a variety ${K}$ of unary algebras is a subdirect product of ${K}$ and the variety ${D}$ of all discrete algebras (unary semilattices), but is not the case. The purpose of this note is to show that his expectation is fulfilled for those and only those irregular varieties ${K}$ which are contained in the generalized variety ${TDir}$ of the so-called trap-directable algebras.