In lattice theory, a bounded lattice L is called a 0,1-simple lattice if nonconstant lattice homomorphisms of L preserve the identity of its top and bottom elements. That is, if L is 0,1-simple and is a function from L to some other lattice that preserves joins and meets and does not map every element of L to a single element of the image, then it must be the case that ^-1( (0)) = {0} and ^-1( (1)) = {1}.

For instance, let L_n be a lattice with n atoms a₁, a₂, ..., a_n, top and bottom elements 1 and 0, and no other elements. Then for n 3, L_n is 0,1-simple. However, for n = 2, the function that maps 0 and a₁ to 0 and that maps a₂ and 1 to 1 is a homomorphism, showing that L₂ is not 0,1-simple.

External links

pt:0,1-simples lattice