Startseite Elementary properties of free lattices
Artikel
Lizenziert
Nicht lizenziert Erfordert eine Authentifizierung

Elementary properties of free lattices

  • J. B. Nation und Gianluca Paolini EMAIL logo
Veröffentlicht/Copyright: 15. Mai 2024
Forum Mathematicum
Aus der Zeitschrift Forum Mathematicum Band 37 Heft 2

Abstract

We start a systematic analysis of the first-order model theory of free lattices. Firstly, we prove that the free lattices of finite rank are not positively indistinguishable, as there is a positive ∃ ∀ -sentence true in 𝐅 3 and false in 𝐅 4 . Secondly, we show that every model of Th ⁢ ( 𝐅 n ) admits a canonical homomorphism into the profinite-bounded completion 𝐇 n of 𝐅 n . Thirdly, we show that 𝐇 n is isomorphic to the Dedekind–MacNeille completion of 𝐅 n , and that 𝐇 n is not positively elementarily equivalent to 𝐅 n , as there is a positive ∀ ∃ -sentence true in 𝐇 n and false in 𝐅 n . Finally, we show that DM ⁢ ( 𝐅 n ) is a retract of Id ⁢ ( 𝐅 n ) and that for any lattice 𝐊 which satisfies Whitman’s condition ( W ) and which is generated by join prime elements, the three lattices 𝐊 , DM ⁢ ( 𝐊 ) , and Id ⁢ ( 𝐊 ) all share the same positive universal first-order theory.

Keywords: Free lattices; profinite completions; model theory; positive first-order logic
MSC 2020: 03C05; 03C64; 06B05

Communicated by Manfred Droste

Funding statement: The second author was supported by project PRIN 2022 “Models, sets and classifications”, prot. 2022TECZJA. The second author also wishes to thank the group GNSAGA of the “Istituto Nazionale di Alta Matematica “Francesco Severi”” (INDAM) to which he belongs.

References

[1] N. Avni, A. Lubotzky and C. Meiri, First order rigidity of non-uniform higher rank arithmetic groups, Invent. Math. 217 (2019), no. 1, 219–240. 10.1007/s00222-019-00866-5Suche in Google Scholar

[2] K. A. Baker and A. W. Hales, From a lattice to its ideal lattice, Algebra Universalis 4 (1974), 250–258. 10.1007/BF02485732Suche in Google Scholar

[3] B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, 2nd ed., Cambridge University, New York, 2002. 10.1017/CBO9780511809088Suche in Google Scholar

[4] A. Day, Splitting lattices generate all lattices, Algebra Universalis 7 (1977), no. 2, 163–169. 10.1007/BF02485425Suche in Google Scholar

[5] A. Day, Characterizations of finite lattices that are bounded-homomorphic images of sublattices of free lattices, Canad. J. Math. 31 (1979), no. 1, 69–78. 10.4153/CJM-1979-008-xSuche in Google Scholar

[6] V. G. Durnev, On positive theories of free semigroups, Problems of the Group and Semigroup Theory, Tula (1972), 122–172. Suche in Google Scholar

[7] P. C. Eklof and A. H. Mekler, Categoricity results for L ∞ ⁢ κ -free algebras, Ann. Pure Appl. Logic 37 (1988), no. 1, 81–99. 10.1016/0168-0072(88)90049-8Suche in Google Scholar

[8] R. Freese, J. Ježek and J. B. Nation, Free Lattices, Math. Surveys Monogr. 42, American Mathematical Society, Providence, 1995. 10.1090/surv/042Suche in Google Scholar

[9] R. Freese and J. B. Nation, Free and finitely presented lattices, Lattice Theory: Special Topics and Applications. Vol. 2, Birkhäuser/Springer, Cham (2016), 27–58. 10.1007/978-3-319-44236-5_2Suche in Google Scholar

[10] N. Funayama, On the completion by cuts of distributive lattices, Proc. Imp. Acad. Tokyo 20 (1944), 1–2. 10.3792/pia/1195573210Suche in Google Scholar

[11] B. Jónsson and J. B. Nation, A report on sublattices of a free lattice, Contributions to Universal Algebra, Colloq. Math. Soc. János Bolyai 17, North-Holland, Amsterdam (1977), 223–257. 10.1016/B978-0-7204-0725-9.50025-3Suche in Google Scholar

[12] O. Kharlampovich and A. Myasnikov, Elementary theory of free non-abelian groups, J. Algebra 302 (2006), no. 2, 451–552. 10.1016/j.jalgebra.2006.03.033Suche in Google Scholar

[13] B. Knaster, Une théorème sur les fonctions d’ensembles, Ann. Soc. Polonaise Math. 6 (1927), 133–134. Suche in Google Scholar

[14] R. McKenzie, Equational bases and nonmodular lattice varieties, Trans. Amer. Math. Soc. 174 (1972), 1–43. 10.2307/1996095Suche in Google Scholar

[15] A. H. Mekler and S. Shelah, L ∞ ⁢ ω -free algebras, Algebra Universalis 26 (1989), no. 3, 351–366. 10.1007/BF01211842Suche in Google Scholar

