Abstract:
A constructive proof is given to the isomorphic embeddability of a free product of a finite number of finite groups into a group of finitely automatic permutations over an alphabet in which the number of symbols is equal to the maximal order of the free factors.