Lamps in slim rectangular planar semimodular lattices

A planar (upper) semimodular lattice L is slim if the five-element nondistributive modular lattice M-3 does not occur among its sublattices. (Planar lattices are finite by definition.) Slim rectangular lattices as particular slim planar semimodular lattices were defined by G. Gratzer and E. Knapp in 2007. In 2009, they also proved that the congruence lattices of slim planar semimodular lattices with at least three elements are the same as those of slim rectangular lattices. In order to provide an effective tool for studying these congruence lattices, we introduce the concept of lamps of slim rectangular lattices and prove several of their properties. Lamps and several tools based on them allow us to prove in a new and easy way that the congruence lattices of slim planar semimodular lattices satisfy the two previously known properties. Also, we use lamps to prove that these congruence lattices satisfy four new properties including the Two-pendant Four-crown Property and the Forbidden Marriage Property.