Some results on embeddings of algebras, after de Bruijn and McKenzie

George M. Bergman

In 1957, N. G. de Bruijn showed that the symmetric group Sym(Ω) on an infinite set Ωcontains a free subgroup on 2^{card(Ω)} generators, and proved a more general statement, a sampl…