intersection semilattice of a subspace arrangement
Let be a finite subspace arrangement in afinite-dimensional vector space .The of is the subspacearrangement defined by taking theclosure (http://planetmath.org/ClosureAxioms)of under intersections. More formally, let
Order (http://planetmath.org/Poset) the elements of by reverse inclusion,and give it the structure of a join-semilattice by defining for all , in .Moreover, the elements of are naturallygraded by codimension. If happens to be a central arrangement, its intersectionsemilattice is in fact a lattice, with the meet operationdefined by , where is the subspace of spanned by.