English

Symmetric embeddings of free lattices into each other

Rings and Algebras 2018-05-08 v1

Abstract

By a 1941 result of Ph. M. Whitman, the free lattice FL(3) on three generators includes a sublattice SS that is isomorphic to the lattice FL(ω\omega)=FL(0\aleph_0) generated freely by denumerably many elements. The first author has recently "symmetrized" this classical result by constructing a sublattice SS\cong FL(ω)\omega) of FL(3) such that SS is SELFDUALLY POSITIONED in FL(3) in the sense that it is invariant under the natural dual automorphism of Fl(3) that keeps each of the three free generators fixed. Now we move to the furthest in terms of symmetry by constructing a selfdually positioned sublattice SS\cong FL(ω)(\omega) of FL(3) such that every element of SS is fixed by all automorphisms of FL(3). That is, in our terminology, we embed FL(ω)(\omega) into FL(3) in a TOTALLY SYMMETRIC way. Our main result determines all pairs (κ,λ)(\kappa,\lambda) of cardinals greater than 2 such that FL(κ)(\kappa) is embeddable into FL(λ)(\lambda) in a totally symmetric way. Also, we relax the stipulations on SS\congFLκ\kappa by requiring only that SS is closed with respect to the automorphisms of FL(λ)(\lambda), or SS is selfdually positioned and closed with respect to the automorphisms; we determine the corresponding pairs (κ,λ)(\kappa,\lambda) even in these two cases. We reaffirm some of our calculations with a computer program developed by the first author. This program is for the word problem of free lattices, it runs under Windows, and it is freely available.

Keywords

Cite

@article{arxiv.1805.02554,
  title  = {Symmetric embeddings of free lattices into each other},
  author = {Gábor Czédli and Gergő Gyenizse and Ádám Kunos},
  journal= {arXiv preprint arXiv:1805.02554},
  year   = {2018}
}

Comments

22 pages, 2 figures