Automorphisms and symmetries of quantum logics

Abstract

Given an amalgam of groups

then every quantum logicQ ₀ = (L ₀,M ₀) (L ₀ is aσ-orthomodular poset,M ₀ is a full set of states on it) satisfying some reasonable conditions can be embedded in a quantum logicQ = (L, M), in which (1) all the automorphisms ofL form a group ∼-G ₁, (2) all the automorphisms ofM form a group ∼-G ₂, and (3) all the symmetries ofQ form a group ∼-G ₀. The quantum logic of all closed subspaces of a Hilbert spaceH and all its measures satisfies the conditions required fromQ ₀; hence, enlarging it, one can obtain “anything.”