Abstract. We prove that every finite semimodular lattice has a cover-preserving embedding into a simple semimodular lattice.

AMS Subject Classification (1991): 06C10, 06B05

Keyword(s): semimodular lattice, cover-preserving, simple, finite

Received December 19, 2008, and in revised form January 16, 2009. (Registered under 82/2008.)