[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.

Prove that given two algebras [math](A,tr)[/math] and [math](B,tr)[/math], these algebras are free inside their free product [math]A*B[/math], endowed with its canonical free product trace.