Could someone explain how to construct a product lattice, or point me to an explanation on the web?
$\begingroup$
$\endgroup$
2
-
$\begingroup$ I recommend that you read Davey and Priestley "Introduction to Lattices and Order". Specifically sections 1.26 and 2.14. $\endgroup$– Andrew StaceyCommented Jun 1, 2010 at 12:42
-
$\begingroup$ I don't have a copy! :( And I need to multiply two lattices... $\endgroup$– user6473Commented Jun 1, 2010 at 12:46
Add a comment
|
2 Answers
$\begingroup$
$\endgroup$
As I explain in this MO answer, there is a choice of product structures to place on the product of two lattices.
Please click through and read the discussion there. But to summarize, one choice is to form the product order, where you consider pairs $(a,b)$ and the orders are inherited in each coordinate separately. Another choice is to use the lexical order on pairs, but this only results in a lattice when there are certain completeness or linearity assumptions. The lexical product $K\times L$, however, amounts to replacing each node in $K$ with a copy of $L$, and this is often what is desired.
See also this question for a discussion of the completeness issue for the lexical order.
answered Jun 1, 2010 at 13:45
$\begingroup$
$\endgroup$
Look at http://en.wikipedia.org/wiki/Lattice_%28order%29#Examples under the example it calls the Cartesian square of the natural numbers. This tells you enough about what the order will be, and the meet and join are the obvious things (meets and joins of components).
answered Jun 1, 2010 at 12:46