A finite nonempty lattice is the full congruence lattice of some finite algebra exactly when it admits the finite colored-graph witness specified in the manuscript, whose edge colors encode the required congruence relations.
A finite nonempty lattice is the full congruence lattice of some finite algebra exactly when it admits the finite colored-graph witness specified in the manuscript, whose edge colors encode the required congruence relations.
A finite nonempty lattice is the full congruence lattice of some finite algebra exactly when it admits the finite colored-graph witness specified in the manuscript, whose edge colors encode the required congruence relations.
If correct, characterizes finite-algebra congruence lattices by a finite combinatorial witness.
Which finite lattices arise as full congruence lattices of finite algebras?
Publication dates and editorial changes.
OpenAI reports a colored-graph criterion for finite congruence lattices
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
