2025/03/09 by Stefano Fioravanti, Fioravanti, Stefano
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Mathematical Identities #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.2504.03659
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.