Free modular lattices
HTML articles powered by AMS MathViewer
- by Ralph Freese PDF
- Trans. Amer. Math. Soc. 261 (1980), 81-91 Request permission
Abstract:
It is shown that the word problem for the free modular lattice on five generators is recursively unsolvable.References
- Benno Artmann, On coordinates in modular lattices with a homogeneous basis, Illinois J. Math. 12 (1968), 626–648. MR 236075
- Garrett Birkhoff, Lattice Theory, Revised edition, American Mathematical Society Colloquium Publications, Vol. 25, American Mathematical Society, New York, N. Y., 1948. MR 0029876
- Paul Moritz Cohn, Skew field constructions, London Mathematical Society Lecture Note Series, No. 27, Cambridge University Press, Cambridge-New York-Melbourne, 1977. MR 0463237 P. Crawley and R. P. Dilworth, Algebraic theory of lattices, Prentice-Hall, Englewood Cliffs, N. J., 1973.
- Martin Davis, Computability and unsolvability, McGraw-Hill Series in Information Processing and Computers, McGraw-Hill Book Co., Inc., New York-Toronto-London, 1958. MR 0124208
- A. Day, C. Herrmann, and R. Wille, On modular lattices with four generators, Algebra Universalis 2 (1972), 317–323. MR 316331, DOI 10.1007/BF02945042
- R. Dedekind, Ueber die von drei Moduln erzeugte Dualgruppe, Math. Ann. 53 (1900), no. 3, 371–403 (German). MR 1511094, DOI 10.1007/BF01448979
- R. P. Dilworth, The arithmetical theory of Birkhoff lattices, Duke Math. J. 8 (1941), 286–299. MR 5094
- R. P. Dilworth and Ralph Freese, Generators of lattice varieties, Algebra Universalis 6 (1976), no. 3, 263–267. MR 427175, DOI 10.1007/BF02485834
- Trevor Evans, Word problems, Bull. Amer. Math. Soc. 84 (1978), no. 5, 789–802. MR 498063, DOI 10.1090/S0002-9904-1978-14516-9
- Ralph Freese, Breadth two modular lattices, Proceedings of the University of Houston Lattice Theory Conference (Houston, Tex., 1973) Dept. Math., Univ. Houston, Houston, Tex., 1973, pp. 409–451. MR 0398926
- Ralph Freese, Planar sublattices of $\textrm {FM}(4)$, Algebra Universalis 6 (1976), no. 1, 69–72. MR 398927, DOI 10.1007/BF02485816
- R. Freese, Some varieties of modular lattices not generated by their finite dimensional members, Contributions to universal algebra (Colloq., József Attila Univ., Szeged, 1975) Colloq. Math. Soc. János Bolyai, Vol. 17, North-Holland, Amsterdam, 1977, pp. 133–144. MR 0485608
- Ralph Freese, The variety of modular lattices is not generated by its finite members, Trans. Amer. Math. Soc. 255 (1979), 277–300. MR 542881, DOI 10.1090/S0002-9947-1979-0542881-0
- Ralph Freese, Projective geometries as projective modular lattices, Trans. Amer. Math. Soc. 251 (1979), 329–342. MR 531987, DOI 10.1090/S0002-9947-1979-0531987-8 —, Free modular lattices, Notices Amer. Math. Soc. 26 (1979), #79T-A4.
- M. M. Gluhov, Algorithmic solvability of the word problem for completely free modular lattices, Sibirsk. Mat. Ž. 5 (1964), 1027–1034 (Russian). MR 0214517
- M. Hall and R. P. Dilworth, The imbedding problem for modular lattices, Ann. of Math. (2) 45 (1944), 450–456. MR 10541, DOI 10.2307/1969187
- Christian Herrmann, On the equational theory of submodule lattices, Proceedings of the University of Houston Lattice Theory Conference (Houston, Tex., 1973) Dept. Math., Univ. Houston, Houston, Tex., 1973, pp. 105–118. MR 0406882 —, Concerning M. M. Gluhov’s paper on the word problem for free modular lattices, Algebra Universalis 5 (1975), 445.
- Christian Herrmann, On modular lattices generated by two complemented pairs, Houston J. Math. 2 (1976), no. 4, 513–523. MR 424632
- Christian Herrmann and András Huhn, Zum Wortproblem für freie Untermodulverbände, Arch. Math. (Basel) 26 (1975), no. 5, 449–453. MR 401562, DOI 10.1007/BF01229766
- C. Herrmann and A. P. Huhn, Lattices of normal subgroups which are generated by frames, Lattice theory (Proc. Colloq., Szeged, 1974) Colloq. Math. Soc. János Bolyai, Vol. 14, North-Holland, Amsterdam, 1976, pp. 97–136. MR 0447064
- George Hutchinson, Recursively unsolvable word problems of modular lattices and diagram-chasing, J. Algebra 26 (1973), 385–399. MR 332599, DOI 10.1016/0021-8693(73)90001-X
- George Hutchinson, Embedding and unsolvability theorems for modular lattices, Algebra Universalis 7 (1977), no. 1, 47–84. MR 441804, DOI 10.1007/BF02485417
- George Hutchinson and Gábor Czédli, A test for identities satisfied in lattices of submodules, Algebra Universalis 8 (1978), no. 3, 269–309. MR 469840, DOI 10.1007/BF02485400
- Bjarni Jónsson, Arguesian lattices of dimension $n\leq 4$, Math. Scand. 7 (1959), 133–145. MR 109800, DOI 10.7146/math.scand.a-10567 —, Varieties of lattices: some open problems, Colloq. Math. Soc. J. Bolyai, Universal Algebra Conference, Esztergom, Hungary, 1977.
- Angus Macintyre, The word problem for division rings, J. Symbolic Logic 38 (1973), 428–436. MR 337554, DOI 10.2307/2273039
- Fumitomo Maeda, Kontinuierliche Geometrien, Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Band 95, Springer-Verlag, Berlin-Göttingen-Heidelberg, 1958 (German). MR 0090579
- John von Neumann, Continuous geometry, Princeton Mathematical Series, No. 25, Princeton University Press, Princeton, N.J., 1960. Foreword by Israel Halperin. MR 0120174
- Günter Sauer, Wolfgang Seibert, and Rudolf Wille, On free modular lattices over partial lattices with four generators, Proceedings of the University of Houston Lattice Theory Conference (Houston, Tex., 1973) Dept. Math., Univ. Houston, Houston, Tex., 1973, pp. 332–382. MR 0406885
- Marcel Paul Schützenberger, Le problème des mots dans les treillis modulaires libres, C. R. Acad. Sci. Paris 237 (1953), 507–508 (French). MR 57222
- Kensuke Takeuchi, On free modular lattices, Jpn. J. Math. 21 (1951), 53–65, (1952). MR 51814, DOI 10.4099/jjm1924.21.0_{5}3
- Kensuke Takeuchi, On free modular lattices. II, Tohoku Math. J. (2) 11 (1959), 1–12. MR 106859, DOI 10.2748/tmj/1178244623
- Philip M. Whitman, Free lattices, Ann. of Math. (2) 42 (1941), 325–330. MR 3614, DOI 10.2307/1969001
- Philip M. Whitman, Free lattices. II, Ann. of Math. (2) 43 (1942), 104–115. MR 6143, DOI 10.2307/1968883 —, review of [33], Math. Rev. 15 (1954), 192.
- Philip M. Whitman, Status of word problems for lattices, Proc. Sympos. Pure Math., Vol. II, American Mathematical Society, Providence, R.I., 1961, pp. 17–21. MR 0124246
- Rudolf Wille, Über modulare Verbände, die von einer endlichen halbgeordneten Menge frei erzeugt werden, Math. Z. 131 (1973), 241–249 (German). MR 360390, DOI 10.1007/BF01187242
- L. Lipshitz, The undecidability of the word problems for projective geometries and modular lattices, Trans. Amer. Math. Soc. 193 (1974), 171–180. MR 364040, DOI 10.1090/S0002-9947-1974-0364040-2
Additional Information
- © Copyright 1980 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 261 (1980), 81-91
- MSC: Primary 06C05; Secondary 03D40
- DOI: https://doi.org/10.1090/S0002-9947-1980-0576864-X
- MathSciNet review: 576864