Displaying similar documents to “On the large proper sublattices of finite lattices.”

Convex isomorphism of Q -lattices

Petr Emanovský (1993)

Mathematica Bohemica

Similarity:

V. I. Marmazejev introduced in [3] the following concept: two lattices are convex isomorphic if their lattices of all convex sublattices are isomorphic. He also gave a necessary and sufficient condition under which the lattice are convex isomorphic, in particular for modular, distributive and complemented lattices. The aim this paper is to generalize this concept to the q -lattices defined in [2] and to characterize the convex isomorphic q -lattices.

On M-operators of q-lattices

Radomír Halaš (2002)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

It is well known that every complete lattice can be considered as a complete lattice of closed sets with respect to appropriate closure operator. The theory of q-lattices as a natural generalization of lattices gives rise to a question whether a similar statement is true in the case of q-lattices. In the paper the so-called M-operators are introduced and it is shown that complete q-lattices are q-lattices of closed sets with respect to M-operators.

Stone Lattices

Adam Grabowski (2015)

Formalized Mathematics

Similarity:

The article continues the formalization of the lattice theory (as structures with two binary operations, not in terms of ordering relations). In the paper, the notion of a pseudocomplement in a lattice is formally introduced in Mizar, and based on this we define the notion of the skeleton and the set of dense elements in a pseudocomplemented lattice, giving the meet-decomposition of arbitrary element of a lattice as the infimum of two elements: one belonging to the skeleton, and the...