A characterization of solvability for finite groups in terms of their frame

The frame of a group is the poset of conjugacy classes of all its proper subgroups. In this paper we will prove that a finite group is solvable if and only if every collection of maximal elements of its frame has a well-defined meet and the poset consisting of all such meets (including the meet of the empty set) is a modular lattice.