Congruences of the fork extensions. I. The Congruence Extension Property

2013/07/02 by George Grätzer, Grätzer, George · 2 citations
Computer Science · Mathematics · #06B10 #06C10 #Advanced Algebra and Logic #Combinatorics #Computer science #Congruence (geometry) #Congruence relation #Epistemology #Extension (predicate logic) #FOS: Mathematics #Fork (system call) #Geometry #Lattice (music) #Mathematics #Operating system #Philosophy #Physics #Planar #Property (philosophy) #Rings and Algebras (math.RA) #Rough Sets and Fuzzy Logic #math.RA #msc:06B10 #msc:06C10 #semigroups and automata theory

paper · pdf · doi:10.48550/arxiv.1307.0778

arXiv admin note: substantial text overlap with arXiv:1307.8404

openalex publication_date 2013/07/02 · arxiv created 2013/09/08 · arxiv updated 2013/09/10 · openalex created_date 2016/06/24 · openalex updated_date 2026/07/28

Abstract

For a slim, planar, semimodular lattice, G. Czédli and E. T. Schmidt introduced the fork extension in 2012. In this note we prove that the fork extension has the Congruence Extension Property. This paper has been merged with Part II, under the title Congruences of fork extensions of slim semimodular lattices, see arXiv: 1307.8404

Citations

• Congruences of fork extensions of slim semimodular lattices

Cited by

• Using the Swing Lemma and C₁-diagrams for congruences of planar semimodular lattices
• Congruences of fork extensions of slim semimodular lattices

Related

• Congruences of the fork extensions. II. The congruence gamma
• Congruences of fork extensions of slim semimodular lattices
• A new property of congruence lattices of slim, planar, semimodular lattices
• Congruences in slim, planar, semimodular lattices: The Swing Lemma
• An open problem on congruences of finite lattices