# Inner implies class-preserving

DIRECT: The fact or result stated in this article has a trivial/direct/straightforward proof provided we use the correct definitions of the terms involved
View other results with direct proofs
VIEW FACTS USING THIS: directly | directly or indirectly, upto two steps | directly or indirectly, upto three steps|
This article gives the statement and possibly, proof, of an implication relation between two automorphism properties. That is, it states that every automorphism satisfying the first automorphism property (i.e., inner automorphism) must also satisfy the second automorphism property (i.e., class-preserving automorphism)
View all automorphism property implications | View all automorphism property non-implications

## Statement

### Property-theoretic statement

The automorphism property of being an inner automorphism is stronger than, or implies, the automorphism property of being a class-preserving automorphism (also called class automorphism).

### Verbal statement

Any inner automorphism of a group is a class automorphism: it sends every element to its conjugacy class.

## Definitions used

### Inner automorphism

Further information: Inner automorphism

An automorphism $\sigma$ of a group $G$ is termed an inner automorphism if there exists $h \in G$ such that for every $g \in G$, $\sigma(g) = hgh^{-1}$

### Class-preserving automorphism

Further information: Class-preserving automorphism

An automorphism $\sigma$ of a group $G$ is termed a class automorphism if, for every $g \in G$, there exists $h \in G$ such that $\sigma(g) = hgh^{-1}$

## Converse

The converse of this statement is not true. Further information: Class-preserving not implies inner

## Proof

### Hands-on proof

Given: A group $G$, an inner automorphism $\sigma$ of $G$, an element $g \in G$

To prove: There exists $h \in G$ such that $\sigma(g) = hgh^{-1}$

Proof: In fact, by the definition of inner automorphism, we do have a $h$, that doesn't even depend on the choice of $g$.

### Deeper insight into the proof

One way of viewing the condition of being a class automorphism is: it looks like an inner automorphism locally at every element. In other words, if we're looking at just one element at a time, the automorphism looks like an inner automorphism. The problem is that the choice of conjugating element may differ depending on which element of the group we're looking at.

## Related properties

Other related properties, all of which are weaker than the property of being a class automorphism: