A survey of congruences and quotients of partially ordered sets

  • Nicholas J. Williams

    Lancaster University, Lancaster, UK
A survey of congruences and quotients of partially ordered sets cover
Download PDF

This article is published open access under our Subscribe to Open model.

Abstract

A quotient of a poset is a partial order obtained on the equivalence classes of an equivalence relation on ; is then called a congruence if it satisfies certain conditions, which vary according to different theories. The literature on congruences and quotients of partially ordered sets contains a large and proliferating array of approaches, but little in the way of systematic exposition and examination of the subject. We seek to rectify this by surveying the different theories in the literature and providing philosophical discussion on requirements for notions of congruences of posets. We advocate a pluralist approach which recognises that different types of congruence arise naturally in different mathematical situations. There are some notions of congruence which are very general, whilst others capture specific structure which often appears in examples. Indeed, we finish by giving several examples where quotients of posets appear naturally in mathematics.

Cite this article

Nicholas J. Williams, A survey of congruences and quotients of partially ordered sets. EMS Surv. Math. Sci. 11 (2024), no. 1, pp. 153–203

DOI 10.4171/EMSS/79