Decompositions of a \(C\)-algebra (Q884176)

Summary: We prove that if \(A\) is a \(C\)-algebra, then for each \(a\in A\), \(A_a =\{x\in A\mid x\leq a\}\) is itself a \(C\)-algebra and is isomorphic to the quotient algebra \(A/\theta_a\) of \(A\) where \(\theta_a=\{(x,y)\in A\times A\mid a\wedge x=a\wedge y\}\). If \(A\) is \(C\)-algebra with \(T\), we prove that for every \(a\in B(A)\), the centre of \(A\), \(A\) is isomorphic to \(A_a \times A_{a'}\) and that if \(A\) is isomorphic to \(A_1\times A_2\), then there exists \(a\in B(A)\) such that \(A_1\) is isomorphic to \(A_a\) and \(A_2\) is isomorphic to \(A_{a'}\). Using this decomposition theorem, we prove that if \(a,b\in B(A)\) with \(a\wedge b=F\), then \(A_a\) is isomorphic to \(A_b\), if and only if there exists an isomorphism \(\varphi\) on \(A\) such that \(\varphi(a)=b\).