Inner implies class-preserving

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.

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
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.

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:


 * Subgroup-conjugating automorphism: This sends every subgroup to a conjugate subgroup
 * Center-fixing automorphism: This fixes every element in the center of the group
 * IA-automorphism: This acts as the identity on the Abelianization of the group
 * Normal automorphism: This is an automorphism that preserves every normal subgroup