On the equational theory of finite modular lattices
Logic
2025-02-20 v5
Abstract
It is shown that there is such that there is no algorithm to decide for identities in at most variables validity in the class of finite modular lattices. This is based on Slobodskoi's result that the Restricted Word Problem is unsolvable for the class of finite groups and relies on Freese's technique of capturing group presentations within free modular lattices.
Keywords
Cite
@article{arxiv.2406.04237,
title = {On the equational theory of finite modular lattices},
author = {Christian Herrmann},
journal= {arXiv preprint arXiv:2406.04237},
year = {2025}
}