Embeddings and -envelopes of exact operator systems
arXiv:1603.01491
Abstract
We prove a necessary and sufficient condition for embeddability of an operator system into . Using Kirchberg's theorems on a tensor product of and , we establish results on their operator system counterparts and . Applications of the results proved, including some examples describing -envelopes of operator systems, are also discussed.
12 Pages. To appear in Bulletin of the Australian Mathematical Society