On some influence of the weak subalgebra lattice on the subalgebra lattice.
The subalgebra lattice of a finite algebra
The aim of this paper is to characterize pairs (L, A), where L is a finite lattice and A a finite algebra, such that the subalgebra lattice of A is isomorphic to L. Next, necessary and sufficient conditions are found for pairs of finite algebras (of possibly distinct types) to have isomorphic subalgebra lattices. Both of these characterizations are particularly simple in the case of distributive subalgebra lattices. We do not restrict our attention to total algebras only, but we consider the more...
n-functionality of graphs
We first characterize in a simple combinatorial way all finite graphs whose edges can be directed to form an n-functional digraph, for a fixed positive integer n. Next, we prove that the possibility of directing the edges of an infinite graph to form an n-functional digraph depends on its finite subgraphs only. These results generalize Ore's result for functional digraphs.
n-Functional digraphs uniquely determined by the skeleton
We show that any total n-functional digraph D is uniquely determined by its skeleton up to the orientation of some cycles and infinite chains. Next, we characterize all graphs G such that each n-functional digraph obtained from G by directing all its edges is total. Finally, we describe finite graphs whose edges can be directed to form a total n-functional digraph without cycles.
On some finite groupoids with distributive subgroupoid lattices
The aim of the paper is to show that if S(G) is distributive, and also G satisfies some additional condition, then the union of any two subgroupoids of G is also a subgroupoid (intuitively, G has to be in some sense a unary algebra).
On a property of neighborhood hypergraphs
The aim of the paper is to show that no simple graph has a proper subgraph with the same neighborhood hypergraph. As a simple consequence of this result we infer that if a clique hypergraph and a hypergraph have the same neighborhood hypergraph and the neighborhood relation in is a subrelation of such a relation in , then is inscribed into (both seen as coverings). In particular, if is also a clique hypergraph, then .
Some properties of the weak subalgebra lattice of a partial algebra of a fixed type
We investigate, using results from [[p3]], when a given lattice is isomorphic to the weak subalgebra lattice of a partial algebra of a fixed type. First, we reduce this problem to the question when hyperedges of a hypergraph can be directed to a form of directed hypergraph of a fixed type. Secondly, we show that it is enough to consider some special hypergraphs. Finally, translating these results onto the lattice language, we obtain necessary conditions for our algebraic problem, and also, we completely...
On connections between hypergraphs and algebras
The aim of the present paper is to translate some algebraic concepts to hypergraphs. Thus we obtain a new language, very useful in the investigation of subalgebra lattices of partial, and also total, algebras. In this paper we solve three such problems on subalgebra lattices, other will be solved in [[Pio4]]. First, we show that for two arbitrary partial algebras, if their directed hypergraphs are isomorphic, then their weak, relative and strong subalgebra lattices are isomorphic. Secondly, we prove...
On some non-obvious connections between graphs and unary partial algebras
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 and , their weak subalgebra lattices are isomorphic if and only...
The weak subalgebra lattice of a unary partial algebra of a given infinite unary type
On some unary algebras and their subalgebra lattices
On subalgebra lattices of a finite unary algebra. I.
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 , where is a finite unary algebra and a finite lattice such that the subalgebra lattice of is isomorphic to . Moreover, we find necessary and sufficient conditions for two arbitrary finite unary algebras to have isomorphic subalgebra lattices. We solve...
On subalgebra lattices of a finite unary algebra. II.
We use graph-algebraic results proved in [8] and some results of the graph theory to characterize all pairs of lattices for which there is a finite partial unary algebra such that its weak and strong subalgebra lattices are isomorphic to and , respectively. Next, we describe other pairs of subalgebra lattices (weak and relative, etc.) of a finite unary algebra. Finally, necessary and sufficient conditions are found for quadruples of lattices for which there is a finite unary algebra having...
Page 1