An extension theorem for planar semimodular lattices

We prove that every finite distributive lattice $$D$$D can be represented as the congruence lattice of a rectangular lattice $$K$$K in which all congruences are principal. We verify this result in a stronger form as an extension theorem.

[1]  G. Grätzer,et al.  Notes on planar semimodular lattices. IV. The size of a minimal congruence lattice representation with rectangular lattices , 2010, Acta Scientiarum Mathematicarum.

[2]  G. Grätzer,et al.  ON THE INDEPENDENCE THEOREM OF RELATED STRUCTURES FOR MODULAR (ARGUESIAN) LATTICES , 2003 .

[3]  G. Czédli.  A note on congruence lattices of slim semimodular lattices , 2014 .

[4]  G. Grätzer.  The order of principal congruences of a bounded lattice , 2013 .

[5]  G. Grätzer.  Planar Semimodular Lattices: Congruences , 2014 .

[6]  G. Czédli.  Patch extensions and trajectory colorings of slim rectangular lattices , 2014 .

[7]  George Grätzer,et al.  Lattice theory : special topics and applications , 2014 .

[8]  G. Grätzer.  Lattice Theory: Foundation , 1971 .

[9]  G. Grätzer.  Notes on planar semimodular lattices. VI. On the structure theorem of planar semimodular lattices , 2013 .

[10]  Gábor Czédli,et al.  Slim Semimodular Lattices. II. A Description by Patchwork Systems , 2013, Order.

[11]  Composition series in groups and the structure of slim semimodular lattices , 2012, Acta Scientiarum Mathematicarum.

[12]  On finite automorphism groups of simple Arguesian lattices , 1999 .

[13]  Gábor Czédli,et al.  Slim Semimodular Lattices. I. A Visual Approach , 2012, Order.

[14]  G. Grätzer,et al.  Planar Semimodular Lattices: Structure and Diagrams , 2014 .

[15]  E. Schmidt.  Every finite distributive lattice is the congruence lattice of some modular lattice , 1974 .

[16]  G. Grätzer,et al.  A short proof of the congruence representation theorem of rectangular lattices , 2014 .

[17]  E. Schmidt,et al.  Congruence Lattices of Finite Semimodular Lattices , 1998, Canadian Mathematical Bulletin.

[18]  G. Czédli.  Representing homomorphisms of distributive lattices as restrictions of congruences of rectangular lattices , 2012 .

[19]  George Grätzer,et al.  The Congruences of a Finite Lattice , 2005 .

[20]  G. Grätzer,et al.  On congruence lattices of lattices , 1962 .

[21]  G. Grätzer.  Congruences of fork extensions of lattices , 2013 .