The definition of modularity looks more natural to me if I think of it as follows (rather than as a modified associativity or a weakened distributivity). Given any element $a$ of a lattice $L$, there is a rather obvious way to map any element $x\in L$ to a "nearest" element $\geq a$, namely send $x$ to $a\lor x$. Think of this map as "projecting " elements into the part of $L$ above $a$. There is, of course, a dual notion of projecting elements into the part of $L$ below a given element $b$, namely $x\mapsto b\land x$. If $a\leq b$, then we can combine these ideas to "project" any $x$ into the interval $[a,b]=\{z\in L:a\leq z\leq b\}$, namely first project $x$ above $a$ and then project the result below $b$. (One needs to check that the second projection doesn't ruin what the first achieved; the final result is still above $a$ as well as below $b$.) Again, duality provides another way to project $x$ into $[a,b]$, namely first project it below $b$ and then project the result above $a$. So in general we have two competing, equally natural notions of projecting an element $x$ into an interval $[a,b]$. Modularity eliminates the competition; it says precisely that these two projections always agree.


For reference:

Modularity: $x\leq b \implies x\vee(a\wedge b)=(x\vee a)\wedge b$

Algebraically it is a relaxed distributivity condition for the meet and join operations. Graphically, it means that the forbidden Pentagon diagram will have one or more of its sides crushed. I can't think of any more proof for their naturality other than the fact the submodules of a module and the set of normal subgroups of a group are all modular lattices. Groups and modules are very natural!

Similarly its cousin the distributive lattice is algebraically distributivity of meet and join over each other. Modules do not normally have a distributive lattice of submodules.

Distributive lattices are natural because their prototype is the lattice of subsets of a given set with intersection and union operations. It is known that every distributive lattice is lattice isomorphic to such a set lattice.

P.S.: I didn't know this before, but I found that von Neumann apparently made use of complemented modular lattices in his book Continuous Geometry, so I would also look there for inspiration.

Added: You were requesting some places where modularity was explicitly used. When Ward and Dilworth went about abstracting the study of ideals in a ring to "multiplicative lattices", they managed to do primary decomposition in what they called Noether lattices. These were of course supposed to generalize the lattice of ideals of a Noetherian ring, and general multiplicative lattices are far too wild, so they needed to make some additional natural requirements for the multiplicative lattice. Among these assumptions were the ACC (to make it Noetherian), the property that every element should be a join of principal elements, and finally modularity of the lattice. I'm not an expert in the topic but I think modularity was probably crucial in their proofs using residuals.


I'd like to complete Andreas's answer by the following consequence of the modularity property:

There is a natural isomorphism between $[a,a\vee b]$ and $[a\wedge b,b]$. In group or module theory, this is the natural isomorphism $(A+B)/A=B/(A\cap B)$. Any argument that uses this (2nd? 3rd? 1st?) isomorphism theorem applies as well to the lattice of submodules, normal subgroups, etc., and more generally any modular lattice.


Let $H$ be a Hilbert space, write $L(H)$ for the poset of closed subspaces of $H$. Note that $L(H)$ is a lattice: the meet is the intesection of subspaces, the join is the closure of the sum of subspaces.

Then $H$ is finite-dimensional if and only if $L(H)$ is modular.