On some admissible lattices

Abstract

This paper explores applications of the so-called Freese's technique, a classical approach to study the congruence variety of a given algebra. We leverage this tool to investigate lattices that are admissible in a given congruence variety. In particular, we present characterizations of congruence modular varieties, Taylor varieties, and varieties satisfying a non-trivial congruence identity by means of lattice omission provable using Freese's technique.

arXiv admin note: text overlap with arXiv:2302.11452