Free products of $C^*$-algebras Selfadjoint operator algebras (C*-algebras) mathematics