A finite distributive latticeD can be representedas the congruence lattice, ConL, of a finite lattice L. We shall discuss the combinatorial aspects of such—and related—representations, specifically, optimal size, breadth, and degree of symmetry.

In this study, using the neutrosophic soft definitions, we define some new concept such as the neutrosophic soft lattice, neutrosophic soft sublattice, complete neutrosophic soft lattice, modular neutrosophic soft lattice, distributive neutrosophic soft lattice, neutrosophic soft chain then we study the relationship and observe some common properties.

We call a lattice L isoform, if for any congruence relation Θ of L, all congruence classes of Θ are isomorphic sublattices. We prove that for every finite distributive lattice D, there exists a finite isoform lattice L such that the congruence lattice of L is isomorphic to D.

If M is a finite complemented modular lattice with n atoms and D is a bounded distributive lattice, then the Priestley power M [D] is shown to be isomorphic to the poset of normal elements of Dn, thus solving a problem of E. T. Schmidt from 1974. It is shown that there exist a finite modular lattice A not having M4 as a sublattice and a finite modular lattice B such that A⊗B is not semimodular,...

We prove a general categorical theorem that enables us to state that under certain conditions, the range of a functor is large. As an application, we prove various results of which the following is a prototype: If every diagram, indexed by a lattice, of finite Boolean 〈∨, 0〉-semilattices with 〈∨, 0〉-embeddings, can be lifted with respect to the Conc functor on lattices, then so can every diagra...

Let L1 be a finite lattice with an ideal L2. Then the restriction map is a {0, 1}-homomorphism from ConL1 into ConL2. In 1986, the present authors published the converse. If D1 and D2 are finite distributive lattices, and φ : D1 → D2 is a {0, 1}-homomorphism, then there are finite lattices L1 and L2 with an embedding η of L2 as an ideal of L1, and there are isomorphisms ε1 : ConL1 → D1 and ε2 :...

In 1990, we published the following result: Let m be a regular cardinal > א0. Every m-algebraic lattice L can be represented as the lattice of m-complete congruence relations of an m-complete modular lattice K. In this note, we present a short proof of this theorem. In fact, we present a significant improvement: The lattice K we construct is 2-distributive.

T. Katri n ak proved the following theorem: Every nite distributive lattice is the congruence lattice of a nite p-algebra. We provide a short proof, and a generalization, of this result.

Answering a question raised by Terwijn, we give a lattice-theoretic characterization of the intervals of the Muchnik lattice as a subset of the distributive lattices, valid for all intervals satisfying a cardinality constraint on the size of antichains.