We show that the
C∗-algebra of the left regular representation of the free product of two nontrivial
groups, not both of order 2, is simple and has a unique tracial state. In the case of
the free product of cyclic groups, we investigate weak versus strong triviality for
extensions of this C∗-algebra. One consequence of our extension-theoretic results is
that the algebras of n × n matrices (n = 1,2,⋯) over the C∗-algebra of the left
regular representation of the free product of two cyclic groups are pairwise
nonisomorphic.