The lattice of definable equivalence relations in homogeneous n-dimensional permutation structures
The lattice of definable equivalence relations in homogeneous \(n\)-dimensional permutation structures
Summary: \textit{P. J. Cameron} [Electron. J. Comb. 9, No. 2, Research paper R2, 9 p. (2002--2003; Zbl 1039.05001)] classified the homogeneous permutations (homogeneous structures with 2 linear orders), and posed the problem of classifying the homogeneous \(n\)-dimensional permutation structures (homogeneous structures with \(n\) linear orders) for all finite \(n\). We prove here that the lattice of \(\emptyset\)-definable equivalence relations in such a structure can be any finite distributive lattice, providing many new imprimitive examples of homogeneous finite dimensional permutation structures. We conjecture that the distributivity of the lattice of \(\emptyset\)-definable equivalence relations is necessary, and prove this under the assumption that the reduct of the structure to the language of \(\emptyset\)-definable equivalence relations is homogeneous. Finally, we conjecture a classification of the primitive examples, and confirm this in the special case where all minimal forbidden structures have order 2.
- Homogeneous 3-dimensional permutation structures
- The classification of homogeneous finite-dimensional permutation structures
- \(\Lambda \)-ultrametric spaces and lattices of equivalence relations
- Перестановочные решетки отношений эквивалентности на декартовых произведениях и согласованные с ними системы уравнений. II
- Ramsey expansions of -ultrametric spaces
This page was built for publication: The lattice of definable equivalence relations in homogeneous \(n\)-dimensional permutation structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q504983)
