$K_0$-group of absolute Matrix order unit spaces

TL;DR

This paper develops the $K_0$-group for absolute matrix order unit spaces, establishing its properties, functoriality, and order structure, thereby extending the algebraic framework of operator spaces.

Contribution

It introduces the $K_0$-group for absolute matrix order unit spaces, analyzes its functoriality, and explores its ordered structure, which is a novel extension in this area.

Findings

$K_0$ is a functor from absolute matrix order unit spaces to abelian groups.

Under certain conditions, $K_0(V)$ forms an ordered abelian group.

The functor $K_0$ is additive on orthogonal unital maps.

Abstract

In this paper, we describe the Grothendieck group $K_0(V)$ of an absolute matrix order unit space $V$. For this purpose, we discuss the direct limit of absolute matrix order unit spaces. We show that $K_0$ is a functor from category of absolute matrix order unit spaces with morphisms as unital completely $\vert \cdot \vert$-preserving maps to category of abelian groups. We study order structure on $K_0(V)$ and prove that under certain condition $K_0(V)$ is an ordered abelian group. We also show that the functor $K_0$ is additive on orthogonal unital completely $\vert \cdot \vert$-preserving maps.