S. V. Popovych

It was proved in~\cite{Pop09b} that a $*$-algebra is $C^*$-representable, i.e., $*$-isomorphic to a self-adjoint subalgebra of bounded operators acting on a Hilbert space if and only if there is an algebraically admissible cone in the real space of Hermitian elements of the algebra such that the algebra unit is an Archimedean order unit. In the present paper we construct such cones in free products of $C^*$-representable $*$-algebras generated by unitaries. We also express the reducing ideal of any algebraically bounded $*$-algebra with corepresentation $\mathcal F/\mathcal J$ where $\mathcal F$ is a free algebra as a closure of the ideal $\mathcal J$ in some universal enveloping $C^*$-algebra.