Symmetric embeddings of free lattices into each other
Abstract
By a 1941 result of Ph. M. Whitman, the free lattice FL(3) on three generators includes a sublattice that is isomorphic to the lattice FL()=FL() generated freely by denumerably many elements. The first author has recently "symmetrized" this classical result by constructing a sublattice FL( of FL(3) such that 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 FL of FL(3) such that every element of is fixed by all automorphisms of FL(3). That is, in our terminology, we embed FL into FL(3) in a TOTALLY SYMMETRIC way. Our main result determines all pairs of cardinals greater than 2 such that FL is embeddable into FL in a totally symmetric way. Also, we relax the stipulations on FL by requiring only that is closed with respect to the automorphisms of FL, or is selfdually positioned and closed with respect to the automorphisms; we determine the corresponding pairs 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