A note on "A minimal congruence lattice representation for $\mathbb M_{p+1}$''

Abstract

We reprove a theorem of Bunn, Grow, Insall, and Thiem, which asserts that a minimal congruence lattice representation for $\mathbb M_{p+1}$ has size $2p$, and is an expansion of a regular $D_{2p}$-set.