 Indeed, "U" then contains a symmetric group of arbitrarily large order, and any
group admits a monomorphism to a group of permutations, as explained above.Let "G" be a finite group admitting two embeddings to "U".Since "U" is a direct limit and "G" is finite, the 
images of these two embeddings belong to 
formula_11.