In this paper, we describe the Grothendieck groups and of an absolute matrix order unit space for unitary and partial unitary elements respectively. For this purpose, we study some basic properties of unitary and partial unitary elements, and define their path homotopy equivalence. The construction of follows in a almost similar manner as that of We prove that and are ordered abelian groups. We also prove that and are functors from the category of absolute matrix order unit spaces with morphisms as unital completely -preserving maps to the category of ordered abelian groups. Later, we show that under certain conditions, quotient of is isomorphic to the direct sum of and where is the Grothendieck group for order projections.

生成讲解博客的中文版本

生成AI智能校验的中文版本