The free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators. (Q1771944)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators. |
scientific article |
Statements
The free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators. (English)
0 references
19 April 2005
0 references
It is shown that every at most countable orthomodular lattice is embeddable into a three-generated orthomodular lattice. This yields that the free orthomodular lattice on countable many generators is a subalgebra of the free orthomodular lattice on three generators. This answers a question raised by G.\ Bruns in 1976, which is listed as Problem 15 in G. Kalmbach's book.
0 references
free orthomodular lattice
0 references
countable generated orthomodular lattice
0 references
