arXiv++ Combinatorics

The problem of determining (up to lattice isomorphism) which lattices are sublattices of free lattices is in general an extremely difficult and an unsolved problem. A notable result towards solving this problem was established by Galvin and Jónsson when they classified (up to lattice isomorphism) all of the distributive sublattices of free lattices in 1959. In this paper, we weaken the requirement that of a free lattice be distributive to requiring that such a lattice belongs in the variety of lattices generated by the pentagon N5. Specifically, we use McKenzie's list of join-irreducible covers of the variety generated by N5 to extend Galvin and Jónsson's results by proving that all sublattices of a free lattice that belong to the variety generated by N5 satisfy three structural properties. Afterwards, we explain how the results in this paper can be partially extended to lattices from seven known infinite sequences of semidistributive lattice varieties.

The problem of determining which infinite lattices are (isomorphic to) sublattices of free lattices is in general unsolved and extremely difficult. In this note, we reduce the problem by proving that all locally finite sublattices of free lattices are countable by using a result from Baldwin, Berman, Glass and Hodges on free algebras.

In this paper, we introduce a class of $(P, ω)$-partitions that we call periodic $(P, ω)$-partitions, then prove that such $(P, ω)$-partitions satisfy a homogeneous first-order matrix difference equation. After defining an appropriate counting problem for the above $(P, ω)$-partitions, we show that as a consequence of this equation, periodic $(P, ω)$-partitions can be enumerated with constant coefficient linear recurrence relations. By analysing the above matrix difference equation, we also prove a result for the asymptotic growth rate for the number of periodic $(P, ω)$-partitions. The results of this paper generalizes and strengthens the constant coefficient linear recurrence results proved by Sun and by López, Martínez, Pérez, Pérez, and Basova for enumerating standard Young tableaux on shifted strips with constant width.

In 1959, F.Galvin and B.Jonsson characterized distributive sublattices of free lattices in their paper. In this paper, I will create new proofs to a portion of Galvin and Jónsson's results. Based on these new proofs, I will explore possible generalizations of F.Galvin and B.Jónsson's work by defining \emph{spanning pairs} and proving partial results which may help with analysing finite width sublattices of free lattices; and by making some new observations on finitely generated lattices over semidistributive varieties. The work done in this paper may assist in attacking the following long-standing open problem: Which countable lattices are isomorphic to a sublattice of a free lattice?

A partial algebra construction of Grätzer and Schmidt from "Characterizations of congruence lattices of abstract algebras" (Acta Sci. Math. (Szeged) 24 (1963), 34-59) is adapted to provide an alternative proof to a well-known fact that every finite distributive lattice is representable, seen as a special case of the Finite Lattice Representation Problem. The construction of this proof brings together Birkhoff's representation theorem for finite distributive lattices, an emphasis on boolean lattices when representing finite lattices, and a perspective based on inequalities of partially ordered sets. It may be possible to generalize the techniques used in this approach. Other than the aforementioned representation theorem only elementary tools are used for the two theorems of this note. In particular there is no reliance on group theoretical concepts or techniques (see Péter Pál Pálfy and Pavel Pudĺak), or on well-known methods, used to show certain finite lattice to be representable (see William J. DeMeo), such as the closure method.