There are orthomodular lattices without non-trivial group-valued states: A computer-based construction (Q1329316)

From MaRDI portal
Revision as of 21:29, 18 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
There are orthomodular lattices without non-trivial group-valued states: A computer-based construction
scientific article

    Statements

    There are orthomodular lattices without non-trivial group-valued states: A computer-based construction (English)
    0 references
    0 references
    22 August 1994
    0 references
    Greechie has shown that there are orthomodular lattices without non- trivial positive real-valued states. P. Pták posed the problem of whether there are also orthomodular lattices without non-trivial group- valued states. In this note we describe the construction of such an example. Recently, P. Pták informed me that Navara independently found such an example with a quite different construction. The example given is a finite orthomodular lattice having 73 atoms and is constructed by a computer calculation. The proof that the constructed orthomodular lattice does not admit any non-trivial group-valued state is reduced to the proof that a certain homogeneous system of linear equations in 74 unknowns has no non-trivial solution; because of the size of this system calculation by hand would be too lengthy (even though theoretically not impossible). The two programs (for constructing the orthomodular lattice and for solving the system of equations) are not explicitly included in this note, but can immediately be reproduced according to the description given here.
    0 references
    orthomodular lattices
    0 references
    group-valued states
    0 references

    Identifiers