Alternating group implies every element is automorphic to its inverse

From Groupprops

Statement

Let be any natural number. Let denote the Alternating group (?) of degree , i.e., the group of even permutations on a set of size . Then, is a Group in which every element is automorphic to its inverse (?). In other words, for every element , there is an automorphism of that conjugates to .

Related facts

Related facts about alternating groups

Related facts about every element being automorphic to its inverse

Facts used

  1. Symmetric groups are rational, or cycle type determines conjugacy class

Proof

Consider the group , in which is a normal subgroup of index two. Since is a rational group, the elements and are conjugate. Thus, there exists such that .

Since is a normal subgroup of , conjugation by restricts to an automorphism of .