Isomorphisms of \(\text{Alg}{\mathcal L}_{2n(k)}\) (Q1380136): Difference between revisions

Let \({\mathcal H}\) be a complex Hilbert space. Suppose that \({\mathcal L}_{2n(i)}\) is the subspace lattice of orthogonal projections generated by \[ \begin{multlined} \{[e_1],[e_3],\dots, [e_{2n-1}], [e_1,e_2,e_3],[e_3,e_4,e_5],\dots,\\ [e_{2i-3},e_{2i-2},e_{2i-1}], [e_{2i-1}, e_{2i}], [e_{2i+1}, e_{2i+2}, e_{2i+ 3}],\dots, [e_{2n- 1}, e_{2n}]\}\end{multlined} \] \((i= 1,2,\dots, n-1)\) where \(e_{-1}= 0\) and \(e_0= 0\) whenever \(i= 1\). The following interesting theorem is proved: Theorem. Let \(\varphi: \text{Alg }{\mathcal L}_{2n(i)}\to \text{Alg }{\mathcal L}_{2n(i)}\) be an isomorphism. Then there exists an invertible operator \(T\) such that \(\varphi(A)= TAT^{-1}\) for all \(A\) in \(\text{Alg }{\mathcal L}_{2n(i)}\).