Is there any theorem telling how to construct a group whose congruence lattice is modular but nondistributive?
I don't mean searching for a result with a use of the computer. I know that probably it requires "going through" normal subgroups, but my knowledge of group theory is almost non-existent.
Thank you in advance!