# Conjugate subgroups

From Groupprops

*This article defines an equivalence relation over the collection of subgroups within the same big group*

## Contents

## Definition

### Symbol-free definition

Two subgroups of a group are termed **conjugate subgroups** if the following equivalent conditions are satisfied:

- There is an inner automorphism of the group that maps one subgroup bijectively to the other.
- They are in the same orbit under the group's action on its subgroup via inner automorphisms
- There is an action of the group on some set, where the two subgroups occur as isotropy subgroups of points in the same orbit.

### Definition with symbols

Two subgroups and of a group are termed **conjugate subgroups** if there is a in such that . Note that *exact equality* must hold.

### Why it is an equivalence relation

If we use the first definition, we need to justify as follows:

- Reflexivity: Because the identity map is an inner automorphism
- Symmetry: Because the inverse of an inner automorphism is also an inner automorphism
- Transitivity: Because the composite of inner automorphisms is an inner automorphism

The second definition makes it more or less obvious that it is an equivalence relation.

## Relation with other equivalence relations

### Stronger relations

### Weaker relations

- Automorphic subgroups
- Elementarily equivalently embedded subgroups
- Isomorphic subgroups: Two subgroups that are isomorphic as groups.