Automorphisms and symmetries of quantum logics (Q911586)

Let L be a quantum logic and let A(L) (S(L),C(L), resp.) denote the group of all automorphisms of L (the group of all symmetries of L, the group of all automorphisms of L which preserve the convex combinations of states, resp.). Then we have natural embeddings i: S(L)\(\to A(L)\) and e: S(L)\(\to C(L)\). Thus, with these embeddings, the triple S(L), A(L) and C(L) forms an amalgam of groups. The author raises the following interesting and highly nontrivial question: Given an amalgam of groups, can we always find its ``quantum logic'' representation as described above? She proves that we can. She also ensures that the representation enjoys properties significant within quantum theories. The proof she provides uses an advanced graph-theory technique.