Let $\mathbb{K}$ denote an algebraically closed field and $A$ a free product of finitely many semisimple associative $\mathbb{K}$-algebras. We associate to $A$ a finite acyclic quiver $\Gamma$ and show that the category of finite dimensional $A$-modules is equivalent to a full subcategory of the category ${\rm rep}(\Gamma)$ of finite dimensional representations of $\Gamma$. Under this equivalence, the simple $A$-modules correspond exactly to the $\theta$-stable representations of $\Gamma$ for some stability parameter $\theta$. This gives us necessary conditions for an $A$-module to be simple, conditions which are also sufficient if the module is in general position. Even though there are indecomposable modules that are not simple, we prove that a module in general position is always semisimple. We also discuss the construction of arbitrary finite dimensional modules using nilpotent representations of quivers. Finally, we apply our results to the case of a free product of finite groups when $\mathbb{K}$ has characteristic zero.
Comment: 25 pages