In lattice theory, a 0,1-simple lattice is a type of bounded lattice LLL characterized by the preservation of its top and bottom elements under nonconstant lattice homomorphisms. Formally, a lattice LLL is 0,1-simple if every lattice homomorphism ƒƒƒ from LLL to another lattice, that is not constant, satisfies ƒ−1(ƒ(0))={0}andƒ−1(ƒ(1))={1}.ƒ^{-1}(ƒ(0)) = \{0\} \quad \text{and} \quad ƒ^{-1}(ƒ(1)) = \{1\}.ƒ−1(ƒ(0))={0}andƒ−1(ƒ(1))={1}.
This means that the identity of the greatest and least elements—denoted by 1 and 0 respectively—must remain unique under any such mapping.
Definition and Properties
A bounded lattice is a partially ordered set in which every pair of elements has both a least upper bound (join) and a greatest lower bound (meet), and that also contains universal elements: a top (1) and a bottom (0).
In the context of 0,1-simple lattices, any nontrivial homomorphism must preserve these boundaries exactly. If a function ƒƒƒ maps all elements of LLL to a single element, it is trivial and does not affect simplicity. However, if ƒƒƒ preserves joins and meets without collapsing all elements, the mapping must respect the unique roles of 0 and 1.
Examples
Consider LnL_nLn, a flat lattice with nnn atoms a1,a2,…,ana_1, a_2, …, a_na1,a2,…,an, including the top and bottom elements 1 and 0.
- When n≥3n ≥ 3n≥3, the lattice LnL_nLn is 0,1-simple, because no nonconstant lattice homomorphism can alter both extremal elements without contradiction.
- When n=2n = 2n=2, however, the lattice L2L_2L2 is not 0,1-simple. In this case, the function ƒƒƒ defined by mapping 000 and a1a_1a1 to 000, and a2a_2a2 and 111 to 111, is a valid homomorphism, proving that L2L_2L2 lacks the defining simplicity property.
Mathematical Significance
0,1-simple lattices are important in the structural analysis of algebraic systems, especially those concerning order-preserving transformations. They represent systems where boundary invariance is critical, and any deviation violates lattice integrity. Such lattices are studied in universal algebra and order theory for their minimalistic yet restrictive homomorphism behavior, which provides insight into algebraic rigidity and morphic stability.
