A representation of cyclically compact operators on Kaplansky-Hilbert modules (Q2634769)

In this paper, the author develops a representation of cyclically compact self-adjoint operators, which generalizes the spectral theorem for compact self-adjoint operators on Hilbert spaces, in the Kaplansky-Hilbert module (or \(AW^*\)-module) setting, and characterizes the global eigenvalues of such operators by a sequence consisting of their global eigenvalues taken in the corresponding representation. Note that cyclically compact operators in Banach spaces [\textit{A. G. Kusraev}, Vladikavkaz. Mat. Zh. 2, No. 1, 10--23 (2000; Zbl 1030.47052)] and proofs are based on techniques from the theory of Boolean-valued analysis, which the author does not use in his work.