Finitely generated free modular ortholattices. I
A description is given of the n-generated free algebras in the variety of modular ortholattices generated by an ortholattice MO2 of height 2 with 4 atoms. In the subvariety lattice of orthomodular lattices, the variety V(MO2) is the unique cover of the variety of Boolean algebras, in which n-generat...
| Main Authors: | , , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
1997
|
| _version_ | 1826286990684848128 |
|---|---|
| author | Haviar, M Konopka, P Priestley, H Wegener, C |
| author_facet | Haviar, M Konopka, P Priestley, H Wegener, C |
| author_sort | Haviar, M |
| collection | OXFORD |
| description | A description is given of the n-generated free algebras in the variety of modular ortholattices generated by an ortholattice MO2 of height 2 with 4 atoms. In the subvariety lattice of orthomodular lattices, the variety V(MO2) is the unique cover of the variety of Boolean algebras, in which n-generated free algebras were described by G. Boole in 1854. It is shown that the n-generated free algebra in the variety V(MO2) is a product of the n -generated free Boolean algebra 22″ and Φ(n) copies of the generator MO2, and formula is presented for Φ(n). To achieve this result, algebraic methods of the theory of orthomodular lattices are combined with recently developed methods of natural duality theory for varieties of algebras. |
| first_indexed | 2024-03-07T01:51:54Z |
| format | Journal article |
| id | oxford-uuid:9a622f1f-6dcc-46d7-9cfe-c8fe4a0653a5 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T01:51:54Z |
| publishDate | 1997 |
| record_format | dspace |
| spelling | oxford-uuid:9a622f1f-6dcc-46d7-9cfe-c8fe4a0653a52022-03-27T00:21:02ZFinitely generated free modular ortholattices. IJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:9a622f1f-6dcc-46d7-9cfe-c8fe4a0653a5EnglishSymplectic Elements at Oxford1997Haviar, MKonopka, PPriestley, HWegener, CA description is given of the n-generated free algebras in the variety of modular ortholattices generated by an ortholattice MO2 of height 2 with 4 atoms. In the subvariety lattice of orthomodular lattices, the variety V(MO2) is the unique cover of the variety of Boolean algebras, in which n-generated free algebras were described by G. Boole in 1854. It is shown that the n-generated free algebra in the variety V(MO2) is a product of the n -generated free Boolean algebra 22″ and Φ(n) copies of the generator MO2, and formula is presented for Φ(n). To achieve this result, algebraic methods of the theory of orthomodular lattices are combined with recently developed methods of natural duality theory for varieties of algebras. |
| spellingShingle | Haviar, M Konopka, P Priestley, H Wegener, C Finitely generated free modular ortholattices. I |
| title | Finitely generated free modular ortholattices. I |
| title_full | Finitely generated free modular ortholattices. I |
| title_fullStr | Finitely generated free modular ortholattices. I |
| title_full_unstemmed | Finitely generated free modular ortholattices. I |
| title_short | Finitely generated free modular ortholattices. I |
| title_sort | finitely generated free modular ortholattices i |
| work_keys_str_mv | AT haviarm finitelygeneratedfreemodularortholatticesi AT konopkap finitelygeneratedfreemodularortholatticesi AT priestleyh finitelygeneratedfreemodularortholatticesi AT wegenerc finitelygeneratedfreemodularortholatticesi |