Abstract
A description is given of then-generated free algebras\(F_{\mathcal{M}\mathcal{O}_k } (n),{\mathbf{ }}n > 2\), in the varieties\(\mathcal{M}\mathcal{O}_k ,{\mathbf{ }}k > 2\), of modular ortholattices generated by the ortholatticesMO k of height 2 with 2k atoms. Algebraic methods of the theory of orthomodular lattices are combined with natural duality theory for varieties of algbras. The procedures involved in the analysis of\(F_{\mathcal{M}\mathcal{O}_k } (n)\) generalize the techniques applied in the preceding paper, where the casesk=2,n>2 were solved. The free algebras are decomposed by central elements into products of canonical intervals. Previous methods are refined to accommodate the fact that the decompositions of\(F_{\mathcal{M}\mathcal{O}_k } (n)\) lead to intervals ofk−1 different types. Their structures are obtained from natural dualities for the varieties\(\mathcal{M}\mathcal{O}_k ,k > 2\). Finally, Stirling numbers of the second kind are used to count the number of intervals. The structures of the free algebras\(F_{\mathcal{M}\mathcal{O}_k } (n)\) fork, n≤10 are explicity displayed in a table.
Similar content being viewed by others
References
Aigner, M. (1979),Combinatorial Theory, Springer-Verlag, Berlin.
Beran, L. (1984).Orthomodular Lattices. Algebraic Approach, Academic, Prague.
Birkhoff, G., and von Neumann, J. (1936). The logic of quantum mechanics.Annals of Mathematics,37, pp. 823–843 [InJ. von Neumann Collected Works, Pergamon Press, Oxford (1961), Vol. IV, pp. 105–125.
Bruns, G. (1976). Free ortholattices,Canadian Journal of Mathematics,28, 977–985.
Clark, D. M., and Davey, B. A. (1996). When is a natural duality “good”?Algebra Universalis,35, 265–295.
Clark, D. M., and Davey, B. A. (1998).Natural Dualities for the Working Algebraist, Cambridge University Press, Cambridge.
Davey, B. A. (1993). Duality theory on ten dollars a day, inAlgebras and Orders, I. G. Rosenberg and G. Sabidussi, eds., Kluwer Dordrecht, pp. 71–111.
Davey, B. A., and Werner, H. (1983). Dualities and equivalences for varieties of algebras, inContributions to Lattice Theory (Szeged, 1980), A. P. Huhn and E. T. Schmidt, eds., North-Holland, Amsterdam, pp. 101–275.
Davey, B. A., Haviar, M., and Priestley, H. A. (1995). The syntax and semantics of entailment in duality theory,Journal of Symbolic Logic,60, 1087–1114.
Grätzer, G. (1978).General Lattice Theory, Birkhäuser-Verlag, Basel.
Haviar, M., Konôpka, P., Priestley, H. A., and Wegener, C. B. (1997). Finitely generated free modular ortholattices I,International Journal of Theoretical Physics, this issue.
Husimi, K. (1937), Studies on the foundations of the quantum mechanics I.,Proceedings of the Physico-Mathematical Society of Japan,19, 766–789.
Kalmbach, G. (1983).Orthomodular Lattices, Academic Press, London.
MacLaren, M. D. (1964). Atomic orthocomplemented lattices,Pacific Journal of Mathematics,14, 597–612.
Neumann, P. M., Stoy, G. A., and Thompson, E. C. (1994).Groups and Geometry, Oxford University Press, Oxford.
Pták, P., and Pulmanová, S. (1991).Orthomodular Structures as Quantum Logics, Kluwer, Dordrecht.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Haviar, M., Konôpka, P. & Wegener, C.B. Finitely generated free modular ortholattices. II. Int J Theor Phys 36, 2661–2679 (1997). https://doi.org/10.1007/BF02435705
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02435705