Expansions of finite algebras and their congruence lattices

Original · EN

We present a novel approach to the construction of new finite algebras and describe the congruence lattices of these algebras. Given a finite algebra (B₀,), let B₁, B₂,, Bₖ be sets that either intersect B₀ or intersect each other at certain points. We construct an overalgebra (A, Fₐ), by which we mean an expansion of (B₀,) with universe A = B₀ ∪ B₁ ∪ ∪ Bₖ, and a certain set Fₐ of unary operations that includes mappings eᵢ satisfying eᵢ² = eᵢ and eᵢ(A) = Bᵢ, for 0≤ i ≤ K. We explore two such constructions and prove results about the shape of the new congruence lattices Con(A, Fₐ) that result. Thus, descriptions of some new classes of finitely representable lattices is one contribution of this paper. Another, perhaps more significant contribution is the announcement of a novel approach to the discovery of new classes of representable lattices, the full potential of which we have only begun to explore.