Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I would like to know if there is a name for the class of commutative (i.e., $\phi(x,y)=\phi(y,x)$) lattice-morphisms $\phi : L_1\times L_{1} \rightarrow L_2$ with the following property:

$\phi(x \sqcap y, x \sqcup y) = \phi(x, y)$.

Note that when $L_{1}$ is linearly ordered, the equality is automatically satisfied.

Are objects of this kind studied somewhere?

Thank you in advance!

share|cite|improve this question
what do you mean by 'commutative' in the question? – Ittay Weiss Jan 8 '13 at 9:42
Ittay: i edited the question specifying what I mean by commutative. – user55551 Jan 8 '13 at 9:53
Am I correct to assume that $L_1\times L_1$ is endowed with the lexicographical order? – Willie Wong Jan 8 '13 at 10:05
No, it's the ordinary product on Lattices: $(a,b)\leq (c,d)$ iff $a\leq c$ AND $b\leq d$ – user55551 Jan 8 '13 at 11:19
So if $L_1$ is actually a linear order, these are the functions that are symmetric about the diagonal? – Brian M. Scott Jan 8 '13 at 14:27

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.