On the semidistributivity of elements in weak congruence lattices of algebras and groups
A finite group is a Dedekind group iff the diagonal relation is a join-semidistributive element in its lattice of weak congruences.
scientific article; zbMATH DE number 5306266