For a permutation group H on an infinite set X and a transformation f of X, let 〈f: H〉 = 〈{hfh-1:h є; H}〉 be a group closure of f. We find necessary and sufficient conditions for distinct normal subgroups of the symmetric group on X and a one-to-one transformation f of X to generate distinct group closures of f. Amongst these group closures we characterize those that are left simple, left cancellative, idempotent-free semigroups, whose congruence lattice forms a chain and whose congruences are preserved under automorphisms.
