Dowling lattices and their generalizations introduced by Hanlon are interpreted as lattices of congruences associated to certain quasi-varieties of sets with group actions. This interpretation leads, by a simple application of Möbius inversion, to polynomial identities which specialize to Hanlon's evaluation of the characteristic polynomials of generalized Dowling lattices. Analogous results are obtained for a few other quasi-varieties.
Dowling lattice - congruence - free algebra - characteristic polynomial - quasi-variety