Expansions of finite algebras and their congruence lattices

Abstract: 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_{0}, d o t s)

, let

B_{1}, B_{2}, d o t s, B_{K}

be sets that either intersect

B_{0}

or intersect each other at certain points. We construct an emph{overalgebra}

(A, F_{A})

, by which we mean an expansion of

(B_{0}, d o t s)

with universe

A = B_{0} c u p B_{1} c u p c d o t s c u p B_{K}

, and a certain set

F_{A}

of unary operations that includes mappings

e_{i}

satisfying

e_{i}^{2} = e_{i}

and

e_{i} (A) = B_{i}

, for

0 l e q i l e q K

. We explore two such constructions and prove results about the shape of the new congruence lattices

C o n (A, F_{A})

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.

Review text

The paper deals with algebraic lattices which can be (up to isomorphism) represented as congruence lattices of finite algebras -- they are said to be finitely representable. Grätzer and Schmidt showed that each algebraic lattice is a congruence lattice of some (not necessarily finite) algebra. The authors do not solve but contribute to the solution of the problem of finite representability of lattices. Their main results are two constructions -- any of them describes a procedure how, to a given finite algebra \(B\) (with known \(\text{Con} B\)), to find a finite overalgebra \(A\) possessing unary operations only, and then properties of \(\text{Con} A\) are studied. The procedure yields the new finitely representable lattice \(\text{Con} A\), hence new classes of finitely representable lattices are described.

Recommendations

Cites work

Cited in

(4)

Describes a project that uses

Uses Software

GAP

This page was built for publication: Expansions of finite algebras and their congruence lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2377310)