Abstract

The system of all congruences of an algebra (A, F) forms a lattice, denoted $${{\mathrm{Con}}}(A, F)$$ . Further, the system of all congruence lattices of all algebras with the base set A forms a lattice $$\mathcal {E}_A$$ . We deal with meet-irreducibility in $$\mathcal {E}_A$$ for a given finite set A. All meet-irreducible elements of $$\mathcal {E}_A$$ are congruence lattices of monounary algebras. Some types of meet-irreducible congruence lattices were described in Jakubikova-Studenovska et al. (2017). In this paper, we prove necessary and sufficient conditions under which $${{\mathrm{Con}}}(A, f)$$ is meet-irreducible in the case when (A, f) is an algebra with short tails (i.e., f(x) is cyclic for each $$x \in A$$ ) and in the case when (A, f) is an algebra with small cycles (every cycle contains at most two elements).

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.