Re: struggling proving lattice identity

From: William Elliot (marsh_at_privacy.net)
Date: 02/23/05 

Date: Tue, 22 Feb 2005 19:28:11 -0800

On Tue, 22 Feb 2005 mikharakiri_nospaum@yahoo.com wrote:

> a >= c --> a/\(b\/c) >= (a/\b)\/c
>
c <= a ==> a/\b \/ c <= a /\ b\/c
         a/\b <= a
         c <= a
         a/\b \/ c <= a

         a/\b <= b <= b\/c
         c <= b\/c
         a/\b \/ c <= b\/c

         a/\b \/ c <= a /\ b\/c

> Assuming that algebraic manipulations with equalities are easier, let's
> rewrite it as:
>
> a/\c=c --> a/\(b\/c)/\((a/\b)\/c) = (a/\b)\/c
>
> and here I'm effectively stuck. I'm unable see how to rearrange terms
> and apply lattice axioms.
>
Looks like you're considering modular lattices.