Skip to main content
Log in

Graphical algebras — a new approach to congruence lattices

  • Published:
Algebra universalis Aims and scope Submit manuscript

Abstract

In 1970, H. Werner considered the question of which sublattices of partition lattices are congruence lattices for an algebra on the underlying set of the partition lattices. He showed that a complete sublattice of a partition lattice is a congruence lattice if and only if it is closed under a new operation called graphical composition. We study the properties of this new operation, viewed as an operation on an abstract lattice. We obtain some necessary properties, and we also obtain some sufficient conditions for an operation on an abstract lattice L to be this operation on a congruence lattice isomorphic to L. We use this result to give a new proof of Grätzer and Schmidt’s result that any algebraic lattice occurs as a congruence lattice.

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.

Institutional subscriptions

Similar content being viewed by others

References

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

    MATH  MathSciNet  Google Scholar 

  2. Haiman M.: Proof theory for linear lattices. Advances in Mathematics 58, 209–242 (1985)

    Article  MATH  MathSciNet  Google Scholar 

  3. Jónsson B.: On the representation of lattices. Math. Scand. 1, 196–206 (1953)

    Google Scholar 

  4. Pálfy P.P., Pudlák P.: Congruence lattices of finite algebras and intervals in subgroup lattices of finite groups. Alg. Univ. 11, 22–27 (1980)

    Article  MATH  Google Scholar 

  5. Pudlák P.: A new proof of the congruence lattice representation theorem. Alg. Univ. 6, 269–275 (1976)

    Article  MATH  Google Scholar 

  6. Quackenbush R.W., Wolk B.: Strong representations of congruence lattices. Alg. Univ. 1, 165–166 (1971)

    Article  MATH  MathSciNet  Google Scholar 

  7. Repnitskiǐ V., Tůma J.: Intervals in subgroup lattices of countable locally finite groups. Alg. Univ. 59, 49–71 (2008)

    Article  Google Scholar 

  8. Růzička P., Tůma J., Wehrung F.: Distributive congruence lattices of congruence-permutable algebras. J. Alg. 311, 96–116 (2007)

    Article  MATH  Google Scholar 

  9. Snow J.W.: A constructive approach to the finite congruence lattice representation problem. Alg. Univ. 43, 279–293 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  10. Snow J.W.: Almost distributive sublattices and congruence heredity. Alg. Univ. 57, 3–14 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  11. Snow J.W.: OPC lattices and congruence heredity. Alg. Univ. 58, 59–71 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  12. Tůma J.: Intervals in subgroup lattices of infinite groups. J. Alg. 125, 367–399 (1989)

    Article  MATH  Google Scholar 

  13. Werner, H.: Which partition lattices are congruence lattices? Col. Math. Soc. Ján Bolyai 14, Lattice Theory, Szeged,(Hungary) 433–453, (1974)

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Toby Kenney.

Additional information

Presented by K. Kearnes.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kenney, T. Graphical algebras — a new approach to congruence lattices. Algebra Univers. 64, 313–338 (2010). https://doi.org/10.1007/s00012-011-0105-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00012-011-0105-8

2010 Mathematics Subject Classification

Keywords and phrases

Navigation