Skip to main content
Log in

Meet-irreducible congruence lattices

  • Published:
Algebra universalis Aims and scope Submit manuscript

Abstract

The system of all congruences of an algebra (AF) 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 Jakubíková-Studenovská 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 (Af) is an algebra with short tails (i.e., f(x) is cyclic for each \(x \in A\)) and in the case when (Af) is an algebra with small cycles (every cycle contains at most two elements).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Cégielski, P., Grigorieff, S., Guessarian, I.: Congruence preserving functions on free monoids. Algebra Universalis 78, 389–406 (2017)

    Article  MathSciNet  Google Scholar 

  2. Czédli, G.: Complete congruence lattices of two related modular lattices. Algebra Universalis 78, 251–289 (2017)

    Article  MathSciNet  Google Scholar 

  3. Grätzer, G., Schmidt, E.T.: Characterizations of congruence lattices of abstract algebras. Acta Sci. Math. (Szeged) 24, 34–59 (1963)

    MathSciNet  MATH  Google Scholar 

  4. Hyndman, J., Nation, J.B., Nishida, J.: Congruence lattices of semilattices with operators. Stud. Log. 104, 305–316 (2016)

    Article  MathSciNet  Google Scholar 

  5. Jakubíková-Studenovská, D.: On congruence relations of monounary algebras II. Czechoslov. Math. J. 33, 448–466 (1983)

    MathSciNet  MATH  Google Scholar 

  6. Jakubíková-Studenovská, D., Pöschel, R., Radeleczki, S.: The lattice of congruence lattices of algebra on a finite set. Algebra Universalis (to appear). arXiv:1612.07648 [math.GM]. Accessed 20 April 2017

  7. Jakubíková-Studenovská, D., Pócs, J.: Monounary Algebras. P.J. Šafárik Univ, Košice (2009)

    MATH  Google Scholar 

  8. Jakubíková-Studenovská, D., Pöschel, R., Radeleczki, S.: The lattice of quasiorder lattices of algebras on a finite set. Algebra Universalis 75, 197–220 (2016)

    Article  MathSciNet  Google Scholar 

  9. Roman, S.: Lattices and Ordered Sets. Springer, New York (2008)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Danica Jakubíková–Studenovská.

Additional information

Presented by R. Pöschel.

This work was supported by Grant VEGA 1/0097/18.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Jakubíková–Studenovská, D., Janičková, L. Meet-irreducible congruence lattices. Algebra Univers. 79, 89 (2018). https://doi.org/10.1007/s00012-018-0571-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s00012-018-0571-3

Mathematics Subject Classification

Navigation