Skip to main content
Log in

Related structures with involution

  • Published:
Acta Mathematica Hungarica Aims and scope Submit manuscript

Abstract

We give a necessary and sufficient condition for an involution lattice to be isomorphic to the direct square of its invariant part. This result is applied to show relations between related lattices of an algebra. For instance, generalizing some earlier results of G. Czédli and L. Szabó it is proved that any algebra admits a connected compatible partial order whenever its quasiorder lattice is isomorphic to the direct square of its congruence lattice. Further, a majority algebra is lattice ordered if and only if the lattice of its compatible reflexive relations is isomorphic to the direct square of its tolerance lattice. In the latter case, one can establish a bijective correspondence between factor congruence pairs of the algebra and its pairs of compatible lattice orders; several consequences of this result are given.

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. H-J. Bandelt, Tolerance relations on lattices, Bull. Austral. Math. Soc., 23 (1981), 367–381.

    Article  MATH  MathSciNet  Google Scholar 

  2. R. Beazer, Pseudocomplemented algebras with Boolean congruence lattices, J. Austral. Math. Soc., 26 (1978), 163–168.

    MATH  MathSciNet  Google Scholar 

  3. I. Chajda, Algebraic theory of tolerance relations, Palacký University of Olomouc (Olomouc, Czech Republic, 1991).

    MATH  Google Scholar 

  4. I. Chajda and S. Radeleczki, Congruence schemes and their applications, Comment. Math. Univ. Carolinae, 46 (2005), 1–14.

    MATH  MathSciNet  Google Scholar 

  5. G. Czédli, Natural equivalences from lattice quasiorders to involution lattices of congruences, in: Proc. Summer School at Horní Lipová 1994, Palacký University of Olomouc (Czech Republic), pp. 33–44, MR1342538.

  6. G. Czédli and L. Szabó, Quasiorders of lattices versus pairs of congruences, Acta Sci. Math. (Szeged), 60 (1995), 207–211.

    MATH  MathSciNet  Google Scholar 

  7. G. Czédli and A. Lenkehegyi, On congruence n-distributivity of ordered algebras, Acta Sci. Math. (Szeged), 41 (1983), 17–26.

    MATH  Google Scholar 

  8. G. Czédli and A. Lenkehegyi, On classes of ordered algebras and quasiorder distributivity, Acta Sci. Math. (Szeged), 46 (1983), 41–54.

    MATH  MathSciNet  Google Scholar 

  9. G. Czédli, E. K. Horváth and S. Radeleczki, On tolerance lattices of algebras in congruence modular varieties, Acta Math. Hungar., 100 (2003), 9–17.

    Article  MATH  MathSciNet  Google Scholar 

  10. G. Czédli, A. P. Huhn and L. Szabó, On compatible ordering of lattices, Colloquia Math. Soc. J. Bolyai, Vol. 33, Contributions to Lattice Theory (Szeged, 1980), 87–99.

    Google Scholar 

  11. G. A. Fraser and A. Horn, Congruence relations in direct products, Proc. Amer. Math. Soc., 26 (1970), 390–394.

    Article  MATH  MathSciNet  Google Scholar 

  12. P. Körtesi, S. Radeleczki and Sz. Szilágyi, Congruences and isotone maps on partially ordered sets, Math. Pannonica, 16 (2005), 39–55.

    MATH  Google Scholar 

  13. F. Maeda and S. Maeda, Theory of Symmetric lattices, Springer-Verlag (Berlin, 1970).

    MATH  Google Scholar 

  14. A. G. Pinus and I. Chajda, Quasiorders on universal algebras, Algebra i Logika, 32 (1993), 308–325 (in Russian).

    MATH  MathSciNet  Google Scholar 

  15. R. Pöschel, Galois connections for operations and relations, in: Galois Connections and Applications, K. Denecke, M. Erné and S. L. Wishmath (Eds.) vol. 565 of Mathematics and its Applications, Kluwer Acad. Publishers (Dordrecht, 2004), pp. 231–258.

    Google Scholar 

  16. R. Pöschel and L. Kalužnin, Funktionen- und Relationenalgebren, Deutscher Verlag der Wissenschaften (Berlin, 1979).

    Google Scholar 

  17. R. Pöschel and S. Radeleczki, Endomorphisms of quasiorders and related lattices, in: Contributions to General Algebra, G. Dorfer, G. Eigenthaler, H. Kautschitch, W. More and W. B. Müller (eds.), Verlag Heyn GmbH & Co KG (2008), pp. 113–128.

  18. S. Radeleczki, Classification systems and the decomposition of a lattice in direct products, Math. Notes Miskolc, 1 (2000), 145–156.

    MATH  MathSciNet  Google Scholar 

  19. S. Radeleczki and J. Szigeti, Linear orders on general algebras, Order, 22 (2005), 41–62.

    Article  MATH  MathSciNet  Google Scholar 

  20. Á. Szendrei, Clones in universal algebra, Vol. 90 of Séminaire de Mathématiques Supérieures, Les Presses de l’Univ. de Montréal (Montréal, 1986).

    MATH  Google Scholar 

  21. J. C. Varlet, A generalization of the notion of pseudo-complementedness, Bull. Soc. Roy. Liége, 37 (1968), 149–158.

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to R. Pöschel.

Additional information

This paper is a result of a collaboration of the authors within DFG-MTA Grant no. 167, whose support is gratefully acknowledged by the authors. The partial support by Hungarian National Research Fund (Grant no. T049433/05) is also acknowledged by the second author.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pöschel, R., Radeleczki, S. Related structures with involution. Acta Math Hung 123, 169–185 (2009). https://doi.org/10.1007/s10474-009-8081-6

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10474-009-8081-6

Key words and phrases

2000 Mathematics Subject Classification

Navigation