# Symmetric group on finite or cofinite subset is conjugacy-closed

This article gives the statement, and proof, of a particular subgroup in a group being conjugacy-closed: in other words, any two elements of the subgroup that are conjugate in the whole group, are also conjugate in the subgroup

View a complete list of such instances/statements

This article gives the statement, and possibly proof, of a particular subgroup or type of subgroup satisfying a particular subgroup property (namely, Conjugacy-closed subgroup (?)) in a particular group or type of group (namely, Symmetric group (?)).

## Contents

## Statement

Suppose are sets. Then, the symmetric group embeds naturally as a subgroup of : any permutation of extends to a permutation of as the identity map on .

With this embedding, if either or is finite, is a conjugacy-closed subgroup in . In other words, if two elements of are conjugate in , they are also conjugate in .

## Related facts

### Stronger formulation

Symmetric group on finite or cofinite subset is subset-conjugacy-closed: Not only can we perform conjugation of single elements, we can also perform conjugation of subsets inducing exactly the same map on each element of the subset.

### Breakdown for infinite coinfinite subsets

If both and are infinite, then is *not* conjugacy-closed in . `Further information: Symmetric group on infinite coinfinite subset is not conjugacy-closed`

Facts about conjugacy and conjugacy-closedness:

- Finitary symmetric group is conjugacy-closed in symmetric group
- Finitary symmetric group on subset is conjugacy-closed
- Brauer's permutation lemma: This states that the symmetric group is conjugacy-closed in the general linear group.
- Symmetric groups on finite sets are complete, Symmetric groups on infinite sets are complete: Any automorphism of a symmetric group is inner, except when the underlying set has size six. Further, the symmetric groups are centerless.

Some other facts about finitary symmetric groups and symmetric groups related to conjugacy: