Geometric exchange properties in lattices of finite length (Q799703)

A semimodular lattice is strong if every contraction map is onto on join irreducibles. The authors give three equivalent characterizations by exchange properties: a strengthening of MacLane's and that of Gaskill and Rival within all lattices of finite length, that of Kurosh-Ore within the semimodular ones. For the latter, excluding the minimal semimodular, but not dually semimodular lattice as an isometric sublattice is sufficient, too.