Finite congruence-distributive P.O. systems
type: Item
instance of: scholarly article
title: Finite congruence-distributive P.O. systems
zbMATH Open document ID: 0714.08005
DOI: 10.1007/BF01190721
author: L. Vrancken-Mawet
author: Georges Hansoul
published in: Algebra Universalis
publication date: 1990-01-01T00:00:00Z
review text: A P.O. system is a set P on which is defined a transitive, antisymmetric (but not necessarily reflexive) relation \(\triangleleft\). In this case, \(\leq =\triangleleft \cup \Delta_ P\) is a partial ordering of P. The structure of P.O. systems is richer than that of the corresponding partially ordered set, in that \(\triangleleft\) singles out a distinguished subset of P, namely, \(\{\) \(s\in P:\) \(s\triangleleft s\}\). P.O. systems arise in the study of certain Boolean algebras, and in this context, there is a natural definition of morphisms between P.O. systems: a mapping f: \(P\to P'\) is a morphism if \(p\triangleleft q\) implies \(f(p)\triangleleft f(q)\), and \(f(p)\triangleleft q'\) implies \(q'=f(q)\) for some q such that \(p\triangleleft q\). In particular, P is a subsystem of \(P'\) if \(P\subseteq P'\) and the inclusion is a morphism, and a congruence on P is the kernel of a morphism. The congruences on P are characterized as equivalences \(\theta\) with convex classes such that if \(p\theta q\triangleleft r\), then \(p\triangleleft s\theta r\) for some \(s\in P\). The partially ordered set Con(P) of all congruences on P is a complete lattice, and P is congruence distributive if Con(P) is a distributive lattice. The main accomplishment of this paper is the construction of an \(\aleph_ 0\)-universal congruence distributive system D(\(\infty)\). Explicitly, D(\(\infty)\) is a P.O. system such that for each \(p\in D(\infty)\), \([p)=\{q\in D(\infty):\) \(p\leq q\}\) is a finite, congruence distributive P.O. system; and every finite, congruence distributive P.O. system is isomorphic to a set of the form [p) for a unique \(p\in D(\infty)\).
Mathematics Subject Classification ID: 08B10
Mathematics Subject Classification ID: 06A06
zbMATH DE Number: 4175001
zbMATH Keywords: partial ordering
zbMATH Keywords: congruences
zbMATH Keywords: congruence distributive P.O. system
MaRDI profile type: Publication
cites work: Q4079655
cites work: Q4128817
cites work: A duality for Boolean algebras with operators
cites work: Compact zero-dimensional metric spaces of finite type
Recommended article: Finite monogenic distributive systems
Recommended article: Q3765831
Recommended article: Q4466664
Recommended article: Concept Lattices
Recommended article: Q3199528
Recommended article: Q4856909
Recommended article: Systems of Congruences
Recommended article: Congruence lattices of distributive \(p\)-algebras
Recommended article: Systems of Diophantine equations over finite configurations
Recommended article: Q3335846
description: scientific article; zbMATH DE number 4175001