[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Given two [math]C^*[/math]-algebras with traces [math]A,B[/math], prove that these algebras are independent inside [math]A\otimes B[/math], and free inside [math]A*B[/math].