By a 1997 result of R. Freese, an -element lattice has at most congruences. This motivates us to define the congruence density cd of a finite -element lattice as Con, where Con is the number of elements of the congruence lattice Con of . We prove that whenever is a finite lattice with cd, then has the same number of join-irreducible and meet-irreducible elements. This result is sharp, since there exists a six-element lattice with cd but fewer join-irreducible than meet-irreducible elements. By R. Freese, C. Mureşan, J. Kulin, and the present author’s results, lattices with congruence densities larger than have already been described. Here we decrease the lower threshold from to . That is, we describe all finite lattices such that cd. As a corollary, we give the th largest number of congruences of -element lattices for and .

生成讲解博客的中文版本

生成AI智能校验的中文版本