Algebra · Oct 6, 2026
Finite lattice representation and undecidability
Some finite lattices are not congruence lattices of any finite algebra, answering the finite lattice representation problem negatively. Moreover, no algorithm decides whether a finite lattice has such a representation, or whether it is a full subgroup interval of a finite group.
Contributors
Unreleased OpenAI model
AI systems: Unreleased OpenAI model