{"id":"arxiv/2604.16904","url":"https://arxiv.org/abs/2604.16904","tags":["math.OA"],"score":0,"title":"An order-theoretic characterization of C*-algebras","domain":"math.OA","source":"arxiv","authors":["Samuel Tiersma"],"reviews":0,"subject":"math.OA","summary":"We give an order-theoretic characterization of the essential image of the forgetful functor from the category of real/complex unital C*-algebras to the category of real/complex unital operator systems. It is based on the characterization of JB-algebras among the order unit spaces in terms of the existence of gauge-reversing bijections obtained by M. Roelands and the author in arXiv:2507.09526. To this end, we show that a unital operator system is completely order isomorphic to a C*-algebra if and only if each of its matrix spaces admits a compatible JB-algebra structure. As an application,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-18","reactions":{}}