Semisimple lattices with respect to filter theory

Since the theory of filters plays an important role in the theory of lattices, in this paper, we will make an intensive study of the notions of semisimple lattices and the socle of lattices based on their filters. The bulk of this paper is devoted to stating and proving analogues to several well-known theorems in the theory of the rings. It is shown that, if $L$ is a semisimple distributive lattice, then $L$ is finite. Also, an application of the results of this paper is given. It is shown that if $R$ is a right distributive ring, then the lattice of right ideals of $R$ is semisimple iff  $R$ is a semisimple ring.