You are here
Homelattice homomorphism
Primary tabs
lattice homomorphism
Let $L$ and $M$ be lattices. A map $\phi$ from $L$ to $M$ is called a lattice homomorphism if $\phi$ respects meet and join. That is, for $a,b\in L$,

$\phi(a\land b)=\phi(a)\land\phi(b)$, and

$\phi(a\lor b)=\phi(a)\lor\phi(b)$.
From this definition, one also defines lattice isomorphism, lattice endomorphism, lattice automorphism respectively, as a bijective lattice homomorphism, a lattice homomorphism into itself, and a lattice isomorphism onto itself.
If in addition $L$ is a bounded lattice with top $1$ and bottom $0$, with $\phi$ and $M$ defined as above, then $\phi(a)=\phi(1\wedge a)=\phi(1)\wedge\phi(a)$, and $\phi(a)=\phi(0\vee a)=\phi(0)\vee\phi(a)$ for all $a\in L$. Thus $L$ is mapped onto a bounded sublattice $\phi(L)$ of $M$, with top $\phi(1)$ and bottom $\phi(0)$.
If both $L$ and $M$ are bounded with lattice homomorphism $\phi:L\to M$, then $\phi$ is said to be a $\{0,1\}$lattice homomorphism if $\phi(1)$ and $\phi(0)$ are top and bottom of $M$. In other words,
$\phi(1_{L})=1_{M}\qquad\mbox{ and }\qquad\phi(0_{L})=0_{M},$ 
where $1_{L},1_{M},0_{L},0_{M}$ are top and bottom elements of $L$ and $M$ respectively.
Remarks.

The idea behind these definitions comes from the idea of a homomorphism between two algebraic systems of the same type. We require the the homomorphism to preserve all finitary operations, including the nullary ones. This means that if the algebraic system contains constants, they need to be preserved under the homomorphism. Thus, if $L$ and $M$ are both bounded lattices, a homomorphism between $L$ and $M$ must preserve $0$ and $1$. Similarly, if $L$ only has $0$ and $M$ is bounded, then a homomorphism between them should preserve $0$ alone.

In the case of complete lattices, there are operations that are infinitary, so the homomorphism between two complete lattices should preserve the infinitary operations as well. The resulting lattice homomorphism is a complete lattice homomorphism.

One can show that every Boolean algebra $B$ can be embedded into the power set of some set $S$. That is, there is a onetoone lattice homomorphism $\phi$ from $B$ into a Boolean subalgebra of $2^{S}$ (under the usual set union and set intersection operations) (see link below). If $B$ is in addition a complete lattice and an atomic lattice, then $B$ is lattice isomorphic to $2^{S}$ for some set $S$.
Mathematics Subject Classification
06B05 no label found06B99 no label found Forums
 Planetary Bugs
 HS/Secondary
 University/Tertiary
 Graduate/Advanced
 Industry/Practice
 Research Topics
 LaTeX help
 Math Comptetitions
 Math History
 Math Humor
 PlanetMath Comments
 PlanetMath System Updates and News
 PlanetMath help
 PlanetMath.ORG
 Strategic Communications Development
 The Math Pub
 Testing messages (ignore)
 Other useful stuff
 Corrections
Comments
Complete lattice homomorphism?
What about "complete lattice homomorphism" that is homomorphism which preserves infinite meets and joins?

Victor Porton  http://www.mathematics21.org
* Algebraic General Topology and Math Synthesis
* 21 Century Math Method (post axiomatic math logic)
* Category Theory  new concepts
Re: Complete lattice homomorphism?
What about it? Yes a complete lattice homomorphism is a lattice homomorphism preserving arbitary meets and joins. This is the right kind of morphisms to consider if you are dealing with the category of complete lattices.