PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] example of a non-lattice homomorphism (Example)

Consider the Hasse diagram of the lattice of subgroups of the quaternion group of order $8$ , $Q_8$ . [The use of $Q_8$ is only for a concrete realization of the lattice.]

$\displaystyle \begin{xy}<5mm,0mm>:<0mm,5mm>:: (0,3) +*{Q_8} = ''Q8''; (-2,2) +*... ...-}; ''i''; ''Q8'' **@{-}; ''j''; ''Q8'' **@{-}; ''k''; ''Q8'' **@{-}; \end{xy} $

To establish an order-preserving map which is not a lattice isomorphism one can simply ``skip'' $\langle -1\rangle$ , which we display graphically as:

$\displaystyle \begin{xy}<5mm,0mm>:<0mm,5mm>:: (-3,3) +*{Q_8} = ''Q81''; (-5,2) ... ...1''; ''k2'' **@{..}; ''-11''; ''12'' **@{..}; ''11''; ''12'' **@{..}; \end{xy} $

Since containment is still preserved the map is order-preserving. However, the intersection (meet) of $\langle i\rangle$ and $\langle j\rangle$ , which is $\langle -1\rangle$ , is not perserved under this map. Thus it is not a lattice homomorphism.




"example of a non-lattice homomorphism" is owned by Algeboy.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: lattice homomorphism, meet, intersection, map, lattice isomorphism, order-preserving map, lattice, order, quaternion group, lattice of subgroups, Hasse diagram

This is version 5 of example of a non-lattice homomorphism, born on 2007-04-24, modified 2007-04-24.
Object id is 9252, canonical name is ExampleOfCompleteLatticeHomomorphism.
Accessed 839 times total.

Classification:
AMS MSC06B23 (Order, lattices, ordered algebraic structures :: Lattices :: Complete lattices, completions)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)