[16] J. B. Nation, Some varieties of semidistributive lattices, Universal Algebra and Lattice Theory, Lecture Notes in Math. 1149, Springer, Berlin (1985), 198–223. 10.1007/BFb0098466Suche in Google Scholar

[17] A. Nies, Aspects of free groups, J. Algebra 263 (2003), no. 1, 119–125. 10.1016/S0021-8693(02)00665-8Suche in Google Scholar

[18] N. A. Peryazev, Positive theories of free monoids, Algebra Logic 32 (1993), 80–86. 10.1007/BF02260878Suche in Google Scholar

[19] Z. Sela, Diophantine geometry over groups. VI. The elementary theory of a free group, Geom. Funct. Anal. 16 (2006), no. 3, 707–730. 10.1007/s00039-006-0565-8Suche in Google Scholar

[20] S. Shelah, Classification Theory and the Number of Nonisomorphic Models, 2nd ed., Stud. Logic Found. Math. 92, North-Holland, Amsterdam, 1990. Suche in Google Scholar

[21] T. Skolem, Selected Works in Logic, Universitetsforlaget, Oslo, 1970. Suche in Google Scholar

[22] W. Szmielew, Elementary properties of Abelian groups, Fund. Math. 41 (1955), 203–271. 10.4064/fm-41-2-203-271Suche in Google Scholar

[23] A. Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific J. Math. 5 (1955), 285–309. 10.2140/pjm.1955.5.285Suche in Google Scholar

[24] F. Wehrung, Sublattices of complete lattices with continuity conditions, Algebra Universalis 53 (2005), no. 2–3, 149–173. 10.1007/s00012-005-1878-4Suche in Google Scholar

[25] P. M. Whitman, Free lattices, Ann. of Math. (2) 42 (1941), 325–330. 10.2307/1969001Suche in Google Scholar
Received: 2023-10-10
Revised: 2024-03-20
Published Online: 2024-05-15
Published in Print: 2025-02-01

© 2024 Walter de Gruyter GmbH, Berlin/Boston

Artikel in diesem Heft

  1. Frontmatter
  2. Triangles with one fixed side–length, a Furstenberg-type problem, and incidences in finite vector spaces
  3. Existence and multiplicity of solutions for fractional Schrödinger-p-Kirchhoff equations in ℝ N
  4. Estimates of Picard modular cusp forms
  5. Some q-supercongruences from a q-analogue of Watson's 3 F 2 summation
  6. Existence of strong solutions for one-dimensional reflected mixed stochastic delay differential equations
  7. Free groups generated by two unipotent maps
  8. Degenerate Schrödinger--Kirchhoff {(p,N)}-Laplacian problem with singular Trudinger--Moser nonlinearity in ℝ N
  9. Colored multizeta values in positive characteristic
  10. Simultaneous nonvanishing of central L-values with large level
  11. Laplace convolutions of weighted averages of arithmetical functions
  12. Cohomological properties of maximal pro-p Galois groups that are preserved under profinite completion
  13. On the geometric trace of a generalized Selberg trace formula
  14. Elementary properties of free lattices
  15. Weighted estimates for product singular integral operators in Journé’s class on RD-spaces
  16. Small generators of abelian number fields
  17. Pointwise convergence and nonlinear smoothing of the generalized Zakharov–Kuznetsov equation
  18. Weighted bilinear multiplier theorems in Dunkl setting via singular integrals
https://doi.org/10.1515/forum-2023-0358
Schlagwörter für diesen Artikel
Free lattices; profinite completions; model theory; positive first-order logic

Artikel in diesem Heft

  1. Frontmatter
  2. Triangles with one fixed side–length, a Furstenberg-type problem, and incidences in finite vector spaces
  3. Existence and multiplicity of solutions for fractional Schrödinger-p-Kirchhoff equations in ℝ N
  4. Estimates of Picard modular cusp forms
  5. Some q-supercongruences from a q-analogue of Watson's 3 F 2 summation
  6. Existence of strong solutions for one-dimensional reflected mixed stochastic delay differential equations
  7. Free groups generated by two unipotent maps
  8. Degenerate Schrödinger--Kirchhoff {(p,N)}-Laplacian problem with singular Trudinger--Moser nonlinearity in ℝ N
  9. Colored multizeta values in positive characteristic
  10. Simultaneous nonvanishing of central L-values with large level
  11. Laplace convolutions of weighted averages of arithmetical functions
  12. Cohomological properties of maximal pro-p Galois groups that are preserved under profinite completion
  13. On the geometric trace of a generalized Selberg trace formula
  14. Elementary properties of free lattices
  15. Weighted estimates for product singular integral operators in Journé’s class on RD-spaces
  16. Small generators of abelian number fields
  17. Pointwise convergence and nonlinear smoothing of the generalized Zakharov–Kuznetsov equation
  18. Weighted bilinear multiplier theorems in Dunkl setting via singular integrals
Jetzt anmelden und 20% sparen
Institutioneller Zugang
Wie funktioniert Authentifizierung?
Haben Sie eine Idee, wie wir unsere Website verbessern können?
Bitte schreiben Sie uns.
© 2025 De Gruyter Brill
Heruntergeladen am 1.11.2025 von https://www.degruyterbrill.com/document/doi/10.1515/forum-2023-0358/html
Button zum nach oben scrollen