Revision as of 19:38, 21 April 2025 by Bot (Created page with "<div class="d-none"><math> \newcommand{\mathds}{\mathbb}</math></div> {{Alert-warning|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.")
BBot
Apr 21'25
Exercise
[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.