Abstract

We prove that any decomposition of any finite distributive lattice into Boolean algebras contains all maximal Boolean fragments of the lattice. The maximal elements of the decomposition are thus uniquely determined. We also exhibit a practical method of finding them.