Embeddings into orthomodular lattices with given centers, state spaces and automorphism groups (Q5929969)

The authors prove the independence of basic attributes of an orthomodular lattice (an event structure of a quantum system) -- the group of automorphisms, the center, the set of finitely additive measures (state space), the substructures -- by constructing an orthomodular lattice with a given nontrivial Boolean algebra as its center, with a given group as its automorphism group, with a given compact convex set affine homeomorphic to its state space and with a given non-stateless orthomodular lattice as its subalgebra. This paper substantially contributes to the theory of orthomodular structures. An analogous result for orthomodular posets was published by the second author [Int. J. Theor. Phys. 31, 925-935 (1992; Zbl 0771.03021)